Jörg P. Müller Massimo Cossentino (Eds.) 123 LNCS 7852 13th International Workshop, AOSE 2012 Valencia, Spain, June 2012 Revised Selected Papers Agent-Oriented Software Engineering XIII www.it-ebooks.info Lecture Notes in Computer Science 7852 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany www.it-ebooks.info Jörg P. Müller Massimo Cossentino (Eds.) Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012 Valencia, Spain, June 4, 2012 Revised Selected Papers 13 www.it-ebooks.info Volume Editors Jörg P. Müller Technische Universität Clausthal, Institut für Informatik 38678 Clausthal-Zellerfeld, Germany E-mail: joerg.mueller@tu-clausthal.de Massimo Cossentino Istituto di Calcolo e Reti ad Alte Prestazioni, Consiglio Nazionale delle Ricerche 90128 Palermo, Italy E-mail: cossentino@pa.icar.cnr.it ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-642-39865-0 e-ISBN 978-3-642-39866-7 DOI 10.1007/978-3-642-39866-7 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2013943815 CR Subject Classification (1998): I.2.11, D.2, I.2, D.1, D.3, I.6 LNCS Sublibrary: SL 2 – Programming and Software Engineering © Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executedon a computersystem, for exclusiveuse bythe purchaserof thework. Duplicationofthis publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) www.it-ebooks.info Preface Since the mid-1980s, software agents and multiagent systems have grown into a very active area of research and of commercial development activity. One of the limiting factors in the industry take-up of agent technology, however, is the lack of adequate software engineering support and knowledge in this area. The Agent-Oriented Software Engineering (AOSE) Workshop is focused on this problem and provides a forum for those who study the synergies between software engineering and agent research. The concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects, which have state, and upon which we can perform operations, so we can understand many others as being made up of interacting, autonomous or semi-autonomous agents. This paradigm is especially suited to complex systems. Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are typically orders of magnitude more complex to correctly and efficiently engineer than those that simply compute a function of some input through a single thread of control, or through a limited set of strictly synchronized threads of control. Agent-oriented modeling techniques are especially useful in such applications. The 12 past editions of the agent-oriented software engineering workshop (AOSE) had a key role in this endeavor. For the 13th AOSE workshop held dur- ing the 11th International Joint Conference on Autonomous Agents and Mul- tiagent Systems (AAMAS 2013), the thematic focus was on exploring the new emerging role of agent-oriented software engineering as a bridge from the now consolidated agent-oriented programming languages and platforms, to recent systems modeling paradigms such as self-*, autonomic systems, and systems of systems (SoS). Thus, the theme of this workshop was to explore, from an agent- based perspective, foundations, models, methods, architectures, and tools for engineering future software-intensive IT ecosystems. The AOSE 2012 workshop received 24 submissions. Each paper was peer- reviewed by three members of an international Program Committee. The papers in this volume include both selected and thoroughly revised papers from the AOSE 2012 workshop and two invited papers. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to integration of concepts and techniques from multiagent systems with recent programming languages, platforms, and established software engineering methodologies. We hope that this volume will stimulate further research in agent- oriented software engineering as well as its integration with conventional software engineering. www.it-ebooks.info VI Preface This volume is special in another respect, too: It documents the results of what is very likely to have been the last AOSE workshop. The reason for this is that from 2013 onwards, AOSE will be merging with two other notable events, the International Workshop on Programming Multi-Agent Systems (ProMAS) and the International Workshop on Declarative Agents Languages and Technolo- gies (DALT), to form a new event, the International Workshop on Engineering Multiagent Systems (EMAS). The first edition of EMAS will be held at the AAMAS 2013 conference. It is our hope that the merger of the three major sci- entific workshops on software engineering for multiagent systems will sustainably strengthen our research field and create new impact for research directed toward engineering large-scale, distributed software systems. We wish to express our gratefulness to the AAMAS 2012 organizers for host- ing AOSE. We thank the AOSE PC members and auxiliary reviewers for their thorough, critical, and constructive review work. We are grateful to the AOSE Steering Committee for their continued support and advice. Finally, we thank the Springer staff headed by Alfred Hofmann for accompanying the AOSE work- shop over the past 13 years and for supporting the publication of this volume. May 2013 J¨org P. M¨uller Massimo Cossentino www.it-ebooks.info Organization The AOSE 2012 workshop was organized in colocation with the 11th Interna- tional Joint Conference on Autonomous Agents and Multiagent Systems (AA- MAS) which was held in Valencia, Spain in June 2012. AOSE 2012 Chairs J¨org P. M¨uller TU Clausthal, Germany Massimo Cossentino National Research Council of Italy, Italy Program Committee Carole Bernon Olivier Boissier Juan Antonio Botia Blaya Lars Braubach Scott Deloach Amal El Fallah Seghrouchni Maksims Fiosins Klaus Fischer Giancarlo Fortino Ruben Fuentes-Fern´andez Aditya Ghose Holger Giese Paolo Giorgini Adriana Giret Marie-Pierre Gleizes Alma Gomez-Rodriguez Jorge J. G´omez Sanz Vincent Hilaire Lam-Son Lˆe Joao Leite Jo˜ao G. Martins Philippe Mathieu Fr´ed´eric Migeon Ambra Molesini Pavlos Moraitis Juan Carlos Gonzalez Moreno Haralambos Mouratidis Andrea Omicini Flavio Oquendo H. Van Dyke Parunak Juan Pav´on Michal Peˇchouˇcek Gauthier Picard Alexander Pokahr Alessandro Ricci Fariba Sadri Valeria Seidita Onn Shehory Carles Sierra Nikolaos Spanoudakis Angelo Susi Kuldar Taveter L´aszl´o Zsolt Varga Danny Weyns Eric Yu AOSE Steering Committee Paolo Giorgini University of Trento, Italy J¨org P. M¨uller TU Clausthal, Germany www.it-ebooks.info VIII Organization Gerhard Weiss Maastricht University, The Netherlands Danny Weyns Linnaeus University, Sweden Michael Winikoff University of Otago, New Zealand www.it-ebooks.info Table of Contents Model-Driven Approaches to AOSE A Methodological Approach to Model Driven Design of Multiagent Systems 1 Klaus Fischer and Stefan Warwas A Norm-Governed Holonic Multi-agent System Metamodel 22 Patrizia Ribino, Carmelo Lodato, Salvatore Lopes, Valeria Seidita, Vincent Hilaire, and Massimo Cossentino Specification of Trade-Off Strategies for Agents: A Model-Driven Approach 40 Ren´e Schumann, Zijad Kurtanovic, and Ingo J. Timm MDA-Based Approach for Implementing Secure Mobile Agent Systems 56 Slim Kallel, Monia Loulou, Molka Rekik, and Ahmed Hadj Kacem Engineering Pervasive and Ubiquitous Multiagent Systems Developing Pervasive Agent-Based Applications: A Comparison of Two Coordination Approaches 73 Inmaculada Ayala, Mercedes Amor, Lidia Fuentes, Marco Mamei, and Franco Zambonelli Agent Perception within CIGA: Performance Optimizations and Analysis 99 Joost van Oijen, Han La Poutr´e, and Frank Dignum Ambient Intelligence with INGENIAS 118 Jorge J. G´omez-Sanz, Jos´eM.Fern´andez-de-Alba, and Rub´en Fuentes-Fern´andez AOSE Methodologies Analysing the Suitability of Multiagent Methodologies for e-Health Systems 134 Emilia Garcia, Gareth Tyson, Simon Miles, Michael Luck, Adel Taweel, Tjeerd Van Staa, and Brendan Delaney How to Extract Fragments from Agent Oriented Design Processes 151 Valeria Seidita, Massimo Cossentino, and Antonio Chella www.it-ebooks.info X Table of Contents Forward Self-combined Method Fragments 168 No´elie Bonjean, Marie-Pierre Gleizes, Christine Maurel, and Fr´ed´eric Migeon “Engineering” Agent-Based Simulation Models? 179 Franziska Kl¨ugl Author Index 197 www.it-ebooks.info [...]... reverse engineering approach for extracting the underlying structure of Jadex BDI agents [3] The approach is used to build up model repositories and ease the migration of existing projects to Bochica 3 Related Work on Agent- Oriented Design Methodologies Several software development processes like the classical waterfall model [4] and the iterative spiral model [5] originated from traditional software engineering. .. between the agents They can be used for deriving the basic structure of the microscopic layer However, how every agent fulfills the requirements is left open to the agent Microscopic The microscopic layer of Bochica defines concepts for modeling the internals of agents This encompasses concepts like Behavior, Event, Resource, KnowledgeBase, and Collaboration A Behavior specifies the behavior of agents by... the overall software development process is to provide the means for capturing design decisions and bridging the gap between design and code This raises the question of how Bochica can be integrated with typical software development processes As of today, iterative and agile development processes turned out to be more appropriate for most software projects than sequential ones Most agent- oriented methodologies... Design 5 today, there exists no standardized agent- oriented approach and the methodologies are still driven by research The Bochica framework is related to agent methodologies as it provides the means for capturing design decisions and bridging the gap between high-level designs and executable code In the following we give a brief overview of the agent- oriented design methodologies which we consider... not satisfy the needs of AOSE (e.g [7], [8, p 22]) During the recent years, various agent- oriented methodologies have been proposed The FIPA Methodology Technical Committee2 and the FIPA Working Group: Design Process Documentation and Fragmentation3 are two initiatives for the unification and standardization of agent- oriented methodologies As of 2 3 http://www.fipa.org/activities/methodology.html http://www.pa.icar.cnr.it/cossentino/fipa-dpdf-wg/... phases narrow down the concrete software architecture Thus, the possibility to produce early prototypes which can be refined in later iterations is important for RUP A further output of the Inception phase is to define the concrete development process (e.g the utilized methods) and the used tools It has been widely recognized within the agent community that the existing software engineering methodologies do... the state-of-the-art The methodologies were selected due to their influence in the community and the relevance to our approach Gaia ([13] and [7]) is an agent- oriented methodology which follows a sequential development process Gaia covers the agent- oriented analysis and design phases The design artifacts are kept abstract and leave many aspects open (e.g concrete interaction protocols or behavior patterns... structures, interactions, and an environment model are defined The architectural and detailed design phases further refine the models by adding agent and service models INGENIAS ([14], [15], and [16]) is an agent- oriented methodology which supports the development of agents with a mental model INGENIAS originated from the MESSAGE [17] methodology and is aligned to RUP Much research effort has been spent on... actions are grouped to functionalities The architectural and detailed design phases are concerned with identifying agent and capability types by grouping functionalities and specifying interaction protocols 4 5 Organization-based Multiagent System Engineering http://www.cs.rmit.edu.au/agents/SAC2/methodology.html 6 K Fischer and S Warwas using AUML The integration of AUML for specifying interaction... construction of five models (System Requirements, Agent Society, Agent Implementation, Code Model, and Deployment Model) The developers behind PASSI provide an add-in for the commercial UML-based CASE tool Rational Rose which allows to combine the PASSI development process with UML-based modelling for the design of the system Tropos7 ([31], [32] and [33]) is an agent- oriented methodology that covers the development . Autonomous Agents and Mul- tiagent Systems (AAMAS 2013), the thematic focus was on exploring the new emerging role of agent- oriented software engineering as a bridge from the now consolidated agent- oriented. established software engineering methodologies. We hope that this volume will stimulate further research in agent- oriented software engineering as well as its integration with conventional software engineering. www.it-ebooks.info VI. of agent technology, however, is the lack of adequate software engineering support and knowledge in this area. The Agent- Oriented Software Engineering (AOSE) Workshop is focused on this problem