A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
Designing data marts for data warehouses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Use Case Modeling
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
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
ACM Transactions on Database Systems (TODS)
Computers in Industry - Special issue: Collaborative environments for concurrent engineering
Data Warehouse Design: Modern Principles and Methodologies
Data Warehouse Design: Modern Principles and Methodologies
Ontology-Based Reasoning in Requirements Elicitation
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Automatic analysis of requirements consistency with the B method
ACM SIGSOFT Software Engineering Notes
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)
DWOBS: data warehouse design from ontology-based sources
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Handling heterogeneity in formal developments of hardware and software systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Hi-index | 0.00 |
With the globalisation, the development of advanced applications and complex systems requires the implication of a large number of designers that may come from different fields, departments, research laboratories, etc. Usually, they are free to use their favourite vocabularies and formalisms to express the requirements related to their assigned parts of a given project. Various formalisms exist to express user requirements: informal (interviews), semi-formal (UML use case, goal oriented, etc.) and formal (B-Method, etc.). The concepts and properties used by these formalisms may belong to different alphabets. This situation makes the interoperability between user requirement formalism models difficult. In this paper, we propose a conceptual ontology-driven approach to facilitate this interoperability and to reduce the heterogeneities between formalisms. We first present the concepts related to conceptual ontologies and their connection with the user requirement formalisms. Secondly, a pivot model allowing the integration of different semi-formal models is described, through a case study. Finally, an implementation based on model driven approach (MDA) is given.