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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | report |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3454 |
| Tags: |
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!