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

✍ Scribed by Alexander Artikis, Marek Sergot, Jeremy Pitt (auth.), Fausto Giunchiglia, James Odell, Gerhard Weiß (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2003
• Tongue: English
• Leaves: 237
• Series: Lecture Notes in Computer Science 2585
• Edition: 1
• Category: Library

✦ Synopsis

Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of control. Unfortunately, it turns out that many (if not most) real-world applications have precisely these characteristics. As a consequence, a major research topic in c- puter science over at least the past two decades has been the development of tools and techniques to model, understand, and implement systems in which interaction is the norm. Indeed, many researchers now believe that in future computation itself will be understood as chie?y a process of interaction.

✦ Table of Contents

Specifying Electronic Societies with the Causal Calculator....Pages 1-15
Modeling Agents and Their Environment....Pages 16-31
Validation of Multiagent Systems by Symbolic Model Checking....Pages 32-46
Patterns in Agent-Oriented Software Engineering....Pages 47-58
Concurrent Architecture for a Multi-agent Platform....Pages 59-72
Re-use of Interaction Protocols for Agent-Based Control Applications....Pages 73-87
Architecting for Reuse: A Software Framework for Automated Negotiation....Pages 88-100
Multi-agent and Software Architectures: A Comparative Case Study....Pages 101-112
Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors....Pages 113-125
Generating Machine Processable Representations of Textual Representations of AUML....Pages 126-137
A UML Profile for External Agent-Object-Relationship (AOR) Models....Pages 138-149
Extending Agent UML Sequence Diagrams....Pages 150-161
The Tropos Software Development Methodology: Processes, Models and Diagrams....Pages 162-173
Prometheus: A Methodology for Developing Intelligent Agents....Pages 174-185
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems....Pages 186-197
Assembling Agent Oriented Software Engineering Methodologies from Features....Pages 198-209
Agent-Oriented Software Technologies: Flaws and Remedies....Pages 210-227

✦ Subjects

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