Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Marco MontaliPaolo TorroniFederico ChesaniPaola MelloMarco AlbertiEvelina LammaPublished in: Fundam. Informaticae (2010)
Keyphrases
- business processes
- abductive logic programming
- business process
- business environment
- business process management
- process management
- logic programs
- web services
- process model
- workflow management systems
- business process models
- inter organizational
- business objectives
- business partners
- business rules
- competitive advantage
- enterprise wide
- proof procedure
- case study
- business process modeling
- service oriented architecture
- answer set programming
- model checking
- workflow processes