3. AOSE 2002: Bologna, Italy

Fausto Giunchiglia, James Odell, Gerhard Weiß (Eds.): Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions. Lecture Notes in Computer Science 2585 Springer 2003, ISBN 3-540-00713-X

Modeling, Specification, and Validation

Alexander Artikis, Marek J. Sergot, Jeremy Pitt:
Specifying Electronic Societies with the Causal Calculator. 1-15
James Odell, H. Van Dyke Parunak, Mitchell Fleischer, Sven Brueckner:
Modeling Agents and Their Environment. 16-31
Massimo Benerecetti, Alessandro Cimatti:
Validation of Multiagent Systems by Symbolic Model Checking. 32-46

Jürgen Lind:
Patterns in Agent-Oriented Software Engineering. 47-58
Michael Duvigneau, Daniel Moldt, Heiko Rölke:
Concurrent Architecture for a Multi-agent Platform. 59-72
Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge:
Re-use of Interaction Protocols for Agent-Based Control Applications. 73-87
Claudio Bartolini, Chris Preist, Nicholas R. Jennings:
Architecting for Reuse: A Software Framework for Automated Negotiation. 88-100
Paolo Giorgini, Manuel Kolp, John Mylopoulos:
Multi-agent and Software Architectures: A Comparative Case Study. 101-112

Martin L. Griss, Steven P. Fonseca, Richard M. Cowan, Robert R. Kessler:
Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors. 113-125
Jean-Luc Koning, Ivan Romero-Hernandez:
Generating Machine Processable Representations of Textual Representations of AUML. 126-137
Gerd Wagner:
A UML Profile for External Agent-Object-Relationship (AOR) Models. 138-149
Marc-Philippe Huget:
Extending Agent UML Sequence Diagrams. 150-161

Fausto Giunchiglia, John Mylopoulos, Anna Perini:
The Tropos Software Development Methodology: Processes, Models and Diagrams. 162-173
Lin Padgham, Michael Winikoff:
Prometheus: A Methodology for Developing Intelligent Agents. 174-185
Holger Knublauch, Thomas Rose:
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems. 186-197
Thomas Juan, Leon Sterling, Michael Winikoff:
Assembling Agent Oriented Software Engineering Methodologies from Features. 198-209

Jörg P. Müller, Bernhard Bauer:
Agent-Oriented Software Technologies: Flaws and Remedies. 210-227

Last update Sun May 19 21:34:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page