Lecture Notes in Artificial Intelligence 9318 Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University, Sapporo, Japan Wolfgang Wahlster DFKI and Saarland University, Saarbrücken, Germany LNAI Founding Series Editor Joerg Siekmann DFKI and Saarland University, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/1244
Matteo Baldoni Luciano Baresi Mehdi Dastani (Eds.) Engineering Multi-Agent Systems Third International Workshop, EMAS 2015 Istanbul, Turkey, May 5, 2015 Revised, Selected, and Invited Papers 123
Editors Matteo Baldoni Dipartimento di Informatica Università degli Studi di Torino Torino Italy Luciano Baresi DEIB - Politecnico di Milano Milano Italy Mehdi Dastani Department of Information and Computing Sciences Utrecht University Utrecht The Netherlands ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Artificial Intelligence ISBN 978-3-319-26183-6 ISBN 978-3-319-26184-3 (ebook) DOI 10.1007/978-3-319-26184-3 Library of Congress Control Number: 2015954626 LNCS Sublibrary: SL7 Artificial Intelligence Springer Cham Heidelberg New York Dordrecht London Springer International Publishing Switzerland 2015 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. 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. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. Printed on acid-free paper Springer International Publishing AG Switzerland is part of Springer Science+Business Media (www.springer.com)
Preface The engineering of multi-agent systems (MAS) is a multi-faceted, complex task. These systems consist of multiple, autonomous, and heterogeneous agents, and their global behavior emerges from the cooperation and interactions among the agents. MAS have been widely studied and implemented in academia, but their full adoption in industry is still hampered by the unavailability of comprehensive solutions for conceiving, engineering, and implementing these systems. Being at the border between software engineering and artificial intelligence, they can benefit from both disciplines, but at the same time they lack proper mainstream solutions. For example, even if the artificial intelligence side has been proposing conceptual models for years, there is still a lack of proper abstractions unanimously recognized as effective design solutions for the conceptions of agents and of their interactions. Similarly, there is still a significant gap between the availability of standard software engineering implementation and validation solutions and their adoption in the conception of MAS. More recently, the emergence of self-adaptive software systems, and in general the idea of software systems that can change their behavior at runtime, has imposed MAS as one conceptual solution for their realization, but it has also emphasized the need for proper and sound engineering solutions. Conversely, design artifacts (e.g., agent or MAS models) can be also used to support and assist the testing and debugging of conventional software, while the use of agent-oriented programming languages results in programs that are more readily verifiable. Their many pieces belong to the same puzzle, but significant work is still needed to put them together. As said, many solutions have already been proposed. They address the use of common software engineering solutions for the conception of MAS, the use of MAS for ameliorating common software engineering tasks, and also the proper blending of the two disciplines to conceive MAS-centric development processes. Academia has been working on ideas and solutions; industry should have exploited them to improve the state of the art. The cross-fertilization is needed to make the two sides of the same coin cooperate, and a single, common venue can help to exchange ideas, compare solutions, and learn from one another. The International Workshop on Engineering Multi-Agent Systems (EMAS) aims to be this comprehensive venue, where software engineering and artificial intelligence researchers can meet together and discuss the different viewpoints and findings, and where they can also try to present them to industry. EMAS was created in 2013 as a merger of three separate workshops (with overlapping communities) that focused on the software engineering aspects (AOSE), the programming aspects (ProMAS), and the application of declarative techniques to design, program, and verify (DALT) MAS. The workshop is traditionally co-located with AAMAS (International Conference on Autonomous Agents and Multi-agent Systems) and thus this year it was held in Istanbul (Turkey).
VI Preface This year the workshop was a single-day event. We received 19 submissions, and after a double review process, 10 papers were selected for inclusion in this volume. All the contributions were revised by taking into account the comments and discussions at the workshop. Moreover, the volume includes two papers by the invited speakers, Brian Logan, from the University of Nottingham, and Mirko Viroli, from Università di Bologna, whose presentations raised a lot of interest and compelling discussions. We would like to thank all the members of the Program Committee for their excellent work. Moreover, we would like to thank all the members of the Steering Committee of EMAS for their valuable suggestions and support. August 2015 Matteo Baldoni Luciano Baresi Mehdi Dastani
Organization Workshop Organizers Matteo Baldoni Luciano Baresi Mehdi Dastani University of Turin, Italy Politecnico di Milano, Italy Utrecht University, The Netherlands Program Committee Natasha Alechina Matteo Baldoni Luciano Baresi Cristina Baroglio Jeremy Baxter Olivier Boissier Lars Braubach Rem Collier Massimo Cossentino Fabiano Dalpiaz Mehdi Dastani Louise Dennis Jüergen Dix Amal El Fallah Seghrouchni Aditya Ghose Paolo Giorgini Adriana Giret Jorge Gomez-Sanz Christian Guttmann James Harland Vincent Hilaire Koen Hindriks Benjamin Hirsch Tom Holvoet Jomi Fred Hubner Joao Leite Yves Lespérance Brian Logan Viviana Mascardi Philippe Mathieu John-Jules Meyer University of Nottingham, UK University of Turin, Italy Politecnico di Milano, Italy University of Turin, Italy QinetiQ, UK ENS Mines Saint-Etienne, France University of Hamburg, Germany University College Dublin, Ireland National Research Council, Italy Utrecht University, The Netherlands Utrecht University, The Netherlands University of Liverpool, UK Clausthal University of Technology, Germany LIP6 - University of Pierre and Marie Curie, France University of Wollongong, Australia University of Trento, Italy Technical University of Valencia, Spain Universidad Complutense de Madrid, Spain Institute of Value Based Reimbursement System, Sweden RMIT University, Australia UTBM/IRYES-SET, France Delft University of Technology, The Netherlands EBTIC/Khalifa University, UAE K.U. Leuven, Belgium Federal University of Santa Catarina, Brazil Universidade Nova de Lisboa, Portugal York University, Canada University of Nottingham, UK University of Genoa, Italy University of Lille 1, France Utrecht University, The Netherlands
VIII Organization Frederic Migeon IRIT, France Ambra Molesini Alma Mater Studiourum - Universtà di Bologna, Italy Pavlos Moraitis Paris Descartes University, France Haralambos Mouratidis University of Brighton, UK Jörg P. Müller TU Clausthal, Germany Andrea Omicini Alma Mater Studiorum - Università di Bologna, Italy Juan Pavón Universidad Complutense de Madrid, Spain Alexander Pokahr University of Hamburg, Germany Enrico Pontelli New Mexico State University, USA Alessandro Ricci Alma Mater Studiorum - Università di Bologna, Italy Ralph Ronnquist Real Thing Entertainment Pty Ltd, Australia Sebastian Sardina RMIT University, Australia Valeria Seidita University of Palermo, Italy Guillermo R. Simari Universidad Nacional del Sur in Bahia Blanca, Argentina John Thangarajah RMIT University, Australia Paolo Torroni Alma Mater Studiorum - Università di Bologna, Italy M. Birna van Riemsdijk TU Delft, The Netherlands Wamberto Vasconcelos University of Aberdeen, UK Jørgen Villadsen Technical University of Denmark Gerhard Weiss University of Maastricht, The Netherlands Danny Weyns Linnaeus University, Sweden Michael Winikoff University of Otago, New Zealand Wayne Wobcke University of New South Wales, Australia Neil Yorke-Smith American University of Beirut, Lebanon Steering Committee Matteo Baldoni University of Turin, Italy Rafael Bordini PUCRS, Brazil Mehdi Dastani Utrecht University, The Netherlands Jürgen Dix TU Clausthal, Germany Amal El Fallah University Paris 6, France Seghrouchni Paolo Giorgini University of Trento, Italy Jörg P. Müller TU Clausthal, Germany M. Birna van Riemsdijk Delft University of Technology, The Netherlands Tran Cao Son New Mexico State University, USA Gerhard Weiss Maastricht University, The Netherlands Danny Weyns Linnaeus University, Sweden Michael Winikoff University of Otago, New Zealand Additional Reviewers Abushark, Yoosef Sabatucci, Luca
Contents Invited Papers A Future for Agent Programming............................... 3 Brian Logan Towards Agent Aggregates: Perspectives and Challenges............... 18 Mirko Viroli and Alessandro Ricci Contributed Papers Designing a Knowledge Representation Interface for Cognitive Agents..... 33 Timea Bagosi, Joachim de Greeff, Koen V. Hindriks, and Mark A. Neerincx A Probabilistic BPMN Normal Form to Model and Advise Human Activities................................................ 51 Hector G. Ceballos, Victor Flores-Solorio, and Juan Pablo Garcia ACE: A Flexible Environment for Complex Event Processing in Logical Agents.................................................. 70 Stefania Costantini A Testbed for Agent Oriented Smart Grid Implementation.............. 92 Jorge J. Gomez-Sanz, Nuria Cuartero-Soler, and Sandra Garcia-Rodriguez Quantitative Analysis of Multiagent Systems Through Statistical Model Checking................................................ 109 Benjamin Herd, Simon Miles, Peter McBurney, and Michael Luck Semantic Mutation Testing for Multi-agent Systems.................. 131 Zhan Huang and Rob Alexander A Formal Description of a Mapping from Business Processes to Agents.... 153 Tobias Küster, Marco Lützenberger, and Sahin Albayrak Validating Requirements Using Gaia Roles Models................... 171 Nektarios Mitakidis, Pavlos Delias, and Nikolaos Spanoudakis Programming Mirror Worlds: An Agent-Oriented Programming Perspective... 191 Alessandro Ricci, Angelo Croatti, Pietro Brunetti, and Mirko Viroli
X Contents Evaluating Different Concurrency Configurations for Executing Multi-Agent Systems........................................ 212 Maicon R. Zatelli, Alessandro Ricci, and Jomi F. Hübner Author Index... 231