Towards a Formal Operational Semantics of UML Statechart Diagrams.
Diego LatellaIstván MajzikMieke MassinkPublished in: FMOODS (1999)
Keyphrases
- operational semantics
- activity diagrams
- class diagrams
- sequence diagrams
- uml diagrams
- uml class diagrams
- unified modeling language
- class diagram
- model theoretic
- test cases
- formal semantics
- object oriented
- software design
- modeling language
- formal methods
- mental states
- data model
- software engineering
- software architecture
- intermediate representation
- agent programming
- databases
- regression testing
- speech acts
- reverse engineering
- metamodel
- object oriented systems
- specification language
- requirements specification
- dynamic environments
- software development
- denotational semantics
- database