Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Federico ChesaniPaola MelloMarco MontaliPaolo TorroniPublished in: Intelligenza Artificiale (2011)
Keyphrases
- proof procedure
- business processes
- abductive logic programming
- theorem proving
- business process
- propositional logic
- first order logic
- predicate calculus
- logic programs
- process model
- business process modeling
- web services
- workflow management systems
- model theoretic
- business rules
- propositional satisfiability
- automated reasoning
- theorem prover
- logic programming
- description language
- modeling language
- search algorithm
- artificial intelligence
- model checking
- knowledge base