An automaton-based approach to the verification of timed workflow schemas.
Elisabetta De MariaAngelo MontanariMarco ZantoniPublished in: TIME (2006)
Keyphrases
- petri net
- petri net model
- finite state machines
- colored petri nets
- model checking
- databases
- data integration
- virtual enterprise
- control flow
- workflow systems
- workflow management systems
- verification method
- finite automata
- formal verification
- tree automata
- finite state automata
- semantically enriched
- linear time temporal logic
- formal methods
- face verification
- xml schema
- schema mappings
- process model
- business process
- business processes
- relational databases
- web services
- metadata
- neural network