UML顺序图形式化语义的研究综述 (Survey on Formal Semantics of UML Sequence Diagram).
Yanyan GuoNan ZhangXiangrong TongPublished in: 计算机科学 (2017)
Keyphrases
- sequence diagrams
- formal semantics
- uml models
- class diagrams
- petri net
- modeling language
- activity diagrams
- class diagram
- intermediate representation
- regression testing
- model based testing
- operational semantics
- first order logic
- test cases
- metamodel
- dependency graph
- logical language
- object oriented
- databases
- logical reasoning
- software systems
- open source
- case study