Formal Transformation from Sequence Diagrams to Coloured Petri Nets.

Juliana Bowles Dulani Apeksha Meedeniya

Published in: APSEC (2010)

Keyphrases

coloured petri nets
sequence diagrams
petri net
formal verification
uml models
class diagrams
intermediate representation
test cases
activity diagrams
regression testing
manufacturing systems
data model
artificial intelligence
dependency graph
object oriented
video sequences
model based testing
database systems