An institutional approach to communicating UML state machines
From MaRDI portal
Publication:6535554
Recommendations
Cites work
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Institutions: abstract model theory for specification and programming
- Modal logic
- Relating CASL with other specification languages: the institution level.
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- UML interactions meet state machines -- an institutional approach
This page was built for publication: An institutional approach to communicating UML state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535554)