Interaction protocols as design abstractions for business processes

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 2005-12, Vol.31 (12), p.1015-1027
Main Authors: Desai, N., Mallya, A. U., Chopra, A. K., Singh, M. P.
Format: Article
Language:English
Subjects:
Autonomous
Business
Business communication
Calculus
Concrete
Concretes
Index Terms- Multiagent systems
interaction-based modeling
Mirrors
Modular
Multiagent systems
Ontology
OWL
pi-calculus
Policies
Process design
Protocol
Protocols
Reusable
Roles
rule-based processing
Semantics
Skeleton
Software design
software design methodologies
Software engineering
software reuse
Software systems
Specifications
Studies
Systems design
Web Ontology Language-OWL
Web services
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2005.140