Verification of Orchestration Systems Using Compositional Partial Order Reduction.

Tian Huat Tan Yang Liu Jun Sun Jin Song Dong

Published in: ICFEM (2011)

Keyphrases

model checking
partial order reduction
web services
management system
formal methods
data mining
decision making
multiscale
automated verification
machine learning
artificial intelligence
information systems
metadata
complex systems
petri net