Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models.
Leandro Soares IndrusiakManfred GlesnerPublished in: SBCCI (2007)
Keyphrases
- sequence diagrams
- activity diagrams
- uml models
- class diagrams
- petri net
- operational semantics
- unified modelling language
- specification language
- intermediate representation
- uml class diagrams
- uml activity diagrams
- class diagram
- regression testing
- formal semantics
- test cases
- conceptual models
- metamodel
- model based testing
- training data
- modeling language
- open source
- case study