A Metamodeling Approach for Reasoning on Multiple Requirements Models

Arda Goknil 1 Ivan Kurtev 2 Jean-Vivien Millo 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The complex software development projects of today may require developers to use multiple requirements engineering approaches. Different teams may have to use different requirements modeling formalisms to express requirements related to their assigned parts of a given project. This situation poses difficulties in achieving interoperability and integration of requirements models for the purpose of reasoning on the overall system requirements. It is challenging to compose distributed models expressed in different notations and to reason on the composed models. In this paper we present a metamodeling approach which allows reasoning about requirements and their relations on the whole/composed models expressed in different requirements modeling approaches. In a previous work we expressed the structure of requirements documents as a requirements metamodel in which the most important elements are requirements relations and their types. The semantics of these elements is given in First Order Logic (FOL) and allows two activities: inferring new relations from the initial set of relations and checking consistency of relations. In this work we use the requirements metamodel as a core metamodel to be specialized for different requirements modeling approaches and notations such as Product-line and SysML. Mainly, the requirements relations in the metamodel are specialized to support relations in different requirements modeling approaches. The specialization allows using the same semantics and reasoning mechanism of the core metamodel for multiple requirements modeling approaches. To illustrate the approach we use an example from automotive domain expressed with two modeling approaches: product-line requirements models and SysML for system requirements.
Type de document :
Communication dans un congrès
EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference, Sep 2013, Vancouver, Canada. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00850678
Contributeur : Team Aoste <>
Soumis le : mercredi 7 août 2013 - 18:00:41
Dernière modification le : mardi 24 septembre 2013 - 11:31:55
Document(s) archivé(s) le : vendredi 8 novembre 2013 - 04:24:19

Fichier

PID2828751.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00850678, version 1

Collections

Citation

Arda Goknil, Ivan Kurtev, Jean-Vivien Millo. A Metamodeling Approach for Reasoning on Multiple Requirements Models. EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference, Sep 2013, Vancouver, Canada. 2013. <hal-00850678>

Partager

Métriques

Consultations de
la notice

418

Téléchargements du document

177