Decomposition-Based Verification of Cyclic Workflows.

Yongsun Choi J. Leon Zhao

Published in: ATVA (2005)

Keyphrases

grid workflow
model checking
data processing
decomposition method
web services
data mining
decomposition methods

business processes
workflow management systems
signature verification
real world
asynchronous circuits
exception handling

decomposition algorithm
formal verification
image processing
formal analysis
formal methods
multi agent systems

multiscale
image decomposition
hierarchical decomposition
genetic algorithm
concurrent systems
real time