Business Processes Verification with Temporal Answer Set Programming.
Laura GiordanoAlberto MartelliMatteo SpiottaDaniele Theseider DupréPublished in: KiBP@KR (2012)
Keyphrases
- business processes
- answer set programming
- business process
- logic programming
- logic programs
- answer sets
- web services
- workflow management systems
- answer set programs
- causal theories
- temporal information
- process model
- workflow processes
- business process management
- business rules
- business environment
- model checking
- temporal constraints
- competitive advantage
- stable model semantics
- temporal reasoning
- business process models
- stable models
- inter organizational
- workflow management
- knowledge representation
- database systems
- information systems
- business objectives
- artificial intelligence