A Formal Semantics for Complete UML State Machines with Communications.
Shuang LiuYang LiuÉtienne AndréChristine ChoppyJun SunBimlesh WadhwaJin Song DongPublished in: IFM (2013)
Keyphrases
- formal semantics
- state machines
- state machine
- sequence diagrams
- modeling language
- petri net
- fault tolerant
- operational semantics
- logical language
- logical reasoning
- software systems
- first order logic
- communication networks
- intermediate representation
- finite state machines
- recurrent networks
- owl dl ontology
- database design
- metamodel
- modelling language
- neural network
- conceptual modeling
- theorem prover
- regression testing
- software engineering
- object oriented
- high level
- case study
- databases