| Vol-494 Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.

# MALLOW'009
Multi-Agent Logics, Languages, and Organisations Federated Workshops

### Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops

### Turin, Italy, September 7-10, 2009.

Edited by

### Matteo Baldoni a
Cristina Baroglio a
Jamal Bentahar b
Guido Boella a
Massimo Cossentino c
Mehdi Dastani d
Barbara Dunin-Keplicz e, f
Giancarlo Fortino g
Marie-Peirre Gleizes h
João Leite i
Viviana Mascardi j
Julian Padget k
Juan Pavón l
Axel Polleres m
Amal El Fallah Seghrouchni n
Paolo Torroni o
Rineke Verbrugge p

a Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera, 185 - I-10149 Torino, Italy
b Concordia Institute for Information Systems Engineering, Concordia University, 1515 Ste-Catherine Street West, EV7.630, Montreal, Quebec, H3G 2W1, Canada
c ICAR/CNR, Italy
d Department of Information and Computing Sciences, Utrecht University, P.O.Box 80.089, 3508 TB, Utrecht, The Netherlands
e Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warsaw, Poland
f Institute of Computer Science, Polish Academy of Sciences Ordona 21, 01-237 Warsaw, Poland
g Department of Electronics, Informatics and Systems (DEIS) Università della Calabria, Italy
h IRIT - Université Paul Sabatier, France
i Departamento de Informatica, Faculdade de Ciencias e Tecnologia, FCT-UNL - Universidade Nova de Lisboa, Lisboa, Portugal
j Dipartimento di Informatica e Scienze dell'Informazione, Università degli Studi di Genova, Via Dodecaneso, 35, 16146 Genova, Italy
k Department of Computer Science, University of Bath, Bath BA2 7AY, United Kingdom
l Dep. Ingeniería del Software e Inteligencia Artificial, Universidad Complutense Madrid, Spain
m Digital Enterprise Research Institute, National University of Ireland, Galway
n LIP6 - University Pierre and Marie Curie, 104, Avenue du Président Kennedy - 75016, Paris, France
o Dipartimento di Informatica, Elettronica e Sistemistica, Università di Bologna, V.le Risorgimento, 2, 40136 BOLOGNA, Italy
p Institute of Artificial Intelligence, University of Groningen PO Box 407, 9700 AK Groningen, The Netherlands

Complete volume as one file (~17.5 MB).

## Table of Contents

Preface

### Agents, Web Services and Ontologies, Integrated Methodologies ( MALLOW-AWESOME'009)

Introductory Essay of MALLOW-AWESOME'009
Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi
1. Joint Achievement of Services' Personal Goals
   Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella
2. Verifying A-Priori the Composition of Declarative Specified Services
   Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
3. Web Services Synchronization in Composition Scenarios
   Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Khouloud Boukadi
4. Enhancing Engineering Methodology for Communities of Web Services
   Mohamed Elmenshawy Mohamed, Jamal Bentahar, Rachida Dssouli
5. Programming SOA/WS Systems with Cognitive Agents and Artifact-Based Environments
   Michele Piunti, Andrea Santi, Alessandro Ricci
6. Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs
   Viviana Mascardi, Davide Ancona
7. The CAWE Framework - Enhancing Service Oriented Architecture with Context Awareness (Extended Abstract)
   Liliana Ardissono, Anna Goy, Roberto Furnari, Giovanna Petrone, Marino Segnan
8. AgentSeeker: an Ontology-based Enterprise Search Engine (Extended Abstract)
   Andrea Passadore, Alberto Grosso, Antonio Boccalatte
9. WADE: An Open Source Platform for Workflows and Agents (Extended Abstract)
   Giovanni Caire, Elena Quarantotto, Giovanna Sacchi

   ### Coordination, Organization, Institutions and Norms in Agent Systems & On-line Communities (COIN@MALLOW'009)

   Introductory Essay of COIN@MALLOW'009
   Julian Padget, Axel Polleres
10. Normative Programming for Organisation Management Infrastructures
    Jomi Fred Hubner, Olivier Boissier, Rafael H. Bordini
11. Towards an Architecture for Self-regulating Agents: A Case Study in International Trade
    Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan
12. Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics
    Guido Boella, Leon van der Torre, Serena Villata
13. Dealing with Incomplete Normative States
    Juan Manuel Serrano, Sergio Saugar
14. Directing Status Messages to their Audience in Online Communities
    Milan Stankovic, Alexandre Passant, Philippe Laublet
15. Managing Water Demand as a Regulated Open MAS
    Vicent Botti, Antonio Garrido, Adriana Giret, Pablo Noriega
16. Open Interaction System Specification and Monitoring Using Semantic Web Technology
    Nicoletta Fornara
17. SIOC Project: Semantically Interlinked Online Communities
    Uldis Bojars and Alexandre Passant
18. Norms, Organisations and Semantic Web Services: The ALIVE approach
    Sergio Alvarez-Napagao, Owen Cliffe, Julian Padget, Javier Vazquez

    ### Formal Approaches to Multi-Agent Systems (FAMAS'09)

    Introductory Essay of FAMAS'09
    Barbara Dunin-Keplicz, Rineke Verbrugge
19. Redistribution Mechanisms for the Assignment of Heterogeneous Objects
    Sujit Gujar, Y. Narahari
20. Talking Your Way into Agreement: Belief Merge by Persuasive Communication
    Alexandru Baltag, Sonja Smets
21. Comparing Strengths of Beliefs Explicitly
    Dick de Jongh, Sujata Ghosh
22. Knowledge about Lights along a Line
    Francois Schwarzentruber
23. Games for Learning: A Sabotage Approach
    Nina Gierasimczuk, Lena Kurzen, Fernando R. Velazquez-Queseda
24. On the Incentive Compatible Core of a Procurement Network Game with Incomplete Information
    Chandrashekar T. Subramanyam, Y. Narahari
25. Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time
    Valentin Goranko, Dmitry Shkatov
26. A Framework to Model Norm Dynamics in Answer Set Programming
    Sofia Panagiotidi, Juan Carlos Nieves, Javier Vazquez-Salceda

    ### LAnguages, methodologies and Development tools for multi-agent systemS (LADS'009)

    Introductory Essay of LADS'009
    Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
27. Detecting Exceptions in Commitment Protocols: Discovering Hidden States
    Ozgur Kafali, Pinar Yolum
28. A Methodology for Developing Self-Explaining Agents for Virtual Training
    Maaike Harbers, Karel Van den Bosch, John-Jules Meyer
29. An Integrated Semantics of Social Commitments and Associated Operations
    Jamal Bentahar, M El-Menshawy, R. Dssouli
30. Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
    Alessandro Ricci, Michele Piunti, Mirko Viroli
31. Call Graph Profiling for Multi Agent Systems
    Dinh Doan Van Bien, David Lillis, Rem W. Collier
32. ReSeagent: A Refactoring Tool for Plan Level Refactoring in MAS Development
    Ali Murat Tiryaki, Oguz Dikenelli
33. Programming Social Middlewares through Social Interaction Types
    Juan Manuel Serrano, Sergio Saugar
34. Temporal Planning in Dynamic Environments for P-CLAIM Agents
    Adnan Hashmi, Amal El Fallah Seghrouchni
35. Agents Secure Interaction in Data driven Languages
    Mahdi Zargayouna, Balbo Flavien, Serge Haddad
36. Executing Agent Plans by Reducing to Workflows
    Tayfun Gokmen Halac, Ovunc Cetin, Erdem Eser Ekinci, R. Cenk Erdur, Oguz Dikenelli
37. The ARTS Real-Time Agent Architecture
    Konstantin Vikhorev, Natasha Alechina, Brian Logan

    ### Multi-Agent Systems and Simulation (MAS&S'09)

    Introductory Essay of MAS&S'09
    Giancarlo Fortino, Massimo Cossentino, Juan Pavón, Marie-Pierre Gleizes
38. An Industry Use Case: Testing SOA Systems with MAS Simulators
    Pier-Giovanni Taranti, Carlos Jose Pereira de Lucena, Ricardo Choren
39. Electricity Market (Virtual) Agents
    Paulo Trigo, Paulo Marques, Helder Coelho
40. Users' Collaboration as a Driver for Reputation System Effectiveness: a Simulation Study
    Guido Boella, Marco Remondino, Gianluca Tornese
41. Exploiting the easyABMS Methodology in the Logistics Domain
    Alfredo Garro, Wilma Russo
42. Engineering Development of Agents using the Cooperative Behaviour of their Components
    Noélie Bonjean, Carole Bernon, Pierre Glize
43. Simulation of Alternative Self-Organization Models for an Adaptive Environment
    Stefania Bandini, Andrea Bonomi, Giuseppe Vizzari, Vito Acconci
44. Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach
    Muaz Niazi, Amir Hussain, Mario Kolberg
45. Agent based Modeling and Simulation of Multi-project Scheduling
    José Alberto Araúzo, Juan Pavón, Adolfo López Paredes and Javier Pajares
46. Quick Prototyping and Simulation with the INGENIAS Agent Framework
    Jorge Gomez-Sanz, Carlos Rodríguez-Fernández and Juan Pavón
47. Multiagent Simulation Model Design Strategies
    Franziska Klügl

22-Aug-2009: submitted by Matteo Baldoni
22-Aug-2009: published on CEUR-WS.org