Verification of Business Process Entailment Constraints Using SPIN.
Christian WolterPhilip MiseldineChristoph MeinelPublished in: ESSoS (2009)
Keyphrases
- business process
- business processes
- ws bpel
- business process modeling
- process model
- process mining
- business rules
- case study
- service oriented architecture
- business process models
- web services
- business process management
- virtual organization
- model checking
- workflow technology
- information systems
- user interface
- workflow model
- knowledge base