ASM Semantic Modeling and Checking for Sequence Diagram.

Xiang Zhou Zhiqing Shao

Published in: ICNC (5) (2009)

Keyphrases

semantic modeling
sequence diagrams
active shape model
petri net
uml models
intermediate representation
model based testing
service composition
test cases
knowledge representation and reasoning
dependency graph
database
case study
high level