Soundness Verification of Business Processes Specified in the Pi-Calculus.
Frank PuhlmannPublished in: OTM Conferences (1) (2007)
Keyphrases
- business processes
- business process
- web services
- process model
- competitive advantage
- model checking
- business applications
- workflow management systems
- business environment
- workflow management
- business rules
- workflow systems
- process management
- inter organizational
- enterprise application integration
- business process management
- process mining
- enterprise wide
- business objectives
- workflow processes
- data model