Verification of Business Processes with Time Constraints.
Ryoya ShirakiYoshiyuki ShinkawaPublished in: IIAI-AAI (2017)
Keyphrases
- business processes
- business process
- web services
- workflow management systems
- workflow processes
- process management
- process model
- business partners
- business rules
- business applications
- business environment
- business process management
- service oriented architecture
- competitive advantage
- inter organizational
- business process models
- model checking
- workflow management
- workflow systems
- ws bpel
- business process modeling
- software development
- process execution
- business process reengineering
- enterprise wide