Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification.
Inès MouakherFatma DhaouJ. Christian AttiogbéPublished in: J. Comput. Sci. Technol. (2022)
Keyphrases
- sequence diagrams
- formal verification
- class diagrams
- uml models
- model checking
- petri net
- uml class diagrams
- activity diagrams
- intermediate representation
- class diagram
- model checker
- automated verification
- regression testing
- model based testing
- test cases
- bounded model checking
- symbolic model checking
- formal semantics
- unified modelling language
- dependency graph
- data structure
- specification language
- software engineering