Integrating semi-formal and formal software specification techniques
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Producing a Global Requirement Model from Multiple Requirement Specifications
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
The Knowledge Sharing Based on PLIB Ontology and XML for Collaborative Product Commerce
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
A Tool for Attributed Goal-Oriented Requirements Analysis
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Context representation in domain ontologies and its use for semantic integration of data
Journal on data semantics X
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Principles of Data Integration
Principles of Data Integration
Addressing OWL ontology for goal consistency checking
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
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.