Business process verification with constraint temporal answer set programming.
Laura GiordanoAlberto MartelliMatteo SpiottaDaniele Theseider DupréPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- business process
- answer set programming
- business processes
- logic programming
- logic programs
- answer sets
- causal theories
- business rules
- constraint logic programming
- process model
- ws bpel
- stable model semantics
- business process models
- answer set programs
- temporal information
- haplotype inference
- temporal constraints
- service oriented architecture
- business process modeling
- web services
- stable models
- temporal reasoning
- model checking
- business process management
- workflow management systems
- update semantics
- case study
- workflow model
- knowledge representation
- expert systems
- database
- modulo theories