Login / Signup
From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3.
Mouna Ait Oubelli
Nadia Younsi
Abdelkrim Amirat
Ahcene Menasria
Published in:
CIIA (2011)
Keyphrases
</>
sequence diagrams
graph transformation
class diagrams
petri net
activity diagrams
uml models
intermediate representation
model based testing
source code
regression testing
test cases
class diagram
unified modelling language
dependency graph
relational databases