Specification, Verification and Implementation of Business Processes Using CSP.
Moritz KleineThomas GöthelPublished in: TASE (2010)
Keyphrases
- business processes
- business process
- business rules
- web services
- workflow model
- formal verification
- process model
- workflow management systems
- competitive advantage
- enterprise resource planning
- business process reengineering
- constraint satisfaction problems
- business objectives
- workflow systems
- business process management
- workflow engine
- inter organizational
- specification language
- business process models
- protocol specification
- bpel ws
- information systems
- process management
- workflow management
- business applications
- model checking
- business partners
- process execution
- data mining
- enterprise wide
- platform independent
- business decisions
- formal methods
- service oriented architecture
- ws bpel