Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Jean-Marc Jézéquel Connect in order to contact the contributor
Submitted on : Wednesday, February 27, 2013 - 3:27:08 PM
Last modification on : Friday, February 4, 2022 - 3:24:14 AM
Long-term archiving on: : Sunday, April 2, 2017 - 5:58:22 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads