Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic.

Jianchuan Xing Zhishu Li Liangyin Chen

Published in: SEAL (2006)

Keyphrases

temporal logic
model checking
formal specification language
computation tree logic
qualitative differential equations
belief revision
verification method
workflow models
linear temporal logic
formal specification
formal methods