A structured operational semantics for UML-statecharts.
Michael von der BeeckPublished in: Softw. Syst. Model. (2002)
Keyphrases
- activity diagrams
- operational semantics
- class diagrams
- sequence diagrams
- uml class diagrams
- object oriented
- conceptual modeling
- formal semantics
- class diagram
- formal methods
- uml models
- reverse engineering
- mental states
- data model
- object oriented systems
- petri net
- software engineering
- model theoretic
- modeling language
- regression testing
- uml diagrams
- agent programming
- reinforcement learning
- online learning
- denotational semantics
- programming language