A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments.

Fatma Dhaou Inès Mouakher J. Christian Attiogbé Khaled Bsaïes

Published in: ENASE (2017)

Keyphrases

sequence diagrams
class diagrams
petri net
uml class diagrams
uml models
activity diagrams
unified modelling language
intermediate representation
uml activity diagrams
regression testing
model based testing
test cases
class diagram
dependency graph
formal semantics
integrity constraints
database