Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

✍ Scribed by Walamitien H. Oyenan, Scott A. DeLoach, Gurdip Singh (auth.), Marie-Pierre Gleizes, Jorge J. Gomez-Sanz (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 231
• Series: Lecture Notes in Computer Science 6038
• Edition: 1
• Category: Library

✦ Synopsis

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems.

The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the concrete technique and proposing a development method for designing concrete types of systems. This state-of-the-art survey is rounded off by five additional lectures ressing key areas in development: agent-oriented modelling languages, implementation of MAS, testing of MAS, software processes, and formal methods for the development of MAS.
They permit analysis of the current state in the generation of specifications of MAS, the way these specifications can be implemented, how they can be validated, and what steps are necessary to do so.

✦ Table of Contents

Front Matter....Pages -
Front Matter....Pages 1-1
Exploiting Reusable Organizations to Reduce Complexity in Multiagent System Design....Pages 3-17
A Formal Specification for Organizational Adaptation....Pages 18-31
GORMAS: An Organizational-Oriented Methodological Guideline for Open MAS....Pages 32-47
Front Matter....Pages 49-49
Model Transformations for Improving Multi-agent System Development in INGENIAS....Pages 51-65
Automated Testing for Intelligent Agent Systems....Pages 66-79
Qualitative Modeling of MAS Dynamics....Pages 80-93
Front Matter....Pages 95-95
Methodology for Engineering Affective Social Applications....Pages 97-109
Automatic Generation of Executable Behavior: A Protocol-Driven Approach....Pages 110-124
On the Development of Multi-agent Systems Product Lines: A Domain Engineering Process....Pages 125-139
Developing Virtual Heritage Applications as Normative Multiagent Systems....Pages 140-154
Front Matter....Pages 155-155
Modelling with Agents....Pages 157-168
A Survey on the Implementation of Agent Oriented Specifications....Pages 169-179
Testing in Multi-Agent Systems....Pages 180-190
Processes Engineering and AOSE....Pages 191-212
Formal Methods in Agent-Oriented Software Engineering....Pages 213-228
Back Matter....Pages -

✦ Subjects

Software Engineering; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Programming Techniques; Computer Communication Networks; Programming Languages, Compilers, Interpreters