Modeling Norms in Multi-agent Systems with NormML

Norms in multi-agent systems are a mechanism used to restrict the behavior of agents by defining what agents are obligated, permitted or prohibited to do and by stating stimulus to their fulfillment by defining rewards and discouraging their violation by pointing out punishments. In this paper we propose a normative modeling language called NormML that makes possible the modeling of the main properties and characteristics of the norms. In addition, we also propose a mechanism to validate the norms at design time, i.e., to check if the norms respect the constraints defined by the language and also their possible conflicts.

[1]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

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

[3]  Jacques Ferber,et al.  Towards an Integral Approach of Organizations in Multi-Agent Systems , 2009, Handbook of Research on Multi-Agent Systems.

[4]  Pablo Noriega,et al.  Operationalisation of norms for usage in electronic institutions , 2006, AAMAS '06.

[5]  Andrea Omicini,et al.  RBAC-MAS and SODA: Experimenting RBAC in AOSE , 2009, ESAW.

[6]  Pablo Noriega,et al.  Implementing norms in electronic institutions , 2005, AAMAS '05.

[7]  David Basin,et al.  Model driven security: From UML models to access control infrastructures , 2006, TSEM.

[8]  Massimo Cossentino,et al.  From Requirements to Code with PASSI Methodology , 2005 .

[9]  Guido Governatori,et al.  Defeasible Logic: Agency, Intention and Obligation , 2004, DEON.

[10]  Michael Luck,et al.  Constraining autonomy through norms , 2002, AAMAS '02.

[11]  Timothy W. Finin,et al.  Modeling conversation policies using permissions and obligations , 2004, Autonomous Agents and Multi-Agent Systems.

[12]  Jacques Ferber,et al.  MASQ - Towards an Integral Approach to Agent-Based Interaction , 2009, AAMAS 2009.

[13]  David A. Basin,et al.  Automated analysis of security-design models , 2009, Inf. Softw. Technol..

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

[15]  Sven Ove Hansson,et al.  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.

[16]  Olivier Boissier,et al.  A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems , 2002, SBIA.

[17]  Lin Padgham,et al.  Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers , 2008, AOSE.

[18]  S. Miles,et al.  An Argumentation Inspired Heuristic for Resolving Normative Conflict , 2008 .

[19]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering II , 2002, Lecture Notes in Computer Science.

[20]  Ramaswamy Chandramouli,et al.  Role-Based Access Control (2nd ed.) , 2007 .

[21]  Scott A. DeLoach,et al.  O-MaSE: A Customizable Approach to Developing Multiagent Development Processes , 2007, AOSE.

[22]  Carlos José Pereira de Lucena,et al.  The ANote Modeling Language for Agent-Oriented Specification , 2004, SELMAS.

[23]  Stephen Cranefield,et al.  Modelling and Monitoring Social Expectations in Multi-agent Systems , 2006, COIN@AAMAS/ECAI.

[24]  Paulo S. C. Alencar,et al.  Software Engineering for Multi-Agent Systems II , 2004 .

[25]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Analysis Using Message/UML , 2001, AOSE.

[26]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[27]  Nicholas R. Jennings.  Agent-Oriented Software Engineering , 1999, MAAMAW.

[28]  Gerd Wagner,et al.  The Agent-Object-Relationship metamodel: towards a unified view of state and behavior , 2003, Inf. Syst..

[29]  Viviane Torres da Silva,et al.  Model-Driven Security in Practice: An Industrial Experience , 2008, ECMDA-FA.

[30]  Pablo Noriega,et al.  An Algorithm for Conflict Resolution in Regulated Compound Activities , 2006, ESAW.

[31]  Viviane Torres da Silva,et al.  From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents , 2008, Autonomous Agents and Multi-Agent Systems.

[32]  Alessio Lomuscio,et al.  A formalisation of violation, error recovery, and enforcement in the bit transmission problem , 2004, Journal of Applied Logic.

[33]  Jan Danc.  Formal Specification of AML , 2008 .

[34]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[35]  Haralambos Mouratidis,et al.  Modelling security and trust with Secure Tropos , 2006 .

[36]  Vijayalakshmi Atluri,et al.  Role-based Access Control , 1992 .

[37]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[38]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[39]  Leon G. Higley,et al.  Forensic Entomology: An Introduction , 2009 .

[40]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[41]  Leon Sterling,et al.  ROADMAP: extending the gaia methodology for complex open systems , 2002, AAMAS '02.

[42]  Wamberto Weber Vasconcelos,et al.  Resolving conflict and inconsistency in norm-regulated virtual organizations , 2007, AAMAS '07.

[43]  Timothy W. Finin,et al.  Modeling Communicative Behavior Using Permissions and Obligations , 2004, AC.

[44]  Carlos José Pereira de Lucena,et al.  MAS-ML: a multiagent system modelling language , 2008, Int. J. Agent Oriented Softw. Eng..