Automatic Translation of UML Sequence Diagrams into PEPA Models.

Mirco Tribastone Stephen Gilmore

Published in: QEST (2008)

Keyphrases

sequence diagrams
uml models
class diagrams
activity diagrams
petri net
object oriented
software engineering
database
open source
test cases
software systems
metamodel
reverse engineering
regression testing
unified modelling language