Specifying and Verifying Business Processes Using PPML.
Germán RegisNazareno AguirreT. S. E. MaibaumPublished in: ICFEM (2009)
Keyphrases
- business processes
- business process
- process model
- web services
- competitive advantage
- model checking
- business applications
- workflow systems
- business rules
- business objectives
- business environment
- business process models
- process mining
- business partners
- process management
- business process management
- workflow management
- data centric
- inter organizational
- workflow management systems
- process execution
- ws bpel
- business users
- model driven development
- workflow model
- business process modeling
- enterprise wide
- knowledge management