Verification of Time-Aware Business Processes Using Constrained Horn Clauses.
Emanuele De AngelisFabio FioravantiMaria Chiara MeoAlberto PettorossiMaurizio ProiettiPublished in: LOPSTR (2016)
Keyphrases
- business processes
- horn clauses
- business process
- inference rules
- first order logic
- logic programs
- inductive logic programming
- web services
- model checking
- competitive advantage
- business process management
- workflow management systems
- process model
- business process models
- database queries
- business environment
- process management
- business rules
- inter organizational
- business partners
- workflow model
- business objectives
- artificial intelligence
- knowledge representation
- database
- workflow management
- logic programming
- programming language
- probabilistic model
- enterprise application integration