Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.

Ariel Gonzalez Carlos Luna

Published in: SCCC (2008)

Keyphrases

class diagrams
activity diagrams
reactive systems
sequence diagrams
uml models
metamodel
conceptual models
formal methods
conceptual modeling
modeling language
specification language
high level
state transition
databases
product line
design patterns
development process
class diagram
petri net
case study