Automated Composition of Sequence Diagrams via Alloy.

Mohammed Alwanain Behzad Bordbar Juliana Küster Filipe Bowles

Published in: MODELSWARD (2014)

Keyphrases

sequence diagrams
petri net
class diagrams
activity diagrams
uml models
composition of web services
intermediate representation
data sets
regression testing
databases
learning algorithm
case study
test cases