Mechanized semantics and refinement of UML-Statecharts.
Feng ShengLiang DouZongyuan YangPublished in: Frontiers Inf. Technol. Electron. Eng. (2017)
Keyphrases
- class diagrams
- uml class diagrams
- uml activity diagrams
- conceptual modeling
- sequence diagrams
- formal methods
- uml models
- class diagram
- object oriented
- specification language
- formal semantics
- logic programming
- activity diagrams
- regression testing
- conceptual model
- metamodel
- software engineering
- unified modeling language
- reverse engineering
- logical framework
- object oriented systems
- software systems
- business process models
- agent oriented
- operational semantics
- information systems
- software development
- multi agent systems