Formal Analysis of Sequence Diagram with Combined Fragments.

Hui Shen Mark Robinson Jianwei Niu

Published in: ICSOFT (2012)

Keyphrases

formal analysis
sequence diagrams
formal methods
agent model
uml models
ban logic
artificial intelligence
high level
database systems
test cases
petri net