Behaviors generation from product lines requirements

Tewfik Ziadi 1 Loïc Hélouët 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Modeling variability in product lines (PL) has received a lot of attention in recent years, building on the idea that product could be automatically derived from a PL through model transformations, at leastbfor its static architecture (e.g. class diagrams). This paper proposes to go beyond these static aspects by also addressing the behavioral aspect of software product lines. Inspired by the way UML2.0 sequence diagrams can be algebraically composed, we propose to specify PL behavioral requirements as algebraic expressions extended with constructs to specify variability. Then we propose a two stages approach to synthesize detailed behavior for each product member in the PL. The first stage uses abstract interpretation of the variability operators in scenarios to get behavior specialization of the PL according to a given decision criteria. The second stage uses statechart synthesis from product expressions. We describe the interest of our method on a well known case study, and briefly discusses its implementation in a prototype tool.
Type de document :
Communication dans un congrès
Proc. UML2004 workshop on Software Architecture Description, Sep 2004, Lisbon, Portugal. 2004
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00795037
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mercredi 27 février 2013 - 15:27:08
Dernière modification le : vendredi 16 novembre 2018 - 01:30:26
Document(s) archivé(s) le : dimanche 2 avril 2017 - 05:58:22

Fichier

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

Identifiants

  • HAL Id : hal-00795037, version 1

Citation

Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Behaviors generation from product lines requirements. Proc. UML2004 workshop on Software Architecture Description, Sep 2004, Lisbon, Portugal. 2004. 〈hal-00795037〉

Partager

Métriques

Consultations de la notice

360

Téléchargements de fichiers

101