Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.
Fatma DhaouInès MouakherJ. Christian AttiogbéKhaled BsaïesPublished in: ENASE (2018)
Keyphrases
- sequence diagrams
- class diagrams
- petri net
- uml models
- activity diagrams
- uml class diagrams
- intermediate representation
- unified modelling language
- uml activity diagrams
- class diagram
- operational semantics
- dependency graph
- model based testing
- specification language
- software development
- model driven
- regression testing
- database design
- error rate
- open source
- object oriented
- video sequences
- case study