A Metamodeling Approach for Reasoning about Requirements

  • Authors:
  • Arda Goknil;Ivan Kurtev;Klaas Berg

  • Affiliations:
  • Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE;Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE;Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE

  • Venue:
  • ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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