Verifying Business Process Compliance by Reasoning about Actions.
Davide D'AprileLaura GiordanoValentina GliozziAlberto MartelliGian Luca PozzatoDaniele Theseider DupréPublished in: CLIMA (2010)
Keyphrases
- business process
- reasoning about actions
- business processes
- logic programming
- situation calculus
- action language
- process model
- process mining
- ws bpel
- web services
- business rules
- action theories
- business process modeling
- indirect effects
- service oriented architecture
- model checking
- case study
- workflow management systems
- workflow model
- fluent calculus
- databases
- workflow technology
- virtual organization
- life cycle
- business process management