A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice.
Mass Soldal LundKetil StølenPublished in: FM (2006)
Keyphrases
- sequence diagrams
- activity diagrams
- operational semantics
- class diagrams
- petri net
- uml models
- test cases
- intermediate representation
- class diagram
- model based testing
- mental states
- artificial intelligence
- regression testing
- training data
- data model
- dependency graph
- requirements engineering
- formal semantics
- metamodel
- software systems