Credits and debits on the Internet
IEEE Spectrum - Special issue: electronic money
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Business Process Management, Models, Techniques, and Empirical Studies
Business Process Management, Models, Techniques, and Empirical Studies
Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture
Issues in Agent Communication
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Commitments for agent-based supply chain management
ACM SIGecom Exchanges - Chains of commitment
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Organizing Business Knowledge: The MIT Process Handbook
Organizing Business Knowledge: The MIT Process Handbook
Realizability of Conversation Protocols With Message Contents
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Re-use of interaction protocols for agent-based control applications
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Commitment-Based Multiagent Decision Making
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
From Obligations to Organizational Structures in Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Reasoning intra-dependency in commitments for robust scheduling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A New Semantics of Social Commitments Using Branching Space-Time Logic
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A Formalization of Continuous Commitments among Multiple Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Interoperation in protocol enactment
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Incorporating commitment protocols into tropos
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Formalizing and verifying protocol refinements
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
Hi-index | 0.00 |
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of protocols and help agents reason about protocols and plan their actions accordingly, while at the same time providing a basis for compliance checking. Multiagent systems based on commitments can conveniently and effectively model business interactions because the autonomy and heterogeneity of agents mirrors real-world businesses. Such modeling, however, requires multiagent systems to host a rich variety of protocols that can capture the needs of different applications. We show how a commitment-based semantics provides a basis for refining and aggregating protocols. We propose an approach for designing commitment protocols wherein traditional software engineering notions such as refinement and aggregation are extended to apply to protocols. We present an algebra of protocols that can be used to compose protocols by refining and merging existing ones, and does this at a level of abstraction high enough to be useful for real-world applications.