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...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | report |
| Pubblicazione: |
2010
|
| Soggetti: | |
| Accesso online: | http://hdl.handle.net/20.500.12008/3453 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Riassunto: | 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 |
|---|