Agent-Oriented Software Engineering III: Third International Workshop Aose 2002, Bologna, Italy, July 15, 2002 : Revised Papers and Invited Contributions

by Giunchiglia, Fausto; Odell, James J.; Weiss, Gerhard

• ISBN13: 9783540007135
• ISBN10: 354000713X
• Format: Paperback
• Copyright: 2003-05-01
• Publisher: Springer Verlag

Summary

This state-of-the-art survey examines the credentials of agent-based approaches as a software engineering paradigm. The 15 revised full papers presented together with two invited articles were carefully selected from 49 submissions during two rounds of reviewing and improvement for the Third International Workshop on Agent-Oriented Software Engineering, AOSE 2002, held in Bologna, Italy, during AAMAS 2002. The papers address all current issues in the field of software agents and multi-agent systems relevant for software engineering; they are organized in topical sections on- modeling, specification, and validation- patterns, architectures, and reuse- UML and agent systems- methodologies and tools- positions and perspectives

Table of Contents

Part I: Modeling, Specification, and Validation
Specifying Electronic Societies with the Causal Calculator	1	(15)
Alexander Artikis
Marek Sergot
Jeremy Pitt
Modeling Agents and Their Environment	16	(16)
James J. Odell
H. Van Dyke Parunak
Mitch Fleischer
Sven Brueckner
Validation of Multiagent Systems by Symbolic Model Checking	32	(15)
Massimo Benerecetti
Alessandro Cimatti
Part II: Patterns, Architectures, and Reuse
Patterns in Agent-Oriented Software Engineering	47	(12)
Jurgen Lind
Concurrent Architecture for a Multi-agent Platform	59	(14)
Michael Duvigneau
Daniel Moldt
Heiko Rolke
Re-use of Interaction Protocols for Agent-Based Control Applications	73	(15)
Stefan Bussmann
Nicholas R. Jennings
Michael Wooldridge
Architecting for Reuse: A Software Framework for Automated Negotiation	88	(13)
Claudio Bartolini
Chris Preist
Nicholas R. Jennings
Multi-agent and Software Architectures: A Comparative Case Study	101	(12)
Paolo Giorgini
Manuel Kolp
John Mylopoulos
Part III: UML and Agent Systems
Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors	113	(13)
Martin L. Griss
Steven Fonseca
Dick Cowan
Robert Kessler
Generating Machine Processable Representations of Textual Representations of AUML	126	(12)
Jean-Luc Koning
Ivan Romero-Hernandez
A UML Profile for External Agent-Object-Relationship (AOR) Models	138	(12)
Gerd Wagner
Extending Agent UML Sequence Diagrams	150	(12)
Marc-Philippe Huget
Part IV: Methodologies and Tools
The Tropos Software Development Methodology: Processes, Models and Diagrams	162	(12)
Fausto Giunchiglia
John Mylopoulos
Anna Perini
Prometheus: A Methodology for Developing Intelligent Agents	174	(12)
Lin Padgham
Michael Winikoff
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems	186	(12)
Holger Knublauch
Thomas Rose
Assembling Agent Oriented Software Engineering Methodologies from Features	198	(12)
Thomas Juan
Leon Sterling
Michael Winikoff
Part V: Positions and Perspectives
Agent-Oriented Software Technologies: Flaws and Remedies	210	(19)
Jorg P. Muller
Bernhard Bauer
Author Index	229