Verification of Time-Aware Business Processes using Constrained Horn Clauses.
Emanuele De AngelisFabio FioravantiMaria Chiara MeoAlberto PettorossiMaurizio ProiettiPublished in: CoRR (2016)
Keyphrases
- business processes
- horn clauses
- business process
- first order logic
- inference rules
- process model
- inductive logic programming
- logic programs
- web services
- business partners
- business process models
- competitive advantage
- model checking
- database queries
- business rules
- workflow management systems
- inter organizational
- business environment
- business process management
- workflow management
- enterprise wide
- business process modeling
- database
- business objectives
- workflow systems
- domain knowledge
- natural language
- case study
- machine learning
- data mining