Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2003

Agent-Oriented Software Engineering III

Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions

Editors:

  1. Fausto Giunchiglia

    1. Department of Information and Communication Technology, University of Trento, Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. James Odell

    1. Ann Arbor, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gerhard Weiß

    1. Institut für Informatik Technische, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2585)

Conference series link(s): AOSE: International Workshop on Agent-Oriented Software Engineering

Conference proceedings info: AOSE 2002.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
    PDF

  2. Modeling, Specification, and Validation

    1. Specifying Electronic Societies with the Causal Calculator

      • Alexander Artikis, Marek Sergot, Jeremy Pitt
      Pages 1-15

    2. Modeling Agents and Their Environment

      • James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
      Pages 16-31

    3. Validation of Multiagent Systems by Symbolic Model Checking

      • Massimo Benerecetti, Alessandro Cimatti
      Pages 32-46

  3. Patterns,Architectures,and Reuse

    2. Concurrent Architecture for a Multi-agent Platform

      • Michael Duvigneau, Daniel Moldt, Heiko Rölke
      Pages 59-72

    3. Re-use of Interaction Protocols for Agent-Based Control Applications

      • Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge
      Pages 73-87

    4. Architecting for Reuse: A Software Framework for Automated Negotiation

      • Claudio Bartolini, Chris Preist, Nicholas R. Jennings
      Pages 88-100

    5. Multi-agent and Software Architectures: A Comparative Case Study

      • Paolo Giorgini, Manuel Kolp, John Mylopoulos
      Pages 101-112

  4. UML and Agent Systems

    1. Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors

      • Martin L. Griss, Steven Fonseca, Dick Cowan, Robert Kessler
      Pages 113-125

    2. Generating Machine Processable Representations of Textual Representations of AUML

      • Jean-Luc Koning, Ivan Romero-Hernandez
      Pages 126-137

    4. Extending Agent UML Sequence Diagrams

      • Marc-Philippe Huget
      Pages 150-161

  5. Methodologies and Tools

    1. The Tropos Software Development Methodology: Processes, Models and Diagrams

      • Fausto Giunchiglia, John Mylopoulos, Anna Perini
      Pages 162-173

    2. Prometheus: A Methodology for Developing Intelligent Agents

      • Lin Padgham, Michael Winikoff
      Pages 174-185

    4. Assembling Agent Oriented Software Engineering Methodologies from Features

      • Thomas Juan, Leon Sterling, Michael Winikoff
      Pages 198-209

  6. Positions and Perspectives

    1. Agent-Oriented Software Technologies: Flaws and Remedies

      • Jörg P. Müller, Bernhard Bauer
      Pages 210-227

  7. Back Matter

    Pages 229-229
    PDF
Back to top

Other Volumes

  1. Agent-Oriented Software Engineering III

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Information and Communication Technology, University of Trento, Trento, Italy

    Fausto Giunchiglia

  • Ann Arbor, USA

    James Odell

  • Institut für Informatik Technische, Garching, Germany

    Gerhard Weiß

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation