Specification of Products and Product Lines

Ariel Gonzalez
(Universidad Nacional de Rio Cuarto, Argentina)
Carlos Luna
(Universidad ORT, Uruguay)

The study of variability in software development has become increasingly important in recent years. A common mechanism to represent the variability in a product line is by means of feature models. However, the relationship between these models and UML design models is not straightforward. UML statecharts are extended introducing variability in their main components, so that the behavior of product lines can be specified. The contribution of this work is the proposal of a rule-based approach that defines a transformation strategy from extended statecharts to concrete UML statecharts. This is accomplished via the use of feature models, in order to describe the common and variant components, in such a way that, starting from different feature configurations and applying the rule-based method, concrete state machines corresponding to different products of a line can be obtained.

In Maribel Fernández: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), Brasilia, Brazil, 28th June 2009, Electronic Proceedings in Theoretical Computer Science 15, pp. 44–55.
Published: 26th January 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.15.4 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org