Transforming YAWL Workflows with Time Interval Constraints into Timed Automata.

Naronggorn Wongsitthiphaithun Wiwat Vatanawood

Published in: JCSSE (2022)

Keyphrases

timed automata
model checking
interval arithmetic
constraint satisfaction
data processing
reachability analysis
artificial intelligence
web services
dynamic programming
first order logic
theorem prover
theorem proving
constrained optimization
interval data