Skip to main content

A Metamodeling Approach for Reasoning about Requirements

  • Conference paper
Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008)

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

  • 1529 Accesses

Abstract

In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies often customize a given approach to their specific needs. Thus, we seek a solution that allows customization in a systematic way. In this paper, we propose a metamodel for requirements models (called core metamodel) and an approach for customizing this metamodel in order to support various requirements modeling approaches. The core metamodel represents the common concepts extracted from some prevalent approaches. We define the semantics of the concepts and the relations in the core metamodel. Based on this formalization, we can perform reasoning on requirements that may detect implicit relations and inconsistencies. Our approach for customization keeps the semantics of the core concepts intact and thus allows reuse of tools and reasoning over the customized metamodel. We illustrate the customization of our core metamodel with SysML concepts. As a case study, we apply the reasoning on requirements of an industrial mobile service application based on this customized core requirements metamodel.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Baudry, B., Nebut, C., Le Traon, Y.: Model-Driven Engineering for Requirements Analysis. In: EDOC 2007, pp. 459–466. IEEE, Annapolis (2007)

    Google Scholar 

  2. Brottier, E., Baudry, B., Le Traon, Y., Touzet, D., Nicolas, B.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: EDOC 2007, pp. 390–404. IEEE Computer Society Press, Annapolis (2007)

    Google Scholar 

  3. Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)

    Google Scholar 

  4. Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference W3C Recommendation (2004)

    Google Scholar 

  5. Duffy, D., MacHish, C., McDermid, J., Morris, P.: A Framework for Requirements Analysis Using Automated Reasoning. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol. 932. Springer, Heidelberg (1995)

    Google Scholar 

  6. Gennari, J., Musen, A., Fergerson, R.W., Grosso, W.E., Crubezy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Studies 58(1), 89–123 (2003)

    Article  Google Scholar 

  7. Guide to Software Engineering Body of Knowledge. IEEE Computer Society, Los Alamitos (last visit 06.02.2008), http://www.swebok.org/

  8. Heaven, W., Finkelstein, A.: UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings – Software 151(1) (February 2004)

    Google Scholar 

  9. Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: Semantic Web Rule Language – Combining OWL and RuleML. W3C (May 2004)

    Google Scholar 

  10. Jess, the Rule Engine for the Java Platform, http://herzberg.ca.sandia.gov/

  11. Kent, S.: Model Driven Engineering. In: Proceedings of the 3r d International Conference on Integrated Formal Methods, London, UK, pp. 286–298 (2002)

    Google Scholar 

  12. Koch, N., Kraus, A.: Towards a Common Metamodel for the Development of Web Applications. In: Cueva Lovelle, J.M., Rodríguez, B.M.G., Gayo, J.E.L., Ruiz, M.d.P.P., Aguilar, L.J. (eds.) ICWE 2003. LNCS, vol. 2722, pp. 497–506. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Lopez, O., Laguna, M.A., Garcia, F.J.: Metamodeling for Requirements Reuse. In: Anais do WER 2002 - Workshop em Engenharia de Requisitos, Valencia, Spain (2002)

    Google Scholar 

  14. Meyer, J.J.C., Wieringa, R., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems, 71–115 (1998)

    Google Scholar 

  15. Moon, M., Yeom, K., Chae, H.S.: An Approach to Developing Domain Requirements as a Core Asset Based on Commonality and Variability Analysis in a Product Line. IEEE Transactions on Software Engineering 31(7) (2005)

    Google Scholar 

  16. Mylopoulos, J., Chung, L., Yu, E.: From Object-Oriented to Goal Oriented Requirements Analysis. Communications of the ACM 42(1) (1999)

    Google Scholar 

  17. Navarro, E., Mocholi, J.A., Letelier, P., Ramos, I.: A Metamodeling Approach for Requirements Specification. The Journal of Computer Information Systems 46(5), 67–77 (2006)

    Google Scholar 

  18. OMG: SysML Specification OMG ptc/06-05-04, http://www.sysml.org/specs.htm

  19. Ramesh, B., Jarke, M.: Toward Reference Models for Requirements Traceability. IEEE Transactions on Software Engineering 27(1) (2007)

    Google Scholar 

  20. Rashid, A., Moreira, A., Araujo, J.: Modularization and Composition of Aspectual Requirements. In: AOSD 2003, Boston, United States, pp. 11–20 (2003)

    Google Scholar 

  21. Requirements for the WASP application Framework, https://doc.telin.nl/dsweb/Get/Document-27861/WASP_D2.1_version_1.0_Final.pdf

  22. Requirements Interchange Format (RIF), http://www.automotive-his.de/rif/doku.php

  23. Rodrigues, O., Garcez, A., Russo, A.: Reasoning about Requirements Evolution using Clustered Belief Revision. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171. Springer, Heidelberg (2004)

    Google Scholar 

  24. SPARQL Query Language for RDF. W3C (January 2008), http://www.w3.org/TR/rdf-sparql-query/

  25. Supakkul, S., Chung, L.: A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs. In: SERA 2005 (2005)

    Google Scholar 

  26. van Lamswerdee, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering 24(11) (November 1998)

    Google Scholar 

  27. van Lamswerdee, A.: Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice. In: Invited Minitutorial, Proceedings RE 2001 - 5th International Symposium Requirements Engineering, Toronto, pp. 249–263 (2001)

    Google Scholar 

  28. Vicente-Chicote, C., Moros, B., Toval, A.: REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting. Journal of Object Technology, Special Issue TOOLS Europe 2007 6(9), 437–454 (2007)

    Google Scholar 

  29. Zowghi, D., Offen, R.: A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In: RE 1997, Annapolis, USA (January 1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Ina Schieferdecker Alan Hartman

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goknil, A., Kurtev, I., van den Berg, K. (2008). A Metamodeling Approach for Reasoning about Requirements. In: Schieferdecker, I., Hartman, A. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2008. Lecture Notes in Computer Science, vol 5095. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69100-6_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69100-6_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69095-5

  • Online ISBN: 978-3-540-69100-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics