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 metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-00795037
Contributor : Jean-Marc Jézéquel <>
Submitted on : Wednesday, February 27, 2013 - 3:27:08 PM
Last modification on : Thursday, February 7, 2019 - 5:57:13 PM
Long-term archiving on : Sunday, April 2, 2017 - 5:58:22 AM

File

Ziadi04d.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00795037⟩

Share

Metrics

Record views

486

Files downloads

104