Abstract
Requirements specification is initially scattered in numerous partial models (viewpoints), describing heterogeneous concerns (typically functional and non-functional ones). To define these concerns, requirements analysts prefer describing them separately with metamodels so that they can be properly identified, reused and tooled. The production of one unified view of requirements from separate viewpoints is a complex issue which requires a composition process working at two levels of modeling. At the meta-level, separate “of-the-shelf” metamodels allow defining either concerns or variation in the operational semantics. These metamodels have to be composed into a core metamodel, which captures the information and semantics needed for expressing and analyzing the requirements of a dedicated application domain (e.g. real-time critical systems, telecom services). At the instance-level, viewpoints are composed to produce a global requirements model, which has to be conformant with the core metamodel. Although the same composition mechanism is used for both levels, we emphasize in this paper the strong coupling between the two steps and the difficulty to make both compositions consistent with each other. We thus propose a process for dealing with two-level of composition. The process is illustrated in the context of a platform specialized for requirements analysis purposes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)
van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM SIGPLAN Notices 35(6), 26–36 (2000)
Rashid, A., Moreira, A., Araújo, J.: Modularisation and Composition of Aspectual Requirements. In: Aspect Oriented Software Development, AOSD 2003, Boston, Massachusetts, USA (2003)
France, R., et al.: Providing support for Model Composition in Metamodels. In: IEEE EDOC (2007)
Sommerville, I., Sawyer, P.: Viewpoints: principles, problems and practical approach to requirements engineering. Annals of Software Engineering 1997(3), 101–130 (1997)
Brottier, E., et al.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: Entreprise Distributed Object Computing Conference, IEEE EDOC, Annapolis (2007)
Baudry, B., Nebut, C., Le Traon, Y.: Model-driven Engineering for Requirements Analysis. In: Entreprise Distributed Object Computing Conference, EDOC, Annapolis (2007)
The Requirements to Analysis platform website (2006), http://www.irisa.fr/triskell/Softwares/protos/r2a/ (cited 2008)
Nebut, C., et al.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering (2006)
Lamsweerde, A.v.: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. In: International Conference on Software Engineering (2003)
Lugato, D., et al.: Automated Functionnal Test Case Synthesis from THALES industrial Requirements. In: RTAS 2004, Toronto, Canada (2004)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering (1999)
Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Re-quirements Engineering. IEEE Transactions on Software Engineering 24(11) (1998)
Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: International Conference on Requirements Engineering (2005)
Ainsworth, M., et al.: Viewpoint Specification and Z. Information and Software Technology 36(1), 43–51 (1994)
Day, N.A., Joyce, J.J.: A Framework for Multi-Notation Requirements Specification and Analysis. In: IEEE International Conference on Software Engineering (2000)
Zave, P., Jackson, M.: Conjunction as Composition. Transaction on Software Engineering and Methodology 2(4), 379–411 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brottier, E., Le Traon, Y., Nicolas, B. (2010). Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements. In: Baudry, B., Wohlstadter, E. (eds) Software Composition. SC 2010. Lecture Notes in Computer Science, vol 6144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14046-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-14046-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14045-7
Online ISBN: 978-3-642-14046-4
eBook Packages: Computer ScienceComputer Science (R0)