Generating executable multi-agent system prototypes from SONAR specifications

Authors:
Michael Köhler-Bußmeier;Matthias Wester-Ebbinghaus;Daniel Moldt
Affiliations:
University of Hamburg, Department for Informatics, Hamburg;University of Hamburg, Department for Informatics, Hamburg;University of Hamburg, Department for Informatics, Hamburg
Venue:
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Year:
2010

Citing 15
Cited 1

Computational organization theory

Multiagent systems
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Modelling the Structure and Behaviour of Petri Net Agents

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans

Autonomous Agents and Multi-Agent Systems
AMELI: An Agent-Based Middleware for Electronic Institutions

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
A Formal Model of Multi-Agent Organisations

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Structure in threes: modelling organization-oriented software architectures built upon multi-agent systems

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Agent Models for Concurrent Software Systems

MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
A Formal Model for Organisational Structures behind Process-Aware Information Systems

Transactions on Petri Nets and Other Models of Concurrency II
From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches

Engineering Societies in the Agents World IX
Instrumenting multi-agent organisations with organisational artifacts and agents

Autonomous Agents and Multi-Agent Systems
Organization oriented programming: from closed to open organizations

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
SONAR: a multi-agent infrastructure for active application architectures and inter-organisational information systems

MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Modeling organizational units as modular components of systems of systems

Transactions on Petri nets and other models of concurrency IV

Defining Multi-Party Compromises using Unfoldings of Workflow Nets

Fundamenta Informaticae - Concurrency, Specification and Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This contribution presents the Mulan4Sonar middleware and its prototypical implementation for a comprehensive support of organisational teamwork, including aspects like team formation, negotiation, team planning, coordination, and transformation. Organisations are modelled in Sonar, a Petri net-based specification formalism for multiagent organisations. Sonar models are rich and elaborated enough to automatically generate all necessary configuration information for the Mulan4Sonar middleware.