Evaluating how agent methodologies support the specification of the normative environment through the development process

Due to the increase in collaborative work and the decentralization of processes in many domains, there is an expanding demand for large-scale, flexible and adaptive software systems to support the interactions of people and institutions distributed in heterogeneous environments. Commonly, these software applications should follow specific regulations meaning the actors using them are bound by rights, duties and restrictions. Since this normative environment determines the final design of the software system, it should be considered as an important issue during the design of the system. Some agent-oriented software engineering methodologies deal with the development of normative systems (systems that have a normative environment) by integrating the analysis of the normative environment of a system in the development process. This paper analyses to what extent these methodologies support the analysis and formalisation of the normative environment and highlights some open issues of the topic.

[1]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[2]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[3]  Santosh K. Shrivastava,et al.  Model Checking Correctness Properties of Electronic Contracts , 2003, ICSOC.

[4]  Gordon J. Pace,et al.  Automatic Conflict Detection on Contracts , 2009, ICTAC.

[5]  Olivier Boissier,et al.  MULTI-AGENT-BASED SUPPORT FOR ELECTRONIC CONTRACTING IN VIRTUAL ENTERPRISES , 2006 .

[6]  Michael Luck,et al.  Towards a Formalisation of Electronic Contracting Environments , 2009, COIN@AAMAS&AAAI.

[7]  Rafael Heitor Bordini,et al.  Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.

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

[9]  Estefania Argente,et al.  An abstract architecture for virtual organizations: The THOMAS approach , 2011, Knowledge and Information Systems.

[10]  Vicent J. Botti,et al.  The role of MAS as a decision support tool in a water-rights market , 2011, AAMAS'11.

[11]  Annie S. Wu,et al.  The Current State of Normative Agent-Based Systems , 2011, J. Artif. Soc. Soc. Simul..

[12]  Chrysanthos Dellarocas,et al.  Social Order in Multiagent Systems , 2001, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[13]  Takao Terano,et al.  New Frontiers in Artificial Intelligence , 2008, Lecture Notes in Computer Science.

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

[15]  Guido Boella,et al.  Coordination, Organizations, Institutions and Norms in Multi-Agent Systems. Revised Selected papers form the COIN workshops held in AAMAS 2006 (in Hakodate, Japan, on May 9) and in ECAI 2006 (in Riva del Garda, Italy, on August 28) , 2007 .

[16]  Annie I. Antón,et al.  Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

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

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

[19]  John Mylopoulos,et al.  Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments , 2010, CAiSE.

[20]  Mark Klein,et al.  Contractual Agent Societies , 2001 .

[21]  A Min Tjoa,et al.  E-Commerce and Web Technologies , 2002, Lecture Notes in Computer Science.

[22]  Michael Luck,et al.  An Analysis of Agent-Oriented Engineering of e-Health Systems , 2012 .

[23]  Marina De Vos,et al.  Detecting Conflicts in Legal Systems , 2012, JSAI-isAI Workshops.

[24]  Nigel Gilbert,et al.  Agent Based Modelling , 2014 .

[25]  Nardine Osman,et al.  Run-time model checking of interaction and deontic models for multi-agent systems , 2006, AAMAS '06.

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

[27]  Michael Winikoff,et al.  Open Agent Systems??? , 2007, AOSE.

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

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

[30]  Marina De Vos,et al.  Specifying and Analysing Agent-based Social Institutions using Answer Set Programming , 2005, EUMAS.

[31]  Gordon J. Pace,et al.  Model Checking Contracts - A Case Study , 2007, ATVA.

[32]  Guido Boella,et al.  Introduction to normative multiagent systems , 2006, Comput. Math. Organ. Theory.

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

[34]  Guido Boella,et al.  Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems , 2009, Normative Multi-Agent Systems.

[35]  Alexander Egyed,et al.  Assessing the effect of requirements traceability for software maintenance , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[36]  Travis D. Breaux,et al.  Legally "reasonable" security requirements: A 10-year FTC retrospective , 2011, Comput. Secur..

[37]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[38]  Javier Vázquez-Salceda,et al.  OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations , 2004, PROMAS.

[39]  Jaelson Brelaz de Castro,et al.  Towards Requirement Traceability in TROPOS , 2004, WER.

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

[41]  Christopher D. Walton,et al.  Verifiable agent dialogues , 2007, J. Appl. Log..

[42]  Katia Sycara,et al.  Automated requirements-driven definition of norms for the regulation of behavior in multi-agent systems , 2008 .

[43]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[44]  Gerhard Goos,et al.  Automated Technology for Verification and Analysis , 2004, Lecture Notes in Computer Science.

[45]  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..

[46]  Fu-Shiung Hsieh.  Automated Negotiation Based on Contract Net and Petri Net , 2005, EC-Web.

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

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

[49]  Natalia Criado,et al.  Norm Enforceability in Electronic Institutions? , 2010, MALLOW.

[50]  Michael Luck,et al.  A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.

[51]  Pablo Noriega,et al.  Communicating open systems , 2012, Artif. Intell..

[52]  Catherine Garbay,et al.  Normative multi-agent approach to support collaborative work in distributed tangible environments , 2012, CSCW.

[53]  Eugénio C. Oliveira,et al.  A Contract Model for Electronic Institutions , 2007, COIN.

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

[55]  Leon van der Torre,et al.  Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems , 2011, RuleML Europe.

[56]  Pablo Noriega,et al.  mWater , a Case Study for Modeling Virtual Markets , 2013 .

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

[58]  Thomas W. Malone,et al.  Coordination Theory and Collaboration Technology , 2001 .

[59]  Vincent Hilaire,et al.  Handbook on Agent-Oriented Design Processes , 2014, Springer Berlin Heidelberg.

[60]  Estefania Argente,et al.  Organizational-Oriented Methodological Guidelines for Designing Virtual Organizations , 2009, IWANN.

[61]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[62]  O. Zohreh Akbari,et al.  A survey of agent-oriented software engineering paradigm: Towards its industrial acceptance , 2010 .

[63]  Marc Esteva,et al.  A Methodology for Developing Multiagent Systems as 3D Electronic Institutions , 2007, AOSE.

[64]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[65]  Eric S. K. Yu,et al.  Organizational and Social Concepts in Agent Oriented Software Engineering , 2004, AOSE.

[66]  Michael Luck,et al.  Analysing the Suitability of Multiagent Methodologies for e-Health Systems , 2012, AOSE.

[67]  Alessio Lomuscio,et al.  Towards verifying contract regulated service composition , 2008, 2008 IEEE International Conference on Web Services.