Verifying Compliance of Business Processes with Temporal Answer Sets.
Davide D'AprileLaura GiordanoValentina GliozziAlberto MartelliGian Luca PozzatoDaniele Theseider DupréPublished in: CILC (2011)
Keyphrases
- business processes
- answer sets
- logic programs
- business process
- answer set programming
- logic programming
- answer set programs
- normal logic programs
- workflow systems
- web services
- business process management
- process model
- business environment
- business rules
- semantics of logic programs
- business partners
- temporal constraints
- temporal information
- business process models
- model checking
- sat solvers
- temporal reasoning
- business objectives
- service oriented architecture
- stable models
- inter organizational
- workflow management systems
- databases
- search space
- knowledge base