Home > Research > Publications & Outputs > Protocols for processes
View graph of relations

Protocols for processes: programming in the large for open systems

Research output: Contribution to Journal/MagazineJournal articlepeer-review

Published

Standard

Protocols for processes: programming in the large for open systems. / Singh, Munindar P.; Chopra, Amit K.; Desai, Nirmit et al.
In: ACM SIGPLAN Notices, Vol. 39, No. 12, 01.12.2004, p. 73-83.

Research output: Contribution to Journal/MagazineJournal articlepeer-review

Harvard

Singh, MP, Chopra, AK, Desai, N & Mallya, AU 2004, 'Protocols for processes: programming in the large for open systems', ACM SIGPLAN Notices, vol. 39, no. 12, pp. 73-83. https://doi.org/10.1145/1052883.1052893

APA

Singh, M. P., Chopra, A. K., Desai, N., & Mallya, A. U. (2004). Protocols for processes: programming in the large for open systems. ACM SIGPLAN Notices, 39(12), 73-83. https://doi.org/10.1145/1052883.1052893

Vancouver

Singh MP, Chopra AK, Desai N, Mallya AU. Protocols for processes: programming in the large for open systems. ACM SIGPLAN Notices. 2004 Dec 1;39(12):73-83. doi: 10.1145/1052883.1052893

Author

Singh, Munindar P. ; Chopra, Amit K. ; Desai, Nirmit et al. / Protocols for processes : programming in the large for open systems. In: ACM SIGPLAN Notices. 2004 ; Vol. 39, No. 12. pp. 73-83.

Bibtex

@article{c345a85c41384580892d9814396f01cc,
title = "Protocols for processes: programming in the large for open systems",
abstract = "The modeling and enactment of business processes is being recognized as key to modern information managment. The expansion of Web services has increased the attention given to processes, because processes are how services are composed and put to good use. However, current approaches are inadequate for flexibly modeling and enacting processes. These approaches take a logically centralized view of processes, treating a process as an implementation of a composed service. They provide low-level scripting languages to specify how a service may be implemented, rather than what interactions are expected from it. Consequently, existing approaches fail to adequately accommodate the essential properties of the business partners in a process (the partners would be realized via services)---their autonomy (freedom of action), heterogeneity (freedom of design), and dynamism (freedom of configuration).Flexibly represented protocols can provide a more natural basis for specifying processes. Protocols specify what rather than how; thus they naturally maximize the authonomy, heterogeneity, and dynamism of the interacting parties. We are developing an approach for modeling and enacting business processes based on protocols. This paper describes some elements of (1) a conceptual model of processes that will incorporate abstractions based on protocols, roles, and commitments; (2)the semantics or mathematical foundations underlying the conceptual model and mapping global views of processes to the local actions of the parties involved; (3) methodologies involving rule-based reasoning to specify processes in terms of compositions of protocols.",
author = "Singh, {Munindar P.} and Chopra, {Amit K.} and Nirmit Desai and Mallya, {Ashok U.}",
year = "2004",
month = dec,
day = "1",
doi = "10.1145/1052883.1052893",
language = "English",
volume = "39",
pages = "73--83",
journal = "ACM SIGPLAN Notices",
issn = "0362-1340",
publisher = "Association for Computing Machinery (ACM)",
number = "12",

}

RIS

TY - JOUR

T1 - Protocols for processes

T2 - programming in the large for open systems

AU - Singh, Munindar P.

AU - Chopra, Amit K.

AU - Desai, Nirmit

AU - Mallya, Ashok U.

PY - 2004/12/1

Y1 - 2004/12/1

N2 - The modeling and enactment of business processes is being recognized as key to modern information managment. The expansion of Web services has increased the attention given to processes, because processes are how services are composed and put to good use. However, current approaches are inadequate for flexibly modeling and enacting processes. These approaches take a logically centralized view of processes, treating a process as an implementation of a composed service. They provide low-level scripting languages to specify how a service may be implemented, rather than what interactions are expected from it. Consequently, existing approaches fail to adequately accommodate the essential properties of the business partners in a process (the partners would be realized via services)---their autonomy (freedom of action), heterogeneity (freedom of design), and dynamism (freedom of configuration).Flexibly represented protocols can provide a more natural basis for specifying processes. Protocols specify what rather than how; thus they naturally maximize the authonomy, heterogeneity, and dynamism of the interacting parties. We are developing an approach for modeling and enacting business processes based on protocols. This paper describes some elements of (1) a conceptual model of processes that will incorporate abstractions based on protocols, roles, and commitments; (2)the semantics or mathematical foundations underlying the conceptual model and mapping global views of processes to the local actions of the parties involved; (3) methodologies involving rule-based reasoning to specify processes in terms of compositions of protocols.

AB - The modeling and enactment of business processes is being recognized as key to modern information managment. The expansion of Web services has increased the attention given to processes, because processes are how services are composed and put to good use. However, current approaches are inadequate for flexibly modeling and enacting processes. These approaches take a logically centralized view of processes, treating a process as an implementation of a composed service. They provide low-level scripting languages to specify how a service may be implemented, rather than what interactions are expected from it. Consequently, existing approaches fail to adequately accommodate the essential properties of the business partners in a process (the partners would be realized via services)---their autonomy (freedom of action), heterogeneity (freedom of design), and dynamism (freedom of configuration).Flexibly represented protocols can provide a more natural basis for specifying processes. Protocols specify what rather than how; thus they naturally maximize the authonomy, heterogeneity, and dynamism of the interacting parties. We are developing an approach for modeling and enacting business processes based on protocols. This paper describes some elements of (1) a conceptual model of processes that will incorporate abstractions based on protocols, roles, and commitments; (2)the semantics or mathematical foundations underlying the conceptual model and mapping global views of processes to the local actions of the parties involved; (3) methodologies involving rule-based reasoning to specify processes in terms of compositions of protocols.

U2 - 10.1145/1052883.1052893

DO - 10.1145/1052883.1052893

M3 - Journal article

VL - 39

SP - 73

EP - 83

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

SN - 0362-1340

IS - 12

ER -