Checking Workflow Schemas with Time Constraints Using Timed Automata.
Elisabetta De MariaAngelo MontanariMarco ZantoniPublished in: OTM Workshops (2005)
Keyphrases
- timed automata
- constraint checking
- model checking
- consistency checking
- web services
- databases
- business process
- constraint satisfaction
- reachability analysis
- artificial intelligence
- machine learning
- data integration
- business processes
- constrained optimization
- global constraints
- workflow systems
- scientific workflows
- data sources
- conceptual schema
- expert systems