Interaction protocols as design abstractions for business processes
- 1 December 2005
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 31 (12) , 1015-1027
- https://doi.org/10.1109/tse.2005.140
Abstract
Business process modeling and enactment are notoriously complex, especially in open settings, where business partners are autonomous, requirements must be continually finessed, and exceptions frequently arise because of real-world or organizational problems. Traditional approaches, which attempt to capture processes as monolithic flows, have proven inadequate in addressing these challenges. We propose (business) protocols as components for developing business processes. A protocol is an abstract, modular, publishable specification of an interaction among different roles to be played by different participants. When instantiated with the participants' internal policies, protocols yield concrete business processes. Protocols are reusable and refinable, thus simplifying business process design. We show how protocols and their composition are theoretically founded in the phi;-calculus.Keywords
This publication has 19 references indexed in Scilit:
- A service creation environment based on end to end composition of Web servicesPublished by Association for Computing Machinery (ACM) ,2005
- Automated composition of e-servicesPublished by Association for Computing Machinery (ACM) ,2004
- Strategy-Based Design of Reusable Business ComponentsIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2004
- Augmenting semantic web service descriptions with compositional specificationPublished by Association for Computing Machinery (ACM) ,2004
- Tropos: An Agent-Oriented Software Development MethodologyAutonomous Agents and Multi-Agent Systems, 2004
- Model-Driven Web Service DevelopmentPublished by Springer Nature ,2004
- Incremental elaboration of scenario-based specifications and behavior models using implied scenariosACM Transactions on Software Engineering and Methodology, 2004
- Developing multiagent systemsACM Transactions on Software Engineering and Methodology, 2003
- Adding roles to CORBA objectsIEEE Transactions on Software Engineering, 2003
- Synthesis of behavioral models from scenariosIEEE Transactions on Software Engineering, 2003