Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI
IEEE Internet Computing
Commitments and causality for multiagent design
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards service coalitions: coordinating the commitments in a workflow
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Hi-index | 0.00 |
Commitments among agents can be used to model business processes in a manner that preserves the autonomy and heterogeneity of the interacting parties. Dooley graphs are widely used in conversation-based multiagent system design. Commitments and their causal relationships can be inferred from Dooley graphs to flexibly model business processes. We present a theoretical foundation for Dooley graphs, commitments, and causality in terms of the 驴-calculus, a process algebra for specifying concurrent systems, which has found application in business process modeling. This paper expresses the key elements of Dooley graphs (roles, characters, conversations) and of our approach (commitments and causal diagrams) using the 驴-calculus. Further, we accommodate a new variety of primitives for exception handling termed reentrant connectors. The 驴-calculus enables us to derive useful properties from a given model and to validate its correctness. We show how these properties assist in building an entire business process model in which agents interact flexibly.