Behavioral refinements of UML-statecharts

In [SV08] we have proposed a formalism for specifying the behavior of software product lines using UML-statecharts. Using an order relation among statecharts which represents when a statechart has a more complex structure than another one, we de ne how to combine diferent extensions of the same stat...

Full description

Bibliographic Details

Main Author:	Szasz, Nora (author)
Other Authors:	Vilanova, Pedro (author)
Format:	report
Published:	2010
Subjects:	Statecharts UML Formal semantics Software product lines Variability Behavioral refinement
Online Access:	http://hdl.handle.net/20.500.12008/3453
Tags:	Add Tag No Tags, Be the first to tag this record!