Behaviors generation from product lines requirements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Behaviors generation from product lines requirements


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.
Fichier principal
Vignette du fichier
Ziadi04d.pdf (514.69 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00795037 , version 1 (27-02-2013)


  • HAL Id : hal-00795037 , version 1


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. ⟨hal-00795037⟩
279 View
62 Download


Gmail Facebook X LinkedIn More