A Thread-tag Based Semantics for Sequence Diagrams.

Haitao Dan Robert M. Hierons Steve Counsell

Published in: SEFM (2007)

Keyphrases

sequence diagrams
uml models
petri net
class diagrams
activity diagrams
intermediate representation
formal semantics
operational semantics
regression testing
uml class diagrams
model based testing
databases
artificial intelligence
data sets
dependency graph