Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.
Marco AlbertiMarco GavanelliEvelina LammaFabrizio RiguzziSergio StorariPublished in: Il Milione (2008)
Keyphrases
- business processes
- business process
- business rules
- workflow model
- web services
- process model
- workflow management systems
- business process models
- workflow systems
- business objectives
- inter organizational
- bpel ws
- interaction protocols
- business partners
- workflow management
- process execution
- business process management
- business environment
- multi agent
- multi agent systems