Confluence of aspects for sequence diagrams.

Roy Grønmo Ragnhild Kobro Runde Birger Møller-Pedersen

Published in: Softw. Syst. Model. (2013)

Keyphrases

sequence diagrams
intermediate representation
petri net
uml models
activity diagrams
class diagrams
distributed systems
error rate
database
data sets
model based testing