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...
| Autores: | , |
|---|---|
| Tipo de recurso: | informe técnico |
| Estado: | Versión publicada |
| Fecha de publicación: | 2010 |
| País: | Uruguay |
| Institución: | Universidad de la República |
| Repositorio: | COLIBRI |
| OAI Identifier: | oai:colibri.udelar.edu.uy:20.500.12008/3453 |
| Acceso en línea: | http://hdl.handle.net/20.500.12008/3453 |
| Access Level: | acceso abierto |
| Palabra clave: | Statecharts UML Formal semantics Software product lines Variability Behavioral refinement |
| Sumario: | 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 |
|---|