Rule-Level Verification of Business Process Transformations using CSP.
Dénes BisztrayReiko HeckelPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2007)
Keyphrases
- business process
- business processes
- process model
- ws bpel
- business process modeling
- constraint satisfaction problems
- business process management
- web services
- process mining
- case study
- business process models
- service oriented architecture
- business rules
- workflow model
- business goals
- cost effective
- service composition
- workflow management systems
- active databases
- decision makers
- artificial intelligence