A Formal Semantics of UML Sequence Diagram.
Xiaoshan LiZhiming LiuJifeng HePublished in: Australian Software Engineering Conference (2004)
Keyphrases
- formal semantics
- sequence diagrams
- petri net
- uml models
- class diagrams
- activity diagrams
- class diagram
- intermediate representation
- test cases
- logical language
- regression testing
- operational semantics
- modeling language
- first order logic
- model based testing
- modelling language
- theorem prover
- logical reasoning
- owl dl ontology
- databases
- machine learning