Lecture Notes in Artificial Intelligence 4898 EditedbyJ.G.CarbonellandJ.Siekmann Subseries of Lecture Notes in Computer Science Manuel Kolp Brian Henderson-Sellers Haralambos Mouratidis Alessandro Garcia Aditya Ghose Paolo Bresciani (Eds.) Agent-Oriented Information Systems IV 8th International Bi-Conference Workshop,AOIS 2006 Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006 Revised Selected Papers 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany VolumeEditors ManuelKolp UniversitécatholiquedeLouvain,IAG/ISYS,Louvain-la-Neuve,Belgium E-mail:[email protected] BrianHenderson-Sellers UniversityofTechnology,Fac.ofInformationTechnology,Sydney,Australia E-mail:[email protected] HaralambosMouratidis UniversityofEastLondon,Sch.ofComputingandTechnology,Dagenham,England E-mail:[email protected] AlessandroGarcia ComputingDepartment,InfoLab21,LancasterUniversity,UK E-mail:[email protected] AdityaGhose UniversityofWollongong,Sch.ofITandComputerScience,Wollongong,Australia E-mail:[email protected] PaoloBresciani EuropeanCommission,DGInformationSocietyandMedia,Brussels,Belgium E-mail:[email protected] LibraryofCongressControlNumber:2008920060 CRSubjectClassification(1998):I.2.11,H.4,H.3,H.5.2-3,C.2.4,I.2 LNCSSublibrary:SL7–ArtificialIntelligence ISSN 0302-9743 ISBN-10 3-540-77989-2SpringerBerlinHeidelbergNewYork ISBN-13 978-3-540-77989-6SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springer.com ©Springer-VerlagBerlinHeidelberg2008 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SPIN:12226788 06/3180 543210 Preface This is the eighth year that the Agent-Oriented Information Systems (AOIS) workshops have been held. Papers submitted to AOIS show an increase in quality and maturity as agent technology is being increasingly seen as a viable alternative for software and systems development. In AOIS, we focus on the application of agent technology in information systems development and explore the potential for facilitating the increased usage of agent technology in the creation of information systems in the widest sense. This year’s workshops were held in conjunction with two major, international computing research conferences: the first, in May 2006, was affiliated with the AAMAS conference in Hakadote, Japan and chaired by Garcia, Ghose and Kolp. The second was held in conjunction with the international CAiSE conference held in Luxembourg (June 2006) and chaired by Bresciani, Henderson-Sellers and Mouratidis. (Details of all preceding workshops are to be found at http:// www. aois. org.) The best papers from both these meetings were identified and authors invited to revise and extend their papers in light of the reviewers’ comments and feedback at the workshop. Following submission to this compendium volume, another round of reviews was undertaken resulting in what you can read here. These re-reviews were undertaken by three members of the Programme Committee – we wish to thank both the authors for undertaking the necessary revisions and the reviewers for this extra call on their precious time. We have grouped these papers loosely under four headings: Modelling; Methodologies; Agent-Oriented Software Engineering; and Applications. These categories represent fairly the breadth of current AOIS research as well as encompassing the papers presented at the two AOIS workshops. We trust you will find the content of these selected and revised papers to be of interest and utility. October 2007 Manuel Kolp Brian Henderson-Sellers Haralambos Mouratidis Alessandro Garcia Aditya Ghose Paolo Bresciani Organization Workshop Co-chairs Manuel Kolp (Université catholique de Louvain, Belgium) Brian Henderson-Sellers (University of Technology, Sydney, Australia) Haralambos Mouratidis (University of East London, UK) Alessandro Garcia (Lancaster University, UK) Aditya Ghose (University of Wollongong, Australia) Paolo Bresciani (European Commission, DG Information Society and Media, Brussels, Belgium) Steering Committee Yves Lesperance (York University, Canada) Gerd Wagner (Eindhoven University of Technology, The Netherlands) Eric Yu (University of Toronto, Canada) Paolo Giorgini (University of Trento, Italy) Program Committee Carole Bernon (University Paul Sabatier, Toulouse, France) Brian Blake (Georgetown University Washington, DC, USA) Paolo Bresciani (European Commission, Belgium) Jaelson Castro (Federal University of Pernambuco, Brazil) Luca Cernuzzi (Universitat Católica Nuestra Señora de la Asunción, Paraguay) Massimo Cossentino (ICAR-CNR, Palermo, Italy) Luiz Cysneiros (York University, Toronto) John Debenham (University of Technology, Sydney) Scott DeLoach (Kansas State University, USA) Frank Dignum (University of Utrecht, The Netherlands) Paolo Donzelli (University of Maryland, College Park, USA) Bernard Espinasse (Domaine Universitaire de Saint-Jérôme, France) Stéphane Faulkner (University of Namur, Belgium) Behrouz Homayoun Far (University of Calgary, Canada) Innes Ferguson (B2B Machines, USA) Alessandro Garcia (Lancaster University, UK) Chiara Ghidini (ITC-IRST, Italy) Aditya Ghose (University of Wollongong, Australia) Marie-Paule Gleizes (University Paul Sabatier, Toulouse, France) Cesar Gonzalez-Perez (University of Technology, Sydney, Australia) Giancarlo Guizzardi (University of Twente, The Netherlands) VIII Organization Igor Hawryszkiewycz (University of Technology, Sydney, Australia) Brian Henderson-Sellers (University of Technology, Sydney, Australia) Carlos Iglesias (Technical University of Madrid, Spain) Manuel Kolp (Université catholique de Louvain, Belgium) Daniel E. O’Leary (University of Southern California, USA) Carlos de Lucena (Pontifícia Universidade Católica Rio, Brazil) Graham Low (University of New South Wales, Australia) Philippe Massonet (CETIC, Belgium) Haris Mouratidis (University of East London, UK) Jörg Mueller (Siemens, Germany) Juan Pavón (Universidad Complutense Madrid, Spain) Omer F. Rana (Cardiff University, UK) Onn Shehory (IBM Haifa Labs, Israel) Nick Szirbik (Technische Universiteit Eindhoven, The Netherlands) Kuldar Taveter (University of Melbourne, Australia) Quynh-Nhu Numi Tran (University of New South Wales, Australia) Viviane Torres da Silva (Pontifícia Universidade Católica Rio, Brazil) Michael Winikoff (RMIT, Australia) Carson Woo (University of British Columbia, Canada) Bin Yu (North Carolina State University, USA) Amir Zeid (American University of Cairo, Egypt) Zili Zhang (Deakin University, Australia) Table of Contents Modelling Modeling MAS Properties with MAS-ML Dynamic Diagrams.......... 1 Viviane Torres da Silva, Ricardo Choren, and Carlos J.P. de Lucena Providing Contextual Norm Information in Open Multi-Agent Systems ........................................................ 19 Carolina Felic´ıssimo, Ricardo Choren, Jean-Pierre Briot, Carlos J.P. de Lucena, Caroline Chopinaud, and Amal El Fallah Seghrouchni A Reputation Model Based on Testimonies.......................... 37 Jos´e de S.P. Guedes, Viviane Torres da Silva, and Carlos J.P. de Lucena Methodologies Towards Agent-Based Scenario Development for Strategic Decision Support ........................................................ 53 Maarten Mensonides, Bob Huisman, and Virginia Dignum PreliminaryValidationofMOBMAS(Ontology-CentricAgentOriented Methodology): Design of a Peer-to-PeerInformation Sharing MAS ..... 73 Quynh-Nhu Numi Tran, Ghassan Beydoun, Graham Low, and Cesar Gonzalez-Perez A Methodology to Bring MAS to Information Systems................ 90 Emmanuelle Grislin-Le Strugeon, Abdouroihamane Anli, and Emmanuel Adam On the Evaluation of Agent-Oriented Software Engineering Methodologies: A Statistical Approach.............................. 105 Abdel-Halim Hafez Elamy and Behrouz Far Agent-Oriented Software Engineering From Early to Late Requirements: A Goal-Based Approach ........... 123 Alicia Mart´ınez, Oscar Pastor, John Mylopoulos, and Paolo Giorgini A Formal Description Language for Multi-Agent Architectures......... 143 St´ephane Faulkner, Manuel Kolp, Yves Wautelet, and Youssef Achbany X Table of Contents Comparing Three Formal Analysis Approaches of the Tropos Family ... 164 Dominik Schmitz, Gerhard Lakemeyer, and Matthias Jarke Integration of Aspects with i* Models .............................. 183 Fernanda Alencar, Jaelson Castro, Ana Moreira, Jo˜ao Arau´jo, Carla Silva, Ricardo Ramos, and John Mylopoulos Applications Enhancing Information Sharing Through Agents ..................... 202 Marco Mari, Agostino Poggi, Michele Tomaiuolo, and Paola Turci ToothAgent: A Multi-agent System for Virtual Communities Support... 212 Volha Bryl, Paolo Giorgini, and Stefano Fante Author Index.................................................. 231 Modeling MAS Properties with MAS-ML Dynamic Diagrams Viviane Torres da Silva1, Ricardo Choren2, and Carlos J.P. de Lucena3 1 Dept Sist Informa´ticos - UCM, C/ Prof J.G. Santesmases s/n, Madrid 28040, Spain [email protected] 2 Computer Engineering Dept - IME, P¸ca Gen Tibu´rcio 80, RJ22290-270, Brazil [email protected] 3 ComputerScienceDept-PUC-Rio,RuaM.deS.Vicente225, RJ22453-900, Brazil [email protected] Abstract. A crucial part of a multi-agent system (MAS) design is the specification of agency properties. Traditional approaches to agent sys- tems modeling use diagrams that focus on definingthe set of structural andinteractiveelementssuchasagents,organizations, actions andmes- sages. Such approaches do not exhibit a proper notation to show agent behavioralpropertiessuchasadaptation,mobilityandconcurrency.The MAS-MLapproachtodesigningagentsystemsproposedanextensionto UML 2.0 toprovideapropernotation tomodelstructuraland dynamic characteristics of a MAS. In this paper we enhance MAS-ML dynamic diagrams, the extended sequence and activity diagrams, to describe the basic guidelines to model behavioral properties and we show some ex- amples of howthese diagrams support thebehavioral properties specifi- cation, allowing a flexibleand easier modeling of agency characteristics. 1 Introduction Agents are goal-oriented entities that have beliefs, plans, actions and interac- tions. To specify a MAS, a designer must elicit and describe these entities. However, agents can have intrinsic properties such as adaptation, mobility and concurrency.Thesepropertiesareusuallyintroducedlaterintheapplicationde- velopment,e.g. in the detailed designor in the implementation phases.There is little support to describe these properties while modeling the application. Currently,therehasbeenanincreasingefforttouseUMLtospecifyMAS(e.g. [1,3,4,6,7,8]). Nevertheless, these efforts focus on the structural and interactive aspectsofthesystem.Toovercometheselimitations,weproposedthe MAS-ML [12] modeling language, which extended the UML metamodel to introduce new notation elements and diagrams to model agent-specific features. Intwopreviouspapers[13,14]weintroducedtheMAS-MLdynamicdiagrams, which are extensions to the UML 2.0 sequence and activity diagrams. This ex- tension proposes the basic definitions of agent-oriented behavioral concepts, in- cludingthecreationofpropernotationelements.Thesediagramswerediscussed andweshowedthemodelinglanguagepotentialbyexaminingsomecasestudies. M.Kolpetal.(Eds.):AOIS2006,LNAI4898,pp.1–18,2008. (cid:2)c Springer-VerlagBerlinHeidelberg2008