ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Fundamenta Informaticae - Special issue on graph transformations
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Multi-Notation Requirements Specification and Analysis
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
An Algebraic Framework for Merging Incomplete and Inconsistent Views
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Providing Support for Model Composition in Metamodels
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Producing a Global Requirement Model from Multiple Requirement Specifications
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Model-Driven Engineering for Requirements Analysis
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Detecting and Repairing Inconsistencies across Heterogeneous Models
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Merging models with the epsilon merging language (EML)
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Formalizing model consistency based on the abstract syntax
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Efficient, Unified, and Intelligent User Requirement Collection and Analysis in Global Enterprises
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
[Context and motivation] Ever-growing systems' complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produced by different stakeholders and written in possibly different languages. [Question/ problem] In this context, checking consistency so that requirements specifications are amenable to formal analysis is a challenge. Current techniques either fail to consider the requirement set as a whole, missing certain inconsistency types or are unable to take heterogeneous (i.e. expressed in different languages) specifications into account. [Principal ideas/ results] We propose to use model composition to address this problem in a staged approach. First, heterogeneous requirements are translated in model fragments which are instances of a common metamodel. Then, these fragments are merged in one unique model. On such a model inconsistencies such as under-specifications can be incrementally detected and formal analysis is made possible. Our approach is fully supported by our model composition framework. [Contribution] We propose model composition as means to address flexibility needs in requirements integration. Threats to validity such as the impact of new requirements languages needs to be addressed in future work.