Verifying Controllability of Time-Aware Business Processes.
Emanuele De AngelisFabio FioravantiMaria Chiara MeoAlberto PettorossiMaurizio ProiettiPublished in: RuleML+RR (2017)
Keyphrases
- business processes
- business process
- web services
- competitive advantage
- model checking
- workflow systems
- business objectives
- business rules
- process model
- business partners
- data centric
- workflow management
- inter organizational
- business applications
- business environment
- workflow management systems
- business process models
- ws bpel
- process management
- business transactions
- business process reengineering