Formal semantics of UML state diagram and automatic verification based on Kripke structure.
Yefei ZhaoZongyuan YangJinkui XiePublished in: CCECE (2009)
Keyphrases
- formal semantics
- modeling language
- uml activity diagrams
- software engineering
- er model
- class diagrams
- first order logic
- logical language
- operational semantics
- artificial intelligence
- state transition
- database design
- open source
- case study
- sequence diagrams
- modelling language
- uml class diagrams
- logical reasoning
- learning environment
- theorem prover