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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baudry, B., Nebut, C., Le Traon, Y.: Model-Driven Engineering for Requirements Analysis. In: EDOC 2007, pp. 459–466. IEEE, Annapolis (2007)
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)
Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)
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)
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)
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)
Guide to Software Engineering Body of Knowledge. IEEE Computer Society, Los Alamitos (last visit 06.02.2008), http://www.swebok.org/
Heaven, W., Finkelstein, A.: UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings – Software 151(1) (February 2004)
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)
Jess, the Rule Engine for the Java Platform, http://herzberg.ca.sandia.gov/
Kent, S.: Model Driven Engineering. In: Proceedings of the 3r d International Conference on Integrated Formal Methods, London, UK, pp. 286–298 (2002)
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)
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)
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)
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)
Mylopoulos, J., Chung, L., Yu, E.: From Object-Oriented to Goal Oriented Requirements Analysis. Communications of the ACM 42(1) (1999)
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)
OMG: SysML Specification OMG ptc/06-05-04, http://www.sysml.org/specs.htm
Ramesh, B., Jarke, M.: Toward Reference Models for Requirements Traceability. IEEE Transactions on Software Engineering 27(1) (2007)
Rashid, A., Moreira, A., Araujo, J.: Modularization and Composition of Aspectual Requirements. In: AOSD 2003, Boston, United States, pp. 11–20 (2003)
Requirements for the WASP application Framework, https://doc.telin.nl/dsweb/Get/Document-27861/WASP_D2.1_version_1.0_Final.pdf
Requirements Interchange Format (RIF), http://www.automotive-his.de/rif/doku.php
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)
SPARQL Query Language for RDF. W3C (January 2008), http://www.w3.org/TR/rdf-sparql-query/
Supakkul, S., Chung, L.: A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs. In: SERA 2005 (2005)
van Lamswerdee, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering 24(11) (November 1998)
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)
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)
Zowghi, D., Offen, R.: A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In: RE 1997, Annapolis, USA (January 1997)
Author information
Authors and Affiliations
Editor information
Rights 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)