Organizing Business Knowledge: The MIT Process Handbook
Organizing Business Knowledge: The MIT Process Handbook
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Protocol-Based Business Process Modeling and Enactment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Analyzing Conversations of Web Services
IEEE Internet Computing
Service Interaction Modeling: Bridging Global and Local Views
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
ICWS '06 Proceedings of the IEEE International Conference on Web Services
From RosettaNet PIPs to BPEL processes: A three level approach for business protocols
Data & Knowledge Engineering
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Verifying realizability and reachability in recursive interaction protocol specifications
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Semantics and verification of information-based protocols
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a distributed manner by (agents playing) different roles. Each role describes a local representation. An ill-specified protocol may yield roles that fail to produce correct enactments of the protocol. Existing approaches lack a formal and comprehensive treatment of this problem. Building on recent work on declaratively specifying a protocol as a set of rules of causal logic, this paper formally defines the enactability of protocols. It presents necessary and sufficient conditions for the enactability of a protocol as well as a decision procedure for extracting correct roles from enactable protocols.