Skip to main content

Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements

  • Conference paper
Software Composition (SC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6144))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)

    Google Scholar 

  2. van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM SIGPLAN Notices 35(6), 26–36 (2000)

    Article  Google Scholar 

  3. Rashid, A., Moreira, A., Araújo, J.: Modularisation and Composition of Aspectual Requirements. In: Aspect Oriented Software Development, AOSD 2003, Boston, Massachusetts, USA (2003)

    Google Scholar 

  4. France, R., et al.: Providing support for Model Composition in Metamodels. In: IEEE EDOC (2007)

    Google Scholar 

  5. Sommerville, I., Sawyer, P.: Viewpoints: principles, problems and practical approach to requirements engineering. Annals of Software Engineering 1997(3), 101–130 (1997)

    Article  Google Scholar 

  6. Brottier, E., et al.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: Entreprise Distributed Object Computing Conference, IEEE EDOC, Annapolis (2007)

    Google Scholar 

  7. Baudry, B., Nebut, C., Le Traon, Y.: Model-driven Engineering for Requirements Analysis. In: Entreprise Distributed Object Computing Conference, EDOC, Annapolis (2007)

    Google Scholar 

  8. The Requirements to Analysis platform website (2006), http://www.irisa.fr/triskell/Softwares/protos/r2a/ (cited 2008)

  9. Nebut, C., et al.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering (2006)

    Google Scholar 

  10. Lamsweerde, A.v.: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. In: International Conference on Software Engineering (2003)

    Google Scholar 

  11. Lugato, D., et al.: Automated Functionnal Test Case Synthesis from THALES industrial Requirements. In: RTAS 2004, Toronto, Canada (2004)

    Google Scholar 

  12. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering (1999)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Re-quirements Engineering. IEEE Transactions on Software Engineering 24(11) (1998)

    Google Scholar 

  15. Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: International Conference on Requirements Engineering (2005)

    Google Scholar 

  16. Ainsworth, M., et al.: Viewpoint Specification and Z. Information and Software Technology 36(1), 43–51 (1994)

    Article  Google Scholar 

  17. Day, N.A., Joyce, J.J.: A Framework for Multi-Notation Requirements Specification and Analysis. In: IEEE International Conference on Software Engineering (2000)

    Google Scholar 

  18. Zave, P., Jackson, M.: Conjunction as Composition. Transaction on Software Engineering and Methodology 2(4), 379–411 (1993)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics