Component software and the way ahead
Foundations of component-based systems
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Collaboration among a satellite swarm
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS
Engineering Societies in the Agents World VIII
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS
Languages, Methodologies and Development Tools for Multi-Agent Systems
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
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Formalising dynamic protocols for open agent systems
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Adaptation of Voting Rules in Agent Societies
Organized Adaption in Multi-Agent Systems
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Interoperation in protocol enactment
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Component-based standardisation of agent communication
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Specifying and applying commitment-based business patterns
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Agreeing on defeasible commitments
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
Detecting exceptions in commitment protocols: discovering hidden states
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Formalizing commitments using action languages
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
The evolution of interoperability
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Open issues for normative multi-agent systems
AI Communications
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
The design of intelligent socio-technical systems
Artificial Intelligence Review
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on 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 |
Commitment protocols are modularized specifications of interactions understood in terms of commitments. Purchase is a classic example of a protocol. Although a typical protocol would capture the essence of the interactions desired, in practice, it should be adapted depending on the circumstances or context and the agents' preferences based on that context. For example, when applying purchase in different contexts, it may help to allow sending reminders for payments or returning goods to obtain a refund. We contextualize a protocol by adapting it via different transformations.Our contributions are the following: (1) a protocol is transformed by composing its specification with a transformer specification; (2) contextualization is characterized operationally by relating the original and transformed protocols; and (3) contextualization is related to protocol compliance.