Modelling and verification of BPEL business processes.
Marina MongielloDaniela CastellucciaPublished in: MDB/MOMPES (2006)
Keyphrases
- business processes
- business process
- web services
- business process management
- process model
- business applications
- workflow management systems
- model checking
- competitive advantage
- inter organizational
- business process modeling
- business environment
- business objectives
- business rules
- process management
- service oriented
- formal methods
- business partners
- software architecture
- decision making
- workflow management
- workflow systems