Behavioral refinements of UML-statecharts
Nóra Szász, Pedro Vilanova · Americanae (AECID Library) · 2010
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 statechart into an integral new one. In this paper, we prove that the proposed extension constitutes a behavioral re nement. That is, whenever we allow the possibility of extending a given statechart, the old behaviour is preserved and new behavior may be added