Agent-Oriented Software Engineering II

  title={Agent-Oriented Software Engineering II},
  author={Michael Wooldridge and Gerhard Weiss and Paolo Ciancarini},
  booktitle={Lecture Notes in Computer Science},
Die Online-Fachbuchhandlung ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. 

Agent orientation in software engineering

  • Gerhard Weiss
  • Computer Science
    The Knowledge Engineering Review
  • 2001
This guide is structured according to key issues and key topics that arise when dealing with AOSE: methods and frameworks for requirements engineering, analysis, design, and implementation; languages for programming, communication and coordination and ontology specification; and development tools and platforms.

Requirements Analysis in Tropos: A Self-Referencing Example

This paper will take into account the application of the Tropo methodology to a self-motivating case study: the definition of a support tool for the Tropos methodology itself, focusing on the early requirements and on how to manage the transition from them to the late requirement analysis.

Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments

This paper presents a model based on nested Petri nets for achieving integration of a multi-agent environment with a cross-organizational workflow and explains how some properties of the overall system can be verified using the SPIN model checker.

Facilitating MAS Complete Life Cycle through the Protégé-Prometheus Approach

It seems reasonable to integrate all traditional software development stages into one single methodology, which provides a general approach for MAS creation, starting with problem definition and resulting in program coding, deployment and maintenance.

From Object-Oriented to Agent-Oriented Software Engineering Methodologies

This work demonstrates how this might work by using the OPEN approach that already provides a significant coverage of AO method fragments as well as more traditional OO and pre-OO fragments, describing, as they do, emerging substantial support for AO methodological creation from the OPEN repository in an SME context.

Using Antimodels to Define Agents' Strategy

This paper proposes the use of antimodels to identify risk situations and uses an antigoal resolution taxonomy to reformulate agents' roles and goals and obtains a competitive solution.


Comprehensive models for organizations must, on the one hand, be able to specify global goals and requirements but, on the other hand, cannot assume that particular actors will always act according

Critical Systems Verification in MetaMORP(h)OSY

This work describes model transformation algorithms used in MetaMORP(h)OSY to verify real-time and timed reachability requirements and provides a mean for building MAS models used to verify properties (and requirements) of Critical Systems following a MDE approach.

Utilising dynamic roles in agent oriented methodologies

This paper seeks to form a singular description of an Agent Role so that this Role definition can be used in a wider context and addresses incorporating this Role Model into an existing AOSE Methodology.

Allocating Goals to Agent Roles During MAS Requirements Engineering

A systematic approach is proposed that starts from nonfunctional requirements identification and moves towards agent role definition guided by the degree of non functional requirements satisfaction, which relies on goal-dependencies to allow potential MAS vulnerabilities to be studied.


Germany email: Program

  • The Netherlands) Joost Kok (The Netherlands) Leon Sterling (Australia) Yannis Labrou (USA) Franco Zambonelli