Abstract
[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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cheng, B.H.C., Atlee, J.M.: Research Directions in Requirements Engineering. In: FOSE at ICSE, Washington, DC, USA, pp. 285–303. IEEE Computer Society Press, Los Alamitos (2007)
Kotonya, G., Sommerville, I.: Requirements Engineering with Viewpoints. Software Engineering Journal (1996)
Rashid, A., Moreira, A., Araújo, J.: Modularisation and composition of aspectual requirements. In: AOSD 2003, Boston, Massachusetts, USA, pp. 11–20 (2003)
Easterbrook, S., Nuseibeh, B.: Using viewpoints for inconsistency management. Software Engineering Journal 11(1), 31–43 (1996)
Nuseibeh, B., Easterbrook, S., Russo, A.: Making inconsistency respectable in software development. Journal of Systems and Software 58(2), 171–180 (2001)
Nuseibeh, B., Kramer, J., Finkelstein, A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE TSE 20(10), 760–773 (1994)
Nentwich, C., Emmerich, W., Finkelstein, A.: Flexible consistency checking. ACM TOSEM (2001)
Kolovos, D., Paige, R., Polack, F.: Detecting and Repairing Inconsistencies across Heterogeneous Models. In: ICST, pp. 356–364. IEEE Computer Society, Los Alamitos (2008)
Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: RE 2005, August -2 September, pp. 306–315. IEEE, Los Alamitos (2005)
Day, N., Joyce, J.: A framework for multi-notation requirements specification and analysis. In: 4th ICRE, pp. 39–48 (2000)
Ainsworth, M., Cruickshank, A., Groves, L., Wallis, P.: Viewpoint specification and Z. Information and Software Technology 36(1), 43–51 (1994)
Zave, P., Jackson, M.: Conjunction as Composition. ACM TOSEM 2(4), 379–411 (1993)
Brottier, E., Baudry, B., Traon, Y.L., Touzet, D., Nicolas, B.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: EDOC, pp. 390–404 (2007)
France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing Support for Model Composition in Metamodels. In: EDOC, Annapolis, MD, USA (2007)
van Lamsweerde, A., Letier, E., Ponsard, C.: Leaving Inconsistency. In: ICSE workshop on Living with Inconsistency (1997)
Baudry, B., Nebut, C., Traon, Y.L.: Model-driven engineering for requirements analysis. In: EDOC, pp. 459–466 (2007)
Nebut, C., Fleurey, F., Le Traon, Y., Jézéquel, J.M.: Automatic test generation: A use case driven approach. IEEE TSE (2006)
Spanoudakis, G., Finkelstein, A.: Overlaps among requirements specifications. In: ICSE workshop on Living with Inconsistency (1997)
van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE TSE 24(11) (1998)
Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging Models With the Epsilon Merging Language EML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215–229. Springer, Heidelberg (2006)
Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3-4), 241–265 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Perrouin, G., Brottier, E., Baudry, B., Le Traon, Y. (2009). Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. In: Glinz, M., Heymans, P. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2009. Lecture Notes in Computer Science, vol 5512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02050-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-02050-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02049-0
Online ISBN: 978-3-642-02050-6
eBook Packages: Computer ScienceComputer Science (R0)