An institution for UML 2.0 state machines
The theory of institutions provides an elegant and robust framework for programming in the large and in particular for compositionality. It can be used to define an heterogeneous environment for the semantic definition of UML, consisting of a family of formalisms which capture various UML sublanguag...
| Autores: | , |
|---|---|
| Tipo de recurso: | informe técnico |
| Estado: | Versión publicada |
| Fecha de publicación: | 2011 |
| País: | Uruguay |
| Institución: | Universidad de la República |
| Repositorio: | COLIBRI |
| OAI Identifier: | oai:colibri.udelar.edu.uy:20.500.12008/3454 |
| Acceso en línea: | http://hdl.handle.net/20.500.12008/3454 |
| Access Level: | acceso abierto |
| Palabra clave: | UML 2.0 Máquinas de Estado Instituciones |
| Sumario: | The theory of institutions provides an elegant and robust framework for programming in the large and in particular for compositionality. It can be used to define an heterogeneous environment for the semantic definition of UML, consisting of a family of formalisms which capture various UML sublanguages, and morphisms that represent the expected semantic relationships between them. In this article we present an institution for UML 2.0 State Machines devised for collaborating with the definition of such environment. The semantics behind the institution is based on a previous work which deals with processing simple input events within a transition step. We also extend this semantics for handling sequences of events, and then for considering runs through the state machine |
|---|