Transforming YAWL Workflows with Time Constraints into Timed Automata.
Maruth RavibanjurdkulPittipol KantavatWiwat VatanawoodPublished in: ICCCM (2021)
Keyphrases
- timed automata
- model checking
- data processing
- reachability analysis
- business process
- linear constraints
- constrained optimization
- theorem prover
- constraint satisfaction
- first order logic
- graphical models
- expert systems
- artificial intelligence
- business processes
- real time
- dynamic programming
- search space
- constraint programming
- web services
- resource constraints
- learning algorithm
- machine learning