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...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | report |
| Publicat: |
2011
|
| Matèries: | |
| Accés en línia: | http://hdl.handle.net/20.500.12008/3454 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: An institution for UML 2.0 state machines
- UML 2.0 interactions with OCL/RT constraints
- A formal specification of the MIDP 2.0 security model
- On UML statechart with variabilities
- Lavinia :a collaborative NLP platform
- Hipermedia, ayudas didácticas educativas de la Web 2.0 para la inclusión, en el Programa de Comunicación Social y Periodismo de la Fundación Universitaria los Libertadores
- Extended UML stratecharts and product lines