Sciweavers

Share
ECMDAFA
2008
Springer

A Metamodeling Approach for Reasoning about Requirements

10 years 5 months ago
A Metamodeling Approach for Reasoning about Requirements
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 cor...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where ECMDAFA
Authors Arda Goknil, Ivan Kurtev, Klaas van den Berg
Comments (0)
books