Ilyès Boukhari
ABSTRACT
In order to successfully benefit from global markets, companies must expand their activities over the world. This expansion is usually performed by the development of software involving all heterogeneous and autonomous partners. The user requirement collection and analysis is one of the most important phase of the life cycle of software development. In the context of globalization, this phase becomes a challenging issue. This is because designers of each branch of a given global company may use different vocabulary and formalism to express their requirements. Solutions exist in the literature to unify either vocabularies or formalisms, but not both. In this paper, we propose a semantic and scalable approach that unifies the vocabularies and formalisms by the means of ontologies. The capabilities of reasoning offered by ontologies is exploited to identify the inconsistencies in an efficient way. Our approach is validated by a case tool using three formalisms: the UML use case, the goal oriented and the treatment conceptual model of Merise method.
- E. Brottier, B. Baudry, Y.Traon, D. Touzet, and B. Nicolas. Producing a global requirement model from multiple requirement specifications. EDOC'07, page 390. IEEE Computer Society, 2007. Google Scholar
Digital Library
- A. Doan, A. Y. Halevy, and Z. G. Ives. Principles of Data Integration. Morgan Kaufmann, 2012. Google ScholarDigital Library
- P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani. Formal reasoning techniques for goal models. JOURNAL OF DATA SEMANTICS, 1:1--20, 2004.Google Scholar
- A. Goknil, I. Kurtev, K. Berg, and J.-W. Veldhuis. Semantics of trace relations in requirements models for consistency checking and inferencing. Softw. Syst. Model., 10:31--54, 2011. Google ScholarDigital Library
- B. C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular reuse of ontologies: theory and practice. J. Artif. Int. Res., 31:273--318, 2008. Google ScholarDigital Library
- Z. Guo, Y. Pan and J. Heflin. Lubm: A benchmark for owl knowledge base systems. Journal of Web Semantics., pages 158--182, 2005. Google ScholarDigital Library
- M. Jun, L. Guofu, L. Hao, and X. Yanqiu. The knowledge sharing based on plib ontology and xml for collaborative product commerce. In Proceedings of the International Conference on Web Information Systems and Mining, pages 518--526. Springer-Verlag, 2009. Google ScholarDigital Library
- H. Kaiya and M. Saeki. Ontology based requirements analysis: Lightweight semantic processing approach. In Proceedings of the Fifth International Conference on Quality Software, pages 223--230. IEEE Computer Society, 2005. Google ScholarDigital Library
- J. Kopke, J. Eder, and M. Schicho. Efficient projection of ontologies. In to appear in (ODBASE 2013), 2013.Google Scholar
- J. S. Körner and B. Torben. Natural language specification improvement with ontologies. Int. J. Semantic Computing, 3:445--470, 2009.Google ScholarCross Ref
- R. Laleau, F. Semmak, A. Matoussi, D. Petit, A. Hammad, and B. Tatibouėt. A first attempt to combine sysml requirements diagrams and b. ISSE, 6:47--54, 2010.Google Scholar
- A. Lamsweerde. Goal-oriented requirements engineering: A guided tour. RE'01, pages 249--263. IEEE Computer Society, 2001. Google ScholarDigital Library
- A. Lamsweerde. Conceptual modeling: Foundations and applications. chapter Reasoning About Alternative Requirements Options, pages 380--397. Springer-Verlag, 2009. Google ScholarDigital Library
- G. Perrouin, E. Brottier, B. Baudry, and Y. Traon. In REFSQ '09, pages 89--103, Berlin, Heidelberg, 2009. Springer-Verlag. Google ScholarDigital Library
- G. Pierra. Context representation in domain ontologies and its use for semantic integration of data. Journal Of Data Semantics (JODS), page 173Ű210, 2008. Google ScholarDigital Library
- A. Rochfeld and H. Tardieu. Merise: An information system design and development methodology. Information & Management, 6:143--159, 1983.Google ScholarCross Ref
- M. Saeki, S. Hayashi, and H. Kaiya. A tool for attributed goal-oriented requirements analysis. In 24th IEEE/ACM International Conference on Automated Software Engineering, pages 674--676, 2009. Google ScholarDigital Library
- I. M. Shofi and E. K. Budiardjo. Addressing owl ontology for goal consistency checking. In Proceedings of the 14th International Conference on Information Integration and Web-based Applications &; Services, pages 336--341, 2012. Google ScholarDigital Library
- K. Siegemund, J. Edward, Y. Thomas, Z. Yuting, J. Pan, and U. Assmann. Towards ontology-driven requirements engineering. In In 7th International Workshop on Semantic Web Enabled Software Engineering., October 2011.Google Scholar
- R. Wieringa and E. Dubois. Integrating semi-formal and formal software specification techniques. Information Systems, 23(3-4):159--178, 1998. Google ScholarDigital Library
Index Terms
- Efficient, Unified, and Intelligent User Requirement Collection and Analysis in Global Enterprises
Recommendations
A proposed extension to the SysML requirements diagram
SE '08: Proceedings of the IASTED International Conference on Software EngineeringThere are several approaches to document requirements, from totally informal and document-oriented to formal languages/methods that may represent requirements graphically. The SysML Requirements Diagram has the advantage of being created specifically to ...
An ontology-driven unifying metamodel of UML Class Diagrams, EER, and ORM2
Software interoperability and application integration can be realized through using their respective conceptual data models, which may be represented in different conceptual data modeling languages. Such modeling languages seem similar, yet are known to ...
Automatic generation of feature models from UML requirement models
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2It is well known that during the domain requirement engineering phase with UML, both feature models and UML notations (e.g. UML use case diagrams and activity diagrams for describing use cases) are necessary. The development in parallel of UML models ...
Comments