Skip to main content
  • Conference proceedings
  • © 2011

Agent-Oriented Software Engineering X

10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

  • Up to date results

  • Fast conference proceedings

  • State-of-the-art report

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

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

Conference proceedings info: AOSE 2009.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Organizations

    1. Front Matter

      Pages 1-1
    2. Exploiting Reusable Organizations to Reduce Complexity in Multiagent System Design

      • Walamitien H. Oyenan, Scott A. DeLoach, Gurdip Singh
      Pages 3-17
    3. A Formal Specification for Organizational Adaptation

      • Huib Aldewereld, Frank Dignum, Virginia Dignum, Loris Penserini
      Pages 18-31
    4. GORMAS: An Organizational-Oriented Methodological Guideline for Open MAS

      • Estefanía Argente, Vicent Botti, Vicente Julian
      Pages 32-47
  3. Development Techniques

    1. Front Matter

      Pages 49-49
    2. Model Transformations for Improving Multi-agent System Development in INGENIAS

      • Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández
      Pages 51-65
    3. Automated Testing for Intelligent Agent Systems

      • Zhiyong Zhang, John Thangarajah, Lin Padgham
      Pages 66-79
    4. Qualitative Modeling of MAS Dynamics

      • Jan Sudeikat, Wolfgang Renz
      Pages 80-93
  4. Development Method Proposals

    1. Front Matter

      Pages 95-95
    2. Methodology for Engineering Affective Social Applications

      • Derek J. Sollenberger, Munindar P. Singh
      Pages 97-109
    3. Automatic Generation of Executable Behavior: A Protocol-Driven Approach

      • Christian Hahn, Ingo Zinnikus, Stefan Warwas, Klaus Fischer
      Pages 110-124
    4. On the Development of Multi-agent Systems Product Lines: A Domain Engineering Process

      • Ingrid Nunes, Carlos J. P. de Lucena, Uirá Kulesza, Camila Nunes
      Pages 125-139
    5. Developing Virtual Heritage Applications as Normative Multiagent Systems

      • Anton Bogdanovych, Juan Antonio Rodríguez, Simeon Simoff, A. Cohen, Carles Sierra
      Pages 140-154
  5. State-of-the-Art Survey

    1. Front Matter

      Pages 155-155
    2. Modelling with Agents

      • Estefanía Argente, Ghassan Beydoun, Rubén Fuentes-Fernández, Brian Henderson-Sellers, Graham Low
      Pages 157-168
    3. A Survey on the Implementation of Agent Oriented Specifications

      • Ingrid Nunes, Elder Cirilo, Carlos J. P. de Lucena, Jan Sudeikat, Christian Hahn, Jorge J. Gomez-Sanz
      Pages 169-179
    4. Testing in Multi-Agent Systems

      • Cu D. Nguyen, Anna Perini, Carole Bernon, Juan Pavón, John Thangarajah
      Pages 180-190
    5. Processes Engineering and AOSE

      • Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
      Pages 191-212
    6. Formal Methods in Agent-Oriented Software Engineering

      • Amal El Fallah-Seghrouchni, Jorge J. Gomez-Sanz, Munindar P. Singh
      Pages 213-228

Other Volumes

  1. Agent-Oriented Software Engineering X

About this book

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the concrete technique and proposing a development method for designing concrete types of systems. This state-of-the-art survey is rounded off by five additional lectures addressing key areas in development: agent-oriented modelling languages, implementation of MAS, testing of MAS, software processes, and formal methods for the development of MAS. They permit analysis of the current state in the generation of specifications of MAS, the way these specifications can be implemented, how they can be validated, and what steps are necessary to do so.

Keywords

  • agent oriented specification
  • design methodologies
  • domain engineering
  • formal methods
  • methodology
  • model transformation
  • model-driven development
  • modeling language
  • multi-agent systems
  • multiagent organisations
  • semantics
  • software engineering
  • software product lines
  • transformation
  • verification

Editors and Affiliations

  • Institute de Recherche en Infomatique de Toulouse, Paul Sabatier University, IRIT, Toulouse, Cedex 9, France

    Marie-Pierre Gleizes

  • Facultad de Informatica, Universidad Complutense de Madrid, Madrid, Spain

    Jorge J. Gomez-Sanz

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions