Developing Regulated Open Multi-agent Systems

The demand of computer systems that integrate heteroge- neous and autonomous entities and institutions is increasing. These en- tities and institutions usually coexist in a complex social and legal frame- work that can evolve to address the different and often conflicting ob- jectives of the many stakeholders involved. In this paper, we present ROMAS, an agent-oriented methodology that guides developers on the analysis and design of systems of this kind. Contracts and norms are used to formalize the normative context and the interactions. This methodol- ogy has been described using the template proposed by the FIPA Design Process Documentation and Fragmentation Working Group.

[1]  Munindar P. Singh,et al.  Enhancing Tropos with Commitments , 2009, Conceptual Modeling: Foundations and Applications.

[2]  Lin Padgham,et al.  Using three AOSE toolkits to develop a sample design , 2009, Int. J. Agent Oriented Softw. Eng..

[3]  Eric Yu,et al.  Conceptual Modeling: Foundations and Applications , 2009 .

[4]  Vicent J. Botti,et al.  Regulated Open Multi-Agent Systems Based on Contracts , 2010, ISD.

[5]  Haruhiko Kaiya,et al.  Supporting the Elicitation of Requirements Compliant with Regulations , 2008, CAiSE.

[6]  Hiroki Suguri,et al.  The IEEE FIPA approach to integrating software agents and web services , 2007, AAMAS '07.

[7]  Estefania Argente,et al.  GORMAS: An Organizational-Oriented Methodological Guideline for Open MAS , 2009, AOSE.

[8]  Marco Colombetti,et al.  Symbolic model checking of institutions , 2007, ICEC.

[9]  Frank Dignum.  Organizing web services to develop dynamic, flexible, distributed systems , 2009, iiWAS.

[10]  O. Boissier,et al.  Towards a Formalisation of Electronic Contracting Environments , 2008 .

[11]  Scott A. DeLoach.  Developing a Multiagent Conference Management System Using the O-MaSE Process Framework , 2007, AOSE.

[12]  Victor R. Lesser,et al.  A survey of multi-agent organizational paradigms , 2004, The Knowledge Engineering Review.

[13]  Travis D. Breaux.  Exercising Due Diligence in Legal Requirements Acquisition: A Tool-supported, Frame-Based Approach , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[14]  Scott A. DeLoach,et al.  agentTool process editor: supporting the design of tailored agent-based processes , 2009, SAC '09.

[15]  Jorge J. Gómez-Sanz,et al.  The INGENIAS Methodology and Tools , 2005 .

[16]  Hans Weigand,et al.  Formal Specification of Interaction in Agent Societies , 2002, FAABS.

[17]  Scott A. DeLoach,et al.  O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems , 2010, Int. J. Agent Oriented Softw. Eng..

[18]  John Mylopoulos,et al.  Designing Law-Compliant Software Requirements , 2009, ER.

[19]  Virginia Dignum,et al.  OperettA: a prototype tool for the design, analysis and development of multi-agent organizations , 2008, AAMAS.

[20]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[21]  Vicent J. Botti,et al.  A Model-Driven CASE tool for developing and verifying regulated open MAS , 2013, Sci. Comput. Program..