Asynchronous Runtime Verification of Business Processes.
Ivo OditisJanis BicevskisPublished in: CICSyN (2015)
Keyphrases
- business processes
- business process
- web services
- workflow management systems
- model checking
- business applications
- business process models
- inter organizational
- process model
- business environment
- competitive advantage
- business process management
- process management
- ws bpel
- business rules
- service oriented architecture
- business partners
- workflow model
- enterprise application integration
- workflow management
- data warehouse
- decision making
- workflow systems
- enterprise wide
- service oriented
- business process reengineering
- information systems
- data mining