Efficient Consistency Checking of Scenario-Based Product Line Specifications

Abstract : Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding inconsistencies within the requirements, because these could lead to costly iterations in the later development. We propose a technique for the scenario-based specification of component interactions based on Modal Sequence Diagrams. Moreover, we developed an efficient technique for automatically finding inconsistencies in the scenario-based specification of many variants at once by exploiting recent advances in the model-checking of product lines. Our evaluation shows benefits of this technique over performing individual consistency checking of each variant specification.
Type de document :
Communication dans un congrès
RE 2012 - 20th IEEE International Requirements Engineering Conference, Sep 2012, Chicago, United States. Requirements Engineering Conference (RE), 2012 20th IEEE International, 2012, 〈http://crisys.cs.umn.edu/re2012/〉. 〈10.1109/RE.2012.6345800〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00718476
Contributeur : Patrick Heymans <>
Soumis le : mardi 17 juillet 2012 - 13:22:55
Dernière modification le : mercredi 21 février 2018 - 13:55:53

Identifiants

Collections

Citation

Joel Greenyer, Amir Sharifloo, Maxime Cordy, Patrick Heymans. Efficient Consistency Checking of Scenario-Based Product Line Specifications. RE 2012 - 20th IEEE International Requirements Engineering Conference, Sep 2012, Chicago, United States. Requirements Engineering Conference (RE), 2012 20th IEEE International, 2012, 〈http://crisys.cs.umn.edu/re2012/〉. 〈10.1109/RE.2012.6345800〉. 〈hal-00718476〉

Partager

Métriques

Consultations de la notice

196