Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers and research groups in the area of Agent-Oriented Software Engineering. The papers present leading edge research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies.

This volume constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of AAMAS 2006. The 13 revised full papers were carefully selected from numerous submissions during two rounds of reviewing and improvement and have been complemented by invited papers from leading researchers in the field. The papers are organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability.

Autorentext
Franco Zambonelli is professor in Computer Science at the University of Modena and Reggio Emilia since 2001. He obtained the Laurea degree in Electronic Engineering in 1992, and the PhD in Computer Science in 1997, both from the University of Bologna. His current research interests include: distributed and pervasive computing, agent-oriented software engineering, self-organization in distributed systems engineering. In these areas, he has published over 120 papers in international fora, co-edited 7 books, received several best paper awards, and has been invited speaker and tutorialist in several international conferences and workshops. He is a member of IEEE, ACM, AIIA, and TABOO.

Inhalt
Modelling and Design of Agent Systems.- An Agent-Environment Interaction Model.- Allocating Goals to Agent Roles During MAS Requirements Engineering.- An Aspect-Oriented Modeling Framework for Multi-Agent Systems Design.- Modelling Open Agent Systems.- Extending UML Sequence Diagrams to Model Agent Mobility.- Applying the Governance Framework Technique to Promote Maintainability in Open Multi-Agent Systems.- Designing Institutional Multi-Agent Systems.- Formal Reasoning About Designs.- Modeling Mental States in the Analysis of Multiagent Systems Requirements.- Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models.- Using Risk Analysis to Evaluate Design Alternatives.- Testing, Debugging and Evolvability.- SUNIT: A Unit Testing Framework for Test Driven Development of Multi-Agent Systems.- Monitoring Group Behavior in Goal-Directed Agents Using Co-efficient Plan Observation.- Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems.- Building the Core Architecture of a NASA Multiagent System Product Line.