A Metamodeling Approach for Reasoning about Requirements

Arda Göknil; Ivan Ivanov; Klaas van den Berg

doi:10.1007/978-3-540-69100-6_21

A Metamodeling Approach for Reasoning about Requirements

Arda Göknil, Ivan Ivanov, Klaas van den Berg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

40 Citations (Scopus)

168 Downloads (Pure)

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.

Original language	English
Title of host publication	Model Driven Architecture – Foundations and Applications
Subtitle of host publication	4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings
Editors	Alan Hartman, Ina Schieferdecker
Place of Publication	Berlin
Publisher	Springer
Pages	310-325
Number of pages	16
ISBN (Electronic)	978-3-540-69100-6
ISBN (Print)	978-3-540-69095-5
DOIs	https://doi.org/10.1007/978-3-540-69100-6_21
Publication status	Published - Jun 2008
Event	4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008 - Berlin, Germany Duration: 9 Jun 2008 → 13 Jun 2008 Conference number: 4

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5095
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008
Abbreviated title	ECMDA-FA
Country/Territory	Germany
City	Berlin
Period	9/06/08 → 13/06/08

Keywords

SE-SA: Software Architecture
SE-Q: Quality Modelling and Verification
SE-MDA: Model Driven Architecture
Requirements metamodel
Reasoning model
Customization

Access to Document

10.1007/978-3-540-69100-6_21

Goknil2008metamodelingAccepted author version, 353 KB

Cite this

Göknil, A., Ivanov, I., & van den Berg, K. (2008). A Metamodeling Approach for Reasoning about Requirements. In A. Hartman, & I. Schieferdecker (Eds.), Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings (pp. 310-325). (Lecture Notes in Computer Science; Vol. 5095). Springer. https://doi.org/10.1007/978-3-540-69100-6_21

Göknil, Arda ; Ivanov, Ivan ; van den Berg, Klaas. / A Metamodeling Approach for Reasoning about Requirements. Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings. editor / Alan Hartman ; Ina Schieferdecker. Berlin : Springer, 2008. pp. 310-325 (Lecture Notes in Computer Science).

@inproceedings{4b0f85ccd474488eaff249a90a2eaf4b,

title = "A Metamodeling Approach for Reasoning about Requirements",

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.",

keywords = "SE-SA: Software Architecture, SE-Q: Quality Modelling and Verification, SE-MDA: Model Driven Architecture, Requirements metamodel, Reasoning model, Customization",

author = "Arda G{\"o}knil and Ivan Ivanov and {van den Berg}, Klaas",

year = "2008",

month = jun,

doi = "10.1007/978-3-540-69100-6_21",

language = "English",

isbn = "978-3-540-69095-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "310--325",

editor = "Alan Hartman and Ina Schieferdecker",

booktitle = "Model Driven Architecture – Foundations and Applications",

address = "Germany",

note = "4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008, ECMDA-FA ; Conference date: 09-06-2008 Through 13-06-2008",

}

Göknil, A, Ivanov, I & van den Berg, K 2008, A Metamodeling Approach for Reasoning about Requirements. in A Hartman & I Schieferdecker (eds), Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings. Lecture Notes in Computer Science, vol. 5095, Springer, Berlin, pp. 310-325, 4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008, Berlin, Berlin, Germany, 9/06/08. https://doi.org/10.1007/978-3-540-69100-6_21

A Metamodeling Approach for Reasoning about Requirements. / Göknil, Arda; Ivanov, Ivan; van den Berg, Klaas.
Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings. ed. / Alan Hartman; Ina Schieferdecker. Berlin: Springer, 2008. p. 310-325 (Lecture Notes in Computer Science; Vol. 5095).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Metamodeling Approach for Reasoning about Requirements

AU - Göknil, Arda

AU - Ivanov, Ivan

AU - van den Berg, Klaas

N1 - Conference code: 4

PY - 2008/6

Y1 - 2008/6

N2 - 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.

AB - 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.

KW - SE-SA: Software Architecture

KW - SE-Q: Quality Modelling and Verification

KW - SE-MDA: Model Driven Architecture

KW - Requirements metamodel

KW - Reasoning model

KW - Customization

U2 - 10.1007/978-3-540-69100-6_21

DO - 10.1007/978-3-540-69100-6_21

M3 - Conference contribution

SN - 978-3-540-69095-5

T3 - Lecture Notes in Computer Science

SP - 310

EP - 325

BT - Model Driven Architecture – Foundations and Applications

A2 - Hartman, Alan

A2 - Schieferdecker, Ina

PB - Springer

CY - Berlin

T2 - 4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008

Y2 - 9 June 2008 through 13 June 2008

ER -

Göknil A, Ivanov I, van den Berg K. A Metamodeling Approach for Reasoning about Requirements. In Hartman A, Schieferdecker I, editors, Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings. Berlin: Springer. 2008. p. 310-325. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-69100-6_21

A Metamodeling Approach for Reasoning about Requirements

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this