Imam M. Shofi
ABSTRACT
Handling a conflict (inconsistency) is one of active areas in the research of Goal Oriented Requirements Engineering (GORE). In the modeling of GORE, the conflict may occur in the operation model, but basically is will take root from goal model. Therefore, the conflict handling in the GORE must be carried out in the goal model.
Ontology is used to capture the knowledge of certain domain wished. One of language standards for ontology that has been widely used is Ontology Web Language (OWL) from World Wide Web Consortium (W3C). One of the features of Ontology described using OWL is that it can be processed using a reasoner, where one of reasoner's standard service is the checking of consistency.
This paper presents how the Ontology OWL is used for the consistency checking in the goal model. The first step conducted is to convert the goal model into Ontology using Protégé. Parallel with the first step, Ontology (Protégé) equipped with certain reasoner carried out the checking consistency of terminology, designation, and structure. The next step is to conduct the checking of logic consistency (Strong conflict and/or Weak conflict) by defining the rules using SWRLTab.
- Donzelli, P., Bresciani, P., "Goal Oriented requirements Engineering: a case Study in eGovernment", proceedings of the 15th Conference on Advanced Information Systems Engineering (CAISE'03), Klagenfurt, Austria, 16--20 June, 2003 Google Scholar
Digital Library
- B. Hui, S. Liaskos, J. Mylopoulos. "Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework". Proc. International Conference on Requirements Engineering (RE'03), Monterey, USA, September 2003 Google ScholarDigital Library
- B. Nuseibeh, S. Easterbrook. "Requirements Engineering: A Roadmap". Proc. Conference on the Future of Software Engineering. Limerick, Ireland, June 2000 Google ScholarDigital Library
- Lapouchnian, A., "Goal-Oriented Requirements Engineering: An Overview of the Current Research", Department of Computer Science University Of Toronto, 2005Google Scholar
- Anwer, S., Ikram, N., "Goal Oriented Requirement Engineering: A Critical Study of Techniques", XIII ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'06), 2006. Google ScholarDigital Library
- Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki, "AGORA: Attributed Goal-Oriented Requirements Analysis Method". Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'02), University of Essen, Germany, 2002. Google ScholarDigital Library
- Segaran, T., Evans, C., Taylor, J., "Programming the Semantic Web", O'REILLY, 2009. Google ScholarDigital Library
- Van Lamsweerd, A., "Goal-Oriented Requirements Engineering: A Guided Tour", Proceedings of IEEE 5th International Symposium on Requirements Engineering, August 2001. Google ScholarDigital Library
- Kayed, A., Nizar, M., Alfayoumi, M., "Ontology Concepts for Requirements Engineering Process in E-Government Applications", Fifth International Conference on Internet and Web Applications and Services, 2010 Google ScholarDigital Library
- Calero, C., Ruiz, F., Piattini, M., "Ontologyes for Software Engineering and Software Technology", Springer-Verlag Berlin Heidelberg, 2006. Google ScholarDigital Library
- Regev, G. and Wegmann, A., "Where do Goals Come from: the Underlying Principles of Goal-Oriented Requirements Engineering", 13th IEEE International Requirements Engineering Conference, Paris, France, August, 2005. Google ScholarDigital Library
- Horridge, M., "A Practical Guide To Building OWL Ontologyes Using Protégé 4 and CO-ODE Tools Edition 1.3", The University Of Manchester, 2011Google Scholar
- Shofi, I. M, Budiardjo, E. K., "Klasifikasi Metode Goal Oriented Requirement Engineering(GORE) dan Kemungkinannya untuk Mengembangkan Aplikasi Kepemerintahan", Prosiding SEMANTIK, UDINUS, 2011Google Scholar
- Shofi, I. M, Wahyudi, D., "Analysis Kebutuhan System Information Pendidikan dan Latihan Modul Pengelolaan Penginapan dengan framework Goals-Skills-Preferences (GSP)", Prosiding SEMANTIK, UDINUS, 2011Google Scholar
- Van Lamsweerd, A., "Managing Conflicts in Goal-Driven Requirements Engineering", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 11, NOVEMBER 1998. Google ScholarDigital Library
- Kazuya Oshiro, Kenji Watahiki, Motoshi Saeki, "Goal-Oriented Idea Generation Method for Requirements Elicitation". Proceedings. 11th IEEE International Requirements Engineering Conference, California, 2003. Google ScholarDigital Library
- Emmanuel Letier and Axel van Lamsweerde "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", 24th International Conference on Sofware Engineering, 2002 Google ScholarDigital Library
- http://www.w3schools.com/rdf/rdf_owl.aspGoogle Scholar
- Van Lamsweerde, A., "Requirements Engineering, From System Goal to UML Models to Software Specification", John Wiley & Sons Ltd, 2009 Google ScholarDigital Library
- Myroshnichenko, I., C. Murphy, M., "Mapping ER Schemes to OWL Ontologyes", IEEE International Conference on Semantic Computing, 2009 Google ScholarDigital Library
- Hillairet, G., "ATL Use Case - ODM Implementation (Bridging UML and OWL)", http://www.eclipse.org/m2m/atl/usecases/ODMImplementation/Google Scholar
- Shofi, I. M, Budiardjo, E. K., "Ontology OWL untuk Merepresentasikan Framework GSP pada GORE", Prosiding KNTIA 2011, Fakultas Ilmu Komputer UNSRI, 2011Google Scholar
- Jennifer Marie Horkoff. "Iterative, Interactive Analysis of Agent-Goal Models for Early Requirements Engineering". A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy, Department of Computer Science, University of Toronto. 2012Google Scholar
- Li Sheng, Liu Lingling. "Application of Ontology in E-Government". International Conference on Management of e-Commerce and e-Government. 2011 Google ScholarDigital Library
- M. A. Serrano, J. Gómez-Romero, M. A. Patricio, J. García, J. M. Molina. "Ontological representation of time-of-flight camera data to support vision-based AmI. 4th International Workshop on Sensor Networks and Ambient Intelligence 2012, Lugano (23 March 2012)Google ScholarCross Ref
- Huiqun Zhao, Shikan Zhang, Junbao Zhao. "Research of Using Protégé to Build Ontology". IEEE/ACIS 11th International Conference on Computer and Information Science. 2012 Google ScholarDigital Library
- Wang Nihong, Li Dan, Pan Hua, Liang Zhiqiang. "Research and Implementation of Ontology Conflict Detection and Reasoning Based on Description Logic for Forest Disease and Pest Diagnosis". Second International Workshop on Education Technology and Computer Science. 2010Google Scholar
- Ana Rosselló-Busquet, Lukasz J. Brewka, José Soler and Lars Dittmann, IEEE members. "OWL Ontologies and SWRL Rules Applied to Energy Management". UKSim 13th International Conference on Modelling and Simulation. 2011 Google ScholarDigital Library
Index Terms
- Addressing OWL ontology for goal consistency checking
Recommendations
Translating the Foundational Model of Anatomy into OWL
The Foundational Model of Anatomy (FMA) represents the result of manual and disciplined modeling of the structural organization of the human body. It is a tremendous resource in bioinformatics that facilitates sharing of information among applications ...
Enriching the semantics of variational geometric constraint data with ontology
Lack of explicit semantics in the product data to be exchanged among product development systems is a major problem for existing product data exchange standards. To solve this problem, the semantics of product data should be enriched to form a basis for ...
An ontology in OWL for legal case-based reasoning
The paper gives ontologies in the Web Ontology Language (OWL) for Legal Case-based Reasoning (LCBR) systems, giving explicit, formal, and general specifications of a conceptualisation LCBR. Ontologies for different systems allows comparison and contrast ...
Comments