Specification by refinement and agreement: designing agent interaction using landmarks and contracts

Authors:
Hans Weigand;Virginia Dignum;John-Jules Meyer;Frank Dignum
Affiliations:
Infolab, Tilburg University, Tilburg, The Netherlands;Achmea, Zeist, The Netherlands and University Utrecht, Utrecht, The Netherlands;University Utrecht, Utrecht, The Netherlands;University Utrecht, Utrecht, The Netherlands
Venue:
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Year:
2002

Citing 5
Cited 5

A formal model of open agent societies

Proceedings of the fifth international conference on Autonomous agents
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Formalizing a Language for Institutions and Norms

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Agent Societies: Towards Frameworks-Based Design

AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Multivariate statistical techniques for parallel performance prediction

HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences

Enhancing Tropos with Commitments

Conceptual Modeling: Foundations and Applications
General-Purpose Coordination Abstractions for Managing Interaction in MAS

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Business Modeling via Commitments

SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
An organisation infrastructure for multi-agent systems based on agent coordination contexts

AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Comma: a commitment-based business modeling methodology and its empirical evaluation

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we argue that multi-agent systems developed to model and support organizations must on the one hand be able to describe and realize the goals and structure of that particular organization and on the other hand allow for autonomous behavior of participating actors. The agent autonomy should include collaboration autonomy, which means that agents can decide among each other how they want to cooperate. We present a model for agent societies and two techniques that can be used to achieve the described objectives: landmarks and contracts. The effects of these techniques on different agent society types are explored as well.