OperaV1, Istex, Corpus, bibRecord, 001B10

Modeling Norms in Multi-agent Systems with NormML

Identifieur interne : 001B10 ( Istex/Corpus ); précédent : 001B09; suivant : 001B11

Modeling Norms in Multi-agent Systems with NormML

Auteurs : Karen Da Silva Figueiredo ; Viviane Torres Da Silva ; Christiano De Oliveira Braga

Source :

Lecture Notes in Computer Science [ 0302-9743 ] ; 2011.

RBID : ISTEX:093A2C38BAA357A808263719B65FC484273F566B

Abstract

Abstract: 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.

Url:

https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/fulltext/pdf

DOI: 10.1007/978-3-642-21268-0_3

Links to Exploration step

ISTEX:093A2C38BAA357A808263719B65FC484273F566B

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Modeling Norms in Multi-agent Systems with NormML</title>
<author><name sortKey="Da Silva Figueiredo, Karen" sort="Da Silva Figueiredo, Karen" uniqKey="Da Silva Figueiredo K" first="Karen" last="Da Silva Figueiredo">Karen Da Silva Figueiredo</name>
<affiliation><mods:affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: kfigueiredo@ic.uff.br</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Torres Da Silva, Viviane" sort="Torres Da Silva, Viviane" uniqKey="Torres Da Silva V" first="Viviane" last="Torres Da Silva">Viviane Torres Da Silva</name>
<affiliation><mods:affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: viviane.silva@ic.uff.br</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="De Oliveira Braga, Christiano" sort="De Oliveira Braga, Christiano" uniqKey="De Oliveira Braga C" first="Christiano" last="De Oliveira Braga">Christiano De Oliveira Braga</name>
<affiliation><mods:affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: cbraga@ic.uff.br</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:093A2C38BAA357A808263719B65FC484273F566B</idno>
<date when="2011" year="2011">2011</date>
<idno type="doi">10.1007/978-3-642-21268-0_3</idno>
<idno type="url">https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001B10</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Modeling Norms in Multi-agent Systems with NormML</title>
<author><name sortKey="Da Silva Figueiredo, Karen" sort="Da Silva Figueiredo, Karen" uniqKey="Da Silva Figueiredo K" first="Karen" last="Da Silva Figueiredo">Karen Da Silva Figueiredo</name>
<affiliation><mods:affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: kfigueiredo@ic.uff.br</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Torres Da Silva, Viviane" sort="Torres Da Silva, Viviane" uniqKey="Torres Da Silva V" first="Viviane" last="Torres Da Silva">Viviane Torres Da Silva</name>
<affiliation><mods:affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: viviane.silva@ic.uff.br</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="De Oliveira Braga, Christiano" sort="De Oliveira Braga, Christiano" uniqKey="De Oliveira Braga C" first="Christiano" last="De Oliveira Braga">Christiano De Oliveira Braga</name>
<affiliation><mods:affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: cbraga@ic.uff.br</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2011</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">093A2C38BAA357A808263719B65FC484273F566B</idno>
<idno type="DOI">10.1007/978-3-642-21268-0_3</idno>
<idno type="ChapterID">Chap3</idno>
<idno type="ChapterID">3</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: 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.</div>
</front>
</TEI>
<istex><corpusName>springer</corpusName>
<author><json:item><name>Karen da Silva Figueiredo</name>
<affiliations><json:string>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</json:string>
<json:string>E-mail: kfigueiredo@ic.uff.br</json:string>
</affiliations>
</json:item>
<json:item><name>Viviane Torres da Silva</name>
<affiliations><json:string>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</json:string>
<json:string>E-mail: viviane.silva@ic.uff.br</json:string>
</affiliations>
</json:item>
<json:item><name>Christiano de Oliveira Braga</name>
<affiliations><json:string>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</json:string>
<json:string>E-mail: cbraga@ic.uff.br</json:string>
</affiliations>
</json:item>
</author>
<language><json:string>eng</json:string>
</language>
<abstract>Abstract: 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.</abstract>
<qualityIndicators><score>7.712</score>
<pdfVersion>1.6</pdfVersion>
<pdfPageSize>429.442 x 659.895 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<keywordCount>0</keywordCount>
<abstractCharCount>639</abstractCharCount>
<pdfWordCount>7271</pdfWordCount>
<pdfCharCount>42605</pdfCharCount>
<pdfPageCount>19</pdfPageCount>
<abstractWordCount>101</abstractWordCount>
</qualityIndicators>
<title>Modeling Norms in Multi-agent Systems with NormML</title>
<chapterId><json:string>Chap3</json:string>
<json:string>3</json:string>
</chapterId>
<genre></genre>
<serie><editor><json:item><name>David Hutchison</name>
<affiliations><json:string>Lancaster University, Lancaster, UK</json:string>
</affiliations>
</json:item>
<json:item><name>Takeo Kanade</name>
<affiliations><json:string>Carnegie Mellon University, Pittsburgh, PA, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Josef Kittler</name>
<affiliations><json:string>University of Surrey, Guildford, UK</json:string>
</affiliations>
</json:item>
<json:item><name>Jon M. Kleinberg</name>
<affiliations><json:string>Cornell University, Ithaca, NY, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Friedemann Mattern</name>
<affiliations><json:string>ETH Zurich, Zurich, Switzerland</json:string>
</affiliations>
</json:item>
<json:item><name>John C. Mitchell</name>
<affiliations><json:string>Stanford University, Stanford, CA, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Moni Naor</name>
<affiliations><json:string>Weizmann Institute of Science, Rehovot, Israel</json:string>
</affiliations>
</json:item>
<json:item><name>Oscar Nierstrasz</name>
<affiliations><json:string>University of Bern, Bern, Switzerland</json:string>
</affiliations>
</json:item>
<json:item><name>C. Pandu Rangan</name>
<affiliations><json:string>Indian Institute of Technology, Madras, India</json:string>
</affiliations>
</json:item>
<json:item><name>Bernhard Steffen</name>
<affiliations><json:string>University of Dortmund, Dortmund, Germany</json:string>
</affiliations>
</json:item>
<json:item><name>Madhu Sudan</name>
<affiliations><json:string>Massachusetts Institute of Technology, MA, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Demetri Terzopoulos</name>
<affiliations><json:string>University of California, Los Angeles, CA, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Doug Tygar</name>
<affiliations><json:string>University of California, Berkeley, CA, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Moshe Y. Vardi</name>
<affiliations><json:string>Rice University, Houston, TX, USA</json:string>
</affiliations>
</json:item>
<json:item><name>Gerhard Weikum</name>
<affiliations><json:string>Max-Planck Institute of Computer Science, Saarbrücken, Germany</json:string>
</affiliations>
</json:item>
</editor>
<issn><json:string>0302-9743</json:string>
</issn>
<genre></genre>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1611-3349</json:string>
</eissn>
<title>Lecture Notes in Computer Science</title>
<copyrightDate>2011</copyrightDate>
</serie>
<host><editor><json:item><name>Marina De Vos</name>
<affiliations><json:string>Department of Computer Science, University of Bath, BA2 7AY, Bath, UK</json:string>
<json:string>E-mail: mdv@cs.bath.ac.uk</json:string>
</affiliations>
</json:item>
<json:item><name>Nicoletta Fornara</name>
<affiliations><json:string>Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland</json:string>
<json:string>E-mail: nicoletta.fornara@usi.ch</json:string>
</affiliations>
</json:item>
<json:item><name>Jeremy V. Pitt</name>
<affiliations><json:string>Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK</json:string>
<json:string>E-mail: j.pitt@imperial.ac.uk</json:string>
</affiliations>
</json:item>
<json:item><name>George Vouros</name>
<affiliations><json:string>Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece</json:string>
<json:string>E-mail: georgev@aegean.gr</json:string>
</affiliations>
</json:item>
</editor>
<subject><json:item><value>Computer Science</value>
</json:item>
<json:item><value>Computer Science</value>
</json:item>
<json:item><value>Artificial Intelligence (incl. Robotics)</value>
</json:item>
<json:item><value>Software Engineering</value>
</json:item>
<json:item><value>Computer Communication Networks</value>
</json:item>
<json:item><value>Information Systems Applications (incl.Internet)</value>
</json:item>
<json:item><value>User Interfaces and Human Computer Interaction</value>
</json:item>
<json:item><value>Computers and Society</value>
</json:item>
</subject>
<isbn><json:string>978-3-642-21267-3</json:string>
</isbn>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1611-3349</json:string>
</eissn>
<title>Coordination, Organizations, Institutions, and Norms in Agent Systems VI</title>
<bookId><json:string>978-3-642-21268-0</json:string>
</bookId>
<volume>6541</volume>
<pages><last>57</last>
<first>39</first>
</pages>
<issn><json:string>0302-9743</json:string>
</issn>
<genre><json:string>Book Series</json:string>
</genre>
<eisbn><json:string>978-3-642-21268-0</json:string>
</eisbn>
<copyrightDate>2011</copyrightDate>
<doi><json:string>10.1007/978-3-642-21268-0</json:string>
</doi>
</host>
<publicationDate>2011</publicationDate>
<copyrightDate>2011</copyrightDate>
<doi><json:string>10.1007/978-3-642-21268-0_3</json:string>
</doi>
<id>093A2C38BAA357A808263719B65FC484273F566B</id>
<fulltext><json:item><original>true</original>
<mimetype>application/pdf</mimetype>
<extension>pdf</extension>
<uri>https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/fulltext/pdf</uri>
</json:item>
<json:item><original>false</original>
<mimetype>application/zip</mimetype>
<extension>zip</extension>
<uri>https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/fulltext/zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Modeling Norms in Multi-agent Systems with NormML</title>
<respStmt xml:id="ISTEX-API" resp="Références bibliographiques récupérées via GROBID" name="ISTEX-API (INIST-CNRS)"></respStmt>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<availability><p>SPRINGER</p>
</availability>
<date>2011</date>
</publicationStmt>
<notesStmt><note>The present work has been partially funded by the Spanish project “Agreement Technologies" (CONSOLIDER CSD2007-0022, INGENIO 2010), by the Spanish Ministry of Education and Science under project TIN2009-13839-C03-02 and by the Brazilian research councils CNPq under grant 135891/2009-4 and 303531/2009-6 and FAPERJ under grant E-26/110.959/2009.</note>
</notesStmt>
<sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Modeling Norms in Multi-agent Systems with NormML</title>
<author><persName><forename type="first">Karen</forename>
<surname>da Silva Figueiredo</surname>
</persName>
<email>kfigueiredo@ic.uff.br</email>
<affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</affiliation>
</author>
<author><persName><forename type="first">Viviane</forename>
<surname>Torres da Silva</surname>
</persName>
<email>viviane.silva@ic.uff.br</email>
<affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</affiliation>
</author>
<author><persName><forename type="first">Christiano</forename>
<surname>de Oliveira Braga</surname>
</persName>
<email>cbraga@ic.uff.br</email>
<affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</affiliation>
</author>
</analytic>
<monogr><title level="m">Coordination, Organizations, Institutions, and Norms in Agent Systems VI</title>
<title level="m" type="sub">COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers</title>
<idno type="pISBN">978-3-642-21267-3</idno>
<idno type="eISBN">978-3-642-21268-0</idno>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="DOI">10.1007/978-3-642-21268-0</idno>
<idno type="BookID">978-3-642-21268-0</idno>
<idno type="BookTitleID">270523</idno>
<idno type="BookSequenceNumber">6541</idno>
<idno type="BookVolumeNumber">6541</idno>
<idno type="BookChapterCount">20</idno>
<editor><persName><forename type="first">Marina</forename>
<surname>De Vos</surname>
</persName>
<email>mdv@cs.bath.ac.uk</email>
<affiliation>Department of Computer Science, University of Bath, BA2 7AY, Bath, UK</affiliation>
</editor>
<editor><persName><forename type="first">Nicoletta</forename>
<surname>Fornara</surname>
</persName>
<email>nicoletta.fornara@usi.ch</email>
<affiliation>Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland</affiliation>
</editor>
<editor><persName><forename type="first">Jeremy</forename>
<forename type="first">V.</forename>
<surname>Pitt</surname>
</persName>
<email>j.pitt@imperial.ac.uk</email>
<affiliation>Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK</affiliation>
</editor>
<editor><persName><forename type="first">George</forename>
<surname>Vouros</surname>
</persName>
<email>georgev@aegean.gr</email>
<affiliation>Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece</affiliation>
</editor>
<imprint><publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<date type="published" when="2011"></date>
<biblScope unit="volume">6541</biblScope>
<biblScope unit="page" from="39">39</biblScope>
<biblScope unit="page" to="57">57</biblScope>
</imprint>
</monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<editor><persName><forename type="first">David</forename>
<surname>Hutchison</surname>
</persName>
<affiliation>Lancaster University, Lancaster, UK</affiliation>
</editor>
<editor><persName><forename type="first">Takeo</forename>
<surname>Kanade</surname>
</persName>
<affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Josef</forename>
<surname>Kittler</surname>
</persName>
<affiliation>University of Surrey, Guildford, UK</affiliation>
</editor>
<editor><persName><forename type="first">Jon</forename>
<forename type="first">M.</forename>
<surname>Kleinberg</surname>
</persName>
<affiliation>Cornell University, Ithaca, NY, USA</affiliation>
</editor>
<editor><persName><forename type="first">Friedemann</forename>
<surname>Mattern</surname>
</persName>
<affiliation>ETH Zurich, Zurich, Switzerland</affiliation>
</editor>
<editor><persName><forename type="first">John</forename>
<forename type="first">C.</forename>
<surname>Mitchell</surname>
</persName>
<affiliation>Stanford University, Stanford, CA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Moni</forename>
<surname>Naor</surname>
</persName>
<affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation>
</editor>
<editor><persName><forename type="first">Oscar</forename>
<surname>Nierstrasz</surname>
</persName>
<affiliation>University of Bern, Bern, Switzerland</affiliation>
</editor>
<editor><persName><forename type="first">C.</forename>
<surname>Pandu Rangan</surname>
</persName>
<affiliation>Indian Institute of Technology, Madras, India</affiliation>
</editor>
<editor><persName><forename type="first">Bernhard</forename>
<surname>Steffen</surname>
</persName>
<affiliation>University of Dortmund, Dortmund, Germany</affiliation>
</editor>
<editor><persName><forename type="first">Madhu</forename>
<surname>Sudan</surname>
</persName>
<affiliation>Massachusetts Institute of Technology, MA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Demetri</forename>
<surname>Terzopoulos</surname>
</persName>
<affiliation>University of California, Los Angeles, CA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Doug</forename>
<surname>Tygar</surname>
</persName>
<affiliation>University of California, Berkeley, CA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Moshe</forename>
<forename type="first">Y.</forename>
<surname>Vardi</surname>
</persName>
<affiliation>Rice University, Houston, TX, USA</affiliation>
</editor>
<editor><persName><forename type="first">Gerhard</forename>
<surname>Weikum</surname>
</persName>
<affiliation>Max-Planck Institute of Computer Science, Saarbrücken, Germany</affiliation>
</editor>
<biblScope><date>2011</date>
</biblScope>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="seriesId">558</idno>
</series>
<series><title level="s">Lecture Notes in Artificial Intelligence</title>
<editor><persName><forename type="first">David</forename>
<surname>Hutchison</surname>
</persName>
<affiliation>Lancaster University, Lancaster, UK</affiliation>
</editor>
<editor><persName><forename type="first">Takeo</forename>
<surname>Kanade</surname>
</persName>
<affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Josef</forename>
<surname>Kittler</surname>
</persName>
<affiliation>University of Surrey, Guildford, UK</affiliation>
</editor>
<editor><persName><forename type="first">Jon</forename>
<forename type="first">M.</forename>
<surname>Kleinberg</surname>
</persName>
<affiliation>Cornell University, Ithaca, NY, USA</affiliation>
</editor>
<editor><persName><forename type="first">Friedemann</forename>
<surname>Mattern</surname>
</persName>
<affiliation>ETH Zurich, Zurich, Switzerland</affiliation>
</editor>
<editor><persName><forename type="first">John</forename>
<forename type="first">C.</forename>
<surname>Mitchell</surname>
</persName>
<affiliation>Stanford University, Stanford, CA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Moni</forename>
<surname>Naor</surname>
</persName>
<affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation>
</editor>
<editor><persName><forename type="first">Oscar</forename>
<surname>Nierstrasz</surname>
</persName>
<affiliation>University of Bern, Bern, Switzerland</affiliation>
</editor>
<editor><persName><forename type="first">C.</forename>
<surname>Pandu Rangan</surname>
</persName>
<affiliation>Indian Institute of Technology, Madras, India</affiliation>
</editor>
<editor><persName><forename type="first">Bernhard</forename>
<surname>Steffen</surname>
</persName>
<affiliation>University of Dortmund, Dortmund, Germany</affiliation>
</editor>
<editor><persName><forename type="first">Madhu</forename>
<surname>Sudan</surname>
</persName>
<affiliation>Massachusetts Institute of Technology, MA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Demetri</forename>
<surname>Terzopoulos</surname>
</persName>
<affiliation>University of California, Los Angeles, CA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Doug</forename>
<surname>Tygar</surname>
</persName>
<affiliation>University of California, Berkeley, CA, USA</affiliation>
</editor>
<editor><persName><forename type="first">Moshe</forename>
<forename type="first">Y.</forename>
<surname>Vardi</surname>
</persName>
<affiliation>Rice University, Houston, TX, USA</affiliation>
</editor>
<editor><persName><forename type="first">Gerhard</forename>
<surname>Weikum</surname>
</persName>
<affiliation>Max-Planck Institute of Computer Science, Saarbrücken, Germany</affiliation>
</editor>
<editor><persName><forename type="first">Randy</forename>
<surname>Goebel</surname>
</persName>
<affiliation>University of Alberta, Edmonton, Canada</affiliation>
</editor>
<editor><persName><forename type="first">Jörg</forename>
<surname>Siekmann</surname>
</persName>
<affiliation>University of Saarland, Saarbrücken, Germany</affiliation>
</editor>
<editor><persName><forename type="first">Wolfgang</forename>
<surname>Wahlster</surname>
</persName>
<affiliation>DFKI and University of Saarland, Saarbrücken, Germany</affiliation>
</editor>
<editor><persName><forename type="first">Marina</forename>
<surname>De Vos</surname>
</persName>
<email>mdv@cs.bath.ac.uk</email>
<affiliation>Department of Computer Science, University of Bath, BA2 7AY, Bath, UK</affiliation>
</editor>
<editor><persName><forename type="first">Nicoletta</forename>
<surname>Fornara</surname>
</persName>
<email>nicoletta.fornara@usi.ch</email>
<affiliation>Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland</affiliation>
</editor>
<editor><persName><forename type="first">Jeremy</forename>
<forename type="first">V.</forename>
<surname>Pitt</surname>
</persName>
<email>j.pitt@imperial.ac.uk</email>
<affiliation>Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK</affiliation>
</editor>
<editor><persName><forename type="first">George</forename>
<surname>Vouros</surname>
</persName>
<email>georgev@aegean.gr</email>
<affiliation>Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece</affiliation>
</editor>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<biblScope type="seriesId">1244</biblScope>
</series>
<idno type="istex">093A2C38BAA357A808263719B65FC484273F566B</idno>
<idno type="DOI">10.1007/978-3-642-21268-0_3</idno>
<idno type="ChapterID">Chap3</idno>
<idno type="ChapterID">3</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><creation><date>2011</date>
</creation>
<langUsage><language ident="en">en</language>
</langUsage>
<abstract xml:lang="en"><p>Abstract: 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.</p>
</abstract>
<textClass><keywords scheme="Book Subject Collection"><list><label>SUCO11645</label>
<item><term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass><keywords scheme="Book Subject Group"><list><label>I</label>
<label>I21017</label>
<label>I14029</label>
<label>I13022</label>
<label>I18040</label>
<label>I18067</label>
<label>I24040</label>
<item><term>Computer Science</term>
</item>
<item><term>Artificial Intelligence (incl. Robotics)</term>
</item>
<item><term>Software Engineering</term>
</item>
<item><term>Computer Communication Networks</term>
</item>
<item><term>Information Systems Applications (incl.Internet)</term>
</item>
<item><term>User Interfaces and Human Computer Interaction</term>
</item>
<item><term>Computers and Society</term>
</item>
</list>
</keywords>
</textClass>
</profileDesc>
<revisionDesc><change when="2011">Published</change>
<change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-3-2">References added</change>
</revisionDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item><original>false</original>
<mimetype>text/plain</mimetype>
<extension>txt</extension>
<uri>https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/fulltext/txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName>
<PublisherLocation>Berlin, Heidelberg</PublisherLocation>
</PublisherInfo>
<Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID>
<SeriesPrintISSN>0302-9743</SeriesPrintISSN>
<SeriesElectronicISSN>1611-3349</SeriesElectronicISSN>
<SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle>
</SeriesInfo>
<SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>David</GivenName>
<FamilyName>Hutchison</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Takeo</GivenName>
<FamilyName>Kanade</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Josef</GivenName>
<FamilyName>Kittler</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Jon</GivenName>
<GivenName>M.</GivenName>
<FamilyName>Kleinberg</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Friedemann</GivenName>
<FamilyName>Mattern</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>John</GivenName>
<GivenName>C.</GivenName>
<FamilyName>Mitchell</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff7"><EditorName DisplayOrder="Western"><GivenName>Moni</GivenName>
<FamilyName>Naor</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff8"><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName>
<FamilyName>Nierstrasz</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff9"><EditorName DisplayOrder="Western"><GivenName>C.</GivenName>
<FamilyName>Pandu Rangan</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff10"><EditorName DisplayOrder="Western"><GivenName>Bernhard</GivenName>
<FamilyName>Steffen</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff11"><EditorName DisplayOrder="Western"><GivenName>Madhu</GivenName>
<FamilyName>Sudan</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff12"><EditorName DisplayOrder="Western"><GivenName>Demetri</GivenName>
<FamilyName>Terzopoulos</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff13"><EditorName DisplayOrder="Western"><GivenName>Doug</GivenName>
<FamilyName>Tygar</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff14"><EditorName DisplayOrder="Western"><GivenName>Moshe</GivenName>
<GivenName>Y.</GivenName>
<FamilyName>Vardi</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff15"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName>
<FamilyName>Weikum</FamilyName>
</EditorName>
</Editor>
<Affiliation ID="Aff1"><OrgName>Lancaster University</OrgName>
<OrgAddress><City>Lancaster</City>
<Country>UK</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff2"><OrgName>Carnegie Mellon University</OrgName>
<OrgAddress><City>Pittsburgh</City>
<State>PA</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff3"><OrgName>University of Surrey</OrgName>
<OrgAddress><City>Guildford</City>
<Country>UK</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff4"><OrgName>Cornell University</OrgName>
<OrgAddress><City>Ithaca</City>
<State>NY</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff5"><OrgName>ETH Zurich</OrgName>
<OrgAddress><City>Zurich</City>
<Country>Switzerland</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff6"><OrgName>Stanford University</OrgName>
<OrgAddress><City>Stanford</City>
<State>CA</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff7"><OrgName>Weizmann Institute of Science</OrgName>
<OrgAddress><City>Rehovot</City>
<Country>Israel</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff8"><OrgName>University of Bern</OrgName>
<OrgAddress><City>Bern</City>
<Country>Switzerland</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff9"><OrgName>Indian Institute of Technology</OrgName>
<OrgAddress><City>Madras</City>
<Country>India</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff10"><OrgName>University of Dortmund</OrgName>
<OrgAddress><City>Dortmund</City>
<Country>Germany</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff11"><OrgName>Massachusetts Institute of Technology</OrgName>
<OrgAddress><State>MA</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff12"><OrgName>University of California</OrgName>
<OrgAddress><City>Los Angeles</City>
<State>CA</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff13"><OrgName>University of California</OrgName>
<OrgAddress><City>Berkeley</City>
<State>CA</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff14"><OrgName>Rice University</OrgName>
<OrgAddress><City>Houston</City>
<State>TX</State>
<Country>USA</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff15"><OrgName>Max-Planck Institute of Computer Science</OrgName>
<OrgAddress><City>Saarbrücken</City>
<Country>Germany</Country>
</OrgAddress>
</Affiliation>
</EditorGroup>
</SeriesHeader>
<SubSeries><SubSeriesInfo><SubSeriesID>1244</SubSeriesID>
<SubSeriesPrintISSN>0302-9743</SubSeriesPrintISSN>
<SubSeriesElectronicISSN>1611-3349</SubSeriesElectronicISSN>
<SubSeriesTitle Language="En">Lecture Notes in Artificial Intelligence</SubSeriesTitle>
</SubSeriesInfo>
<SubSeriesHeader><EditorGroup><Editor AffiliationIDS="Aff16"><EditorName DisplayOrder="Western"><GivenName>Randy</GivenName>
<FamilyName>Goebel</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff17"><EditorName DisplayOrder="Western"><GivenName>Jörg</GivenName>
<FamilyName>Siekmann</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff18"><EditorName DisplayOrder="Western"><GivenName>Wolfgang</GivenName>
<FamilyName>Wahlster</FamilyName>
</EditorName>
</Editor>
<Affiliation ID="Aff16"><OrgName>University of Alberta</OrgName>
<OrgAddress><City>Edmonton</City>
<Country>Canada</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff17"><OrgName>University of Saarland</OrgName>
<OrgAddress><City>Saarbrücken</City>
<Country>Germany</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff18"><OrgName>DFKI and University of Saarland</OrgName>
<OrgAddress><City>Saarbrücken</City>
<Country>Germany</Country>
</OrgAddress>
</Affiliation>
</EditorGroup>
</SubSeriesHeader>
</SubSeries>
<Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingDepth="2" NumberingStyle="ContentOnly" OutputMedium="All" TocLevels="0"><BookID>978-3-642-21268-0</BookID>
<BookTitle>Coordination, Organizations, Institutions, and Norms in Agent Systems VI</BookTitle>
<BookSubTitle>COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers</BookSubTitle>
<BookVolumeNumber>6541</BookVolumeNumber>
<BookSequenceNumber>6541</BookSequenceNumber>
<BookDOI>10.1007/978-3-642-21268-0</BookDOI>
<BookTitleID>270523</BookTitleID>
<BookPrintISBN>978-3-642-21267-3</BookPrintISBN>
<BookElectronicISBN>978-3-642-21268-0</BookElectronicISBN>
<BookChapterCount>20</BookChapterCount>
<BookCopyright><CopyrightHolderName>Springer Berlin Heidelberg</CopyrightHolderName>
<CopyrightYear>2011</CopyrightYear>
</BookCopyright>
<BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I21017" Priority="1" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject>
<BookSubject Code="I14029" Priority="2" Type="Secondary">Software Engineering</BookSubject>
<BookSubject Code="I13022" Priority="3" Type="Secondary">Computer Communication Networks</BookSubject>
<BookSubject Code="I18040" Priority="4" Type="Secondary">Information Systems Applications (incl.Internet)</BookSubject>
<BookSubject Code="I18067" Priority="5" Type="Secondary">User Interfaces and Human Computer Interaction</BookSubject>
<BookSubject Code="I24040" Priority="6" Type="Secondary">Computers and Society</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
<BookContext><SeriesID>558</SeriesID>
<SubSeriesID>1244</SubSeriesID>
</BookContext>
</BookInfo>
<BookHeader><EditorGroup><Editor AffiliationIDS="Aff19"><EditorName DisplayOrder="Western"><GivenName>Marina</GivenName>
<Particle>De</Particle>
<FamilyName>Vos</FamilyName>
</EditorName>
<Contact><Email>mdv@cs.bath.ac.uk</Email>
</Contact>
</Editor>
<Editor AffiliationIDS="Aff20"><EditorName DisplayOrder="Western"><GivenName>Nicoletta</GivenName>
<FamilyName>Fornara</FamilyName>
</EditorName>
<Contact><Email>nicoletta.fornara@usi.ch</Email>
</Contact>
</Editor>
<Editor AffiliationIDS="Aff21"><EditorName DisplayOrder="Western"><GivenName>Jeremy</GivenName>
<GivenName>V.</GivenName>
<FamilyName>Pitt</FamilyName>
</EditorName>
<Contact><Email>j.pitt@imperial.ac.uk</Email>
</Contact>
</Editor>
<Editor AffiliationIDS="Aff22"><EditorName DisplayOrder="Western"><GivenName>George</GivenName>
<FamilyName>Vouros</FamilyName>
</EditorName>
<Contact><Email>georgev@aegean.gr</Email>
</Contact>
</Editor>
<Affiliation ID="Aff19"><OrgDivision>Department of Computer Science</OrgDivision>
<OrgName>University of Bath</OrgName>
<OrgAddress><Postcode>BA2 7AY</Postcode>
<City>Bath</City>
<Country>UK</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff20"><OrgName>Università della Svizzera italiana</OrgName>
<OrgAddress><Street>via G. Buffi 13</Street>
<Postcode>6900</Postcode>
<City>Lugano</City>
<Country>Switzerland</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff21"><OrgDivision>Department of Electrical & Electronic Engineering</OrgDivision>
<OrgName>Imperial College London</OrgName>
<OrgAddress><Postcode>SW7 2BT</Postcode>
<Country>UK</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff22"><OrgDivision>Department of Information and Communication Systems Engineering</OrgDivision>
<OrgName>University of the Aegean</OrgName>
<OrgAddress><Postcode>83200</Postcode>
<City>Karlovassi</City>
<State>Samos</State>
<Country>Greece</Country>
</OrgAddress>
</Affiliation>
</EditorGroup>
</BookHeader>
<Part ID="Part1"><PartInfo TocLevels="0"><PartID>1</PartID>
<PartSequenceNumber>1</PartSequenceNumber>
<PartTitle>Topic 1</PartTitle>
<PartChapterCount>6</PartChapterCount>
<PartContext><SeriesID>558</SeriesID>
<BookTitle>Coordination, Organizations, Institutions, and Norms in Agent Systems VI</BookTitle>
</PartContext>
</PartInfo>
<SubPart ID="SubPart1"><SubPartInfo><SubPartID>1</SubPartID>
<SubPartSequenceNumber>1</SubPartSequenceNumber>
<SubPartTitle>Normative System Design and Modelling</SubPartTitle>
<SubPartChapterCount>6</SubPartChapterCount>
</SubPartInfo>
<Chapter ID="Chap3" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingDepth="2" NumberingStyle="ContentOnly" TocLevels="0"><ChapterID>3</ChapterID>
<ChapterDOI>10.1007/978-3-642-21268-0_3</ChapterDOI>
<ChapterSequenceNumber>3</ChapterSequenceNumber>
<ChapterTitle Language="En">Modeling Norms in Multi-agent Systems with NormML</ChapterTitle>
<ChapterFirstPage>39</ChapterFirstPage>
<ChapterLastPage>57</ChapterLastPage>
<ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName>
<CopyrightYear>2011</CopyrightYear>
</ChapterCopyright>
<ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext><SeriesID>558</SeriesID>
<PartID>1</PartID>
<BookID>978-3-642-21268-0</BookID>
<BookTitle>Coordination, Organizations, Institutions, and Norms in Agent Systems VI</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff23"><AuthorName DisplayOrder="Western"><GivenName>Karen</GivenName>
<Particle>da</Particle>
<FamilyName>Silva Figueiredo</FamilyName>
</AuthorName>
<Contact><Email>kfigueiredo@ic.uff.br</Email>
</Contact>
</Author>
<Author AffiliationIDS="Aff23"><AuthorName DisplayOrder="Western"><GivenName>Viviane</GivenName>
<FamilyName>Torres da Silva</FamilyName>
</AuthorName>
<Contact><Email>viviane.silva@ic.uff.br</Email>
</Contact>
</Author>
<Author AffiliationIDS="Aff23"><AuthorName DisplayOrder="Western"><GivenName>Christiano</GivenName>
<Particle>de</Particle>
<FamilyName>Oliveira Braga</FamilyName>
</AuthorName>
<Contact><Email>cbraga@ic.uff.br</Email>
</Contact>
</Author>
<Affiliation ID="Aff23"><OrgDivision>Computer Science Department</OrgDivision>
<OrgName>Universidade Federal Fluminense (UFF)</OrgName>
<OrgAddress><Street>Rua Passos da Pátria 156, Bloco E</Street>
<Postcode>24210-240</Postcode>
<City>Niterói</City>
<Country>Brazil</Country>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading>
<Para>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.</Para>
</Abstract>
<KeywordGroup Language="En"><Heading>Keywords</Heading>
<Keyword>Norm</Keyword>
<Keyword>Modeling</Keyword>
<Keyword>Validation</Keyword>
<Keyword>Conflict</Keyword>
<Keyword>Metamodel</Keyword>
</KeywordGroup>
<ArticleNote Type="Misc"><SimplePara>The present work has been partially funded by the Spanish project “Agreement Technologies" (CONSOLIDER CSD2007-0022, INGENIO 2010), by the Spanish Ministry of Education and Science under project TIN2009-13839-C03-02 and by the Brazilian research councils CNPq under grant 135891/2009-4 and 303531/2009-6 and FAPERJ under grant E-26/110.959/2009.</SimplePara>
</ArticleNote>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</SubPart>
</Part>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="en"><title>Modeling Norms in Multi-agent Systems with NormML</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA" lang="en"><title>Modeling Norms in Multi-agent Systems with NormML</title>
</titleInfo>
<name type="personal"><namePart type="given">Karen</namePart>
<namePart type="family">da Silva Figueiredo</namePart>
<affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</affiliation>
<affiliation>E-mail: kfigueiredo@ic.uff.br</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Viviane</namePart>
<namePart type="family">Torres da Silva</namePart>
<affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</affiliation>
<affiliation>E-mail: viviane.silva@ic.uff.br</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Christiano</namePart>
<namePart type="family">de Oliveira Braga</namePart>
<affiliation>Computer Science Department, Universidade Federal Fluminense (UFF), Rua Passos da Pátria 156, Bloco E, 24210-240, Niterói, Brazil</affiliation>
<affiliation>E-mail: cbraga@ic.uff.br</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<originInfo><publisher>Springer Berlin Heidelberg</publisher>
<place><placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">2011</dateIssued>
<copyrightDate encoding="w3cdtf">2011</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<physicalDescription><internetMediaType>text/html</internetMediaType>
</physicalDescription>
<abstract lang="en">Abstract: 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.</abstract>
<note>The present work has been partially funded by the Spanish project “Agreement Technologies" (CONSOLIDER CSD2007-0022, INGENIO 2010), by the Spanish Ministry of Education and Science under project TIN2009-13839-C03-02 and by the Brazilian research councils CNPq under grant 135891/2009-4 and 303531/2009-6 and FAPERJ under grant E-26/110.959/2009.</note>
<relatedItem type="host"><titleInfo><title>Coordination, Organizations, Institutions, and Norms in Agent Systems VI</title>
<subTitle>COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers</subTitle>
</titleInfo>
<name type="personal"><namePart type="given">Marina</namePart>
<namePart type="family">De Vos</namePart>
<affiliation>Department of Computer Science, University of Bath, BA2 7AY, Bath, UK</affiliation>
<affiliation>E-mail: mdv@cs.bath.ac.uk</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Nicoletta</namePart>
<namePart type="family">Fornara</namePart>
<affiliation>Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland</affiliation>
<affiliation>E-mail: nicoletta.fornara@usi.ch</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jeremy</namePart>
<namePart type="given">V.</namePart>
<namePart type="family">Pitt</namePart>
<affiliation>Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK</affiliation>
<affiliation>E-mail: j.pitt@imperial.ac.uk</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">George</namePart>
<namePart type="family">Vouros</namePart>
<affiliation>Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece</affiliation>
<affiliation>E-mail: georgev@aegean.gr</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="Book Series" displayLabel="Proceedings"></genre>
<originInfo><copyrightDate encoding="w3cdtf">2011</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject><genre>Book Subject Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic>
</subject>
<subject><genre>Book Subject Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I18040">Information Systems Applications (incl.Internet)</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I18067">User Interfaces and Human Computer Interaction</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I24040">Computers and Society</topic>
</subject>
<identifier type="DOI">10.1007/978-3-642-21268-0</identifier>
<identifier type="ISBN">978-3-642-21267-3</identifier>
<identifier type="eISBN">978-3-642-21268-0</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="BookTitleID">270523</identifier>
<identifier type="BookID">978-3-642-21268-0</identifier>
<identifier type="BookChapterCount">20</identifier>
<identifier type="BookVolumeNumber">6541</identifier>
<identifier type="BookSequenceNumber">6541</identifier>
<identifier type="PartChapterCount">6</identifier>
<part><date>2011</date>
<detail type="part"><title>Topic 1</title>
</detail>
<detail type="volume"><number>6541</number>
<caption>vol.</caption>
</detail>
<extent unit="pages"><start>39</start>
<end>57</end>
</extent>
</part>
<recordInfo><recordOrigin>Springer Berlin Heidelberg, 2011</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title>
</titleInfo>
<name type="personal"><namePart type="given">David</namePart>
<namePart type="family">Hutchison</namePart>
<affiliation>Lancaster University, Lancaster, UK</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Takeo</namePart>
<namePart type="family">Kanade</namePart>
<affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Josef</namePart>
<namePart type="family">Kittler</namePart>
<affiliation>University of Surrey, Guildford, UK</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jon</namePart>
<namePart type="given">M.</namePart>
<namePart type="family">Kleinberg</namePart>
<affiliation>Cornell University, Ithaca, NY, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Friedemann</namePart>
<namePart type="family">Mattern</namePart>
<affiliation>ETH Zurich, Zurich, Switzerland</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">John</namePart>
<namePart type="given">C.</namePart>
<namePart type="family">Mitchell</namePart>
<affiliation>Stanford University, Stanford, CA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Moni</namePart>
<namePart type="family">Naor</namePart>
<affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Oscar</namePart>
<namePart type="family">Nierstrasz</namePart>
<affiliation>University of Bern, Bern, Switzerland</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">C.</namePart>
<namePart type="family">Pandu Rangan</namePart>
<affiliation>Indian Institute of Technology, Madras, India</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Bernhard</namePart>
<namePart type="family">Steffen</namePart>
<affiliation>University of Dortmund, Dortmund, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Madhu</namePart>
<namePart type="family">Sudan</namePart>
<affiliation>Massachusetts Institute of Technology, MA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Demetri</namePart>
<namePart type="family">Terzopoulos</namePart>
<affiliation>University of California, Los Angeles, CA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Doug</namePart>
<namePart type="family">Tygar</namePart>
<affiliation>University of California, Berkeley, CA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Moshe</namePart>
<namePart type="given">Y.</namePart>
<namePart type="family">Vardi</namePart>
<affiliation>Rice University, Houston, TX, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Gerhard</namePart>
<namePart type="family">Weikum</namePart>
<affiliation>Max-Planck Institute of Computer Science, Saarbrücken, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo><copyrightDate encoding="w3cdtf">2011</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<relatedItem type="constituent"><titleInfo><title>Lecture Notes in Artificial Intelligence</title>
</titleInfo>
<name type="personal"><namePart type="given">David</namePart>
<namePart type="family">Hutchison</namePart>
<affiliation>Lancaster University, Lancaster, UK</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Takeo</namePart>
<namePart type="family">Kanade</namePart>
<affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Josef</namePart>
<namePart type="family">Kittler</namePart>
<affiliation>University of Surrey, Guildford, UK</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jon</namePart>
<namePart type="given">M.</namePart>
<namePart type="family">Kleinberg</namePart>
<affiliation>Cornell University, Ithaca, NY, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Friedemann</namePart>
<namePart type="family">Mattern</namePart>
<affiliation>ETH Zurich, Zurich, Switzerland</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">John</namePart>
<namePart type="given">C.</namePart>
<namePart type="family">Mitchell</namePart>
<affiliation>Stanford University, Stanford, CA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Moni</namePart>
<namePart type="family">Naor</namePart>
<affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Oscar</namePart>
<namePart type="family">Nierstrasz</namePart>
<affiliation>University of Bern, Bern, Switzerland</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">C.</namePart>
<namePart type="family">Pandu Rangan</namePart>
<affiliation>Indian Institute of Technology, Madras, India</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Bernhard</namePart>
<namePart type="family">Steffen</namePart>
<affiliation>University of Dortmund, Dortmund, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Madhu</namePart>
<namePart type="family">Sudan</namePart>
<affiliation>Massachusetts Institute of Technology, MA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Demetri</namePart>
<namePart type="family">Terzopoulos</namePart>
<affiliation>University of California, Los Angeles, CA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Doug</namePart>
<namePart type="family">Tygar</namePart>
<affiliation>University of California, Berkeley, CA, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Moshe</namePart>
<namePart type="given">Y.</namePart>
<namePart type="family">Vardi</namePart>
<affiliation>Rice University, Houston, TX, USA</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Gerhard</namePart>
<namePart type="family">Weikum</namePart>
<affiliation>Max-Planck Institute of Computer Science, Saarbrücken, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Randy</namePart>
<namePart type="family">Goebel</namePart>
<affiliation>University of Alberta, Edmonton, Canada</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jörg</namePart>
<namePart type="family">Siekmann</namePart>
<affiliation>University of Saarland, Saarbrücken, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Wolfgang</namePart>
<namePart type="family">Wahlster</namePart>
<affiliation>DFKI and University of Saarland, Saarbrücken, Germany</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Marina</namePart>
<namePart type="family">De Vos</namePart>
<affiliation>Department of Computer Science, University of Bath, BA2 7AY, Bath, UK</affiliation>
<affiliation>E-mail: mdv@cs.bath.ac.uk</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Nicoletta</namePart>
<namePart type="family">Fornara</namePart>
<affiliation>Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland</affiliation>
<affiliation>E-mail: nicoletta.fornara@usi.ch</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jeremy</namePart>
<namePart type="given">V.</namePart>
<namePart type="family">Pitt</namePart>
<affiliation>Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK</affiliation>
<affiliation>E-mail: j.pitt@imperial.ac.uk</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">George</namePart>
<namePart type="family">Vouros</namePart>
<affiliation>Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece</affiliation>
<affiliation>E-mail: georgev@aegean.gr</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="Sub-Series"></genre>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="SubSeriesID">1244</identifier>
</relatedItem>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="SeriesID">558</identifier>
<recordInfo><recordOrigin>Springer Berlin Heidelberg, 2011</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">093A2C38BAA357A808263719B65FC484273F566B</identifier>
<identifier type="DOI">10.1007/978-3-642-21268-0_3</identifier>
<identifier type="ChapterID">Chap3</identifier>
<identifier type="ChapterID">3</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer Berlin Heidelberg</accessCondition>
<recordInfo><recordContentSource>SPRINGER</recordContentSource>
<recordOrigin>Springer-Verlag Berlin Heidelberg, 2011</recordOrigin>
</recordInfo>
</mods>
</metadata>
<enrichments><istex:refBibTEI uri="https://api.istex.fr/document/093A2C38BAA357A808263719B65FC484273F566B/enrichments/refBib"><teiHeader></teiHeader>
<text><front></front>
<body></body>
<back><listBibl><biblStruct xml:id="b0"><monogr><title level="m" type="main">Social power and norms: impact on agent behavior</title>
<author><persName><forename type="first">F</forename>
<surname>López Y López</surname>
</persName>
</author>
<imprint><date type="published" when="2003"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b1"><analytic><title level="a" type="main">A Modeling Language to Model Norms</title>
<author><persName><forename type="first">V</forename>
<surname>Silva</surname>
</persName>
</author>
<author><persName><forename type="first">C</forename>
<surname>Braga</surname>
</persName>
</author>
<author><persName><forename type="first">K</forename>
<surname>Figueiredo</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">COIN 2010</title>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2011"></date>
<biblScope unit="page" from="39" to="57"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b2"><analytic><title level="a" type="main">Operationalisation of norms for usage in electronic institutions</title>
<author><persName><forename type="first">H</forename>
<surname>Aldewereld</surname>
</persName>
</author>
<author><persName><forename type="first">F</forename>
<surname>Dignum</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Garcia-Camino</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Noriega</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Rodriguez-Aguilar</surname>
</persName>
</author>
<author><persName><forename type="first">C</forename>
<surname>Sierra</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. 5th AAMAS</title>
<meeting>. 5th AAMAS</meeting>
<imprint><date type="published" when="2006"></date>
<biblScope unit="page" from="223" to="225"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b3"><analytic><title level="a" type="main">Modelling and monitoring social expectations in multi-agent systems</title>
<author><persName><forename type="first">S</forename>
<surname>Cranefield</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Noriega</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Vázquez-Salceda</surname>
</persName>
</author>
<author><persName><forename type="first">G</forename>
<surname>Boella</surname>
</persName>
</author>
<author><persName><forename type="first">O</forename>
<surname>Boissier</surname>
</persName>
</author>
<author><persName><forename type="first">V</forename>
<surname>Dignum</surname>
</persName>
</author>
<author><persName><forename type="first">N</forename>
<surname>Fornara</surname>
</persName>
</author>
<author><persName><forename type="first">E</forename>
<surname>Matson</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">COIN 2006</title>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2007"></date>
<biblScope unit="page" from="308" to="321"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b4"><analytic><title level="a" type="main">Implementing norms in electronic institutions</title>
<author><persName><forename type="first">A</forename>
<surname>García-Camino</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Noriega</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Rodríguez-Aguilar</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. 4th AAMAS</title>
<meeting>. 4th AAMAS<address><addrLine>New York</addrLine>
</address>
</meeting>
<imprint><publisher>ACM Press</publisher>
<date type="published" when="2005"></date>
<biblScope unit="page" from="667" to="673"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b5"><analytic><title level="a" type="main">O-maSE: A customizable approach to developing multiagent development processes</title>
<author><persName><forename type="first">J</forename>
<surname>Garcia-Ojeda</surname>
</persName>
</author>
<author><persName><forename type="first">S</forename>
<surname>Deloach</surname>
</persName>
</author>
<author><persName><forename type="first">O</forename>
<surname>Robby</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Valenzuela</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Luck, M., Padgham, L. (eds.) AOSE VIII</title>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2008"></date>
<biblScope unit="page" from="1" to="15"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b6"><analytic><title level="a" type="main">Defeasible logic: Agency, intention and obligation</title>
<author><persName><forename type="first">G</forename>
<surname>Governatori</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Rotolo</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">DEON 2004</title>
<editor>Lomuscio, A., Nute, D.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2004"></date>
<biblScope unit="page" from="114" to="128"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b7"><analytic><title level="a" type="main">A formalization of violation, error recovery, and enforcement in the bit transmission problem</title>
<author><persName><forename type="first">A</forename>
<surname>Lomuscio</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Sergot</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">Journal of Applied Logic</title>
<imprint><biblScope unit="volume">2</biblScope>
<biblScope unit="issue">1</biblScope>
<biblScope unit="page" from="93" to="116"></biblScope>
<date type="published" when="2004"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b8"><analytic><title level="a" type="main">Constraining autonomy through norms</title>
<author><persName><forename type="first">F</forename>
<surname>López Y López</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Luck</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Inverno</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proceedings of the 1st AAMAS</title>
<meeting>the 1st AAMAS<address><addrLine>New York</addrLine>
</address>
</meeting>
<imprint><publisher>ACM Press</publisher>
<date type="published" when="2002"></date>
<biblScope unit="page" from="674" to="681"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b9"><analytic><title level="a" type="main">From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behaviour of agents</title>
<author><persName><forename type="first">V</forename>
<surname>Silva</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">IJAAMAS, Special Issue on Norms in Multi-Agent Systems</title>
<imprint><date type="published" when="2008"></date>
<biblScope unit="page" from="113" to="155"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b10"><analytic><title level="a" type="main">Resolving conflict and inconsistency in norm-regulated virtual organizations</title>
<author><persName><forename type="first">W</forename>
<surname>Vasconcelos</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Kollingbaum</surname>
</persName>
</author>
<author><persName><forename type="first">T</forename>
<surname>Norman</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. AAMAS</title>
<meeting>. AAMAS</meeting>
<imprint><date type="published" when="2007"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b11"><monogr><title level="m" type="main">Deontic logic in computer science: normative system specification</title>
<author><persName><forename type="first">J</forename>
<forename type="middle">J</forename>
<surname>Meyer</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<forename type="middle">J</forename>
<surname>Wieringa</surname>
</persName>
</author>
<imprint><date type="published" when="1991"></date>
<publisher>John Wiley and Sons</publisher>
<pubPlace>Chichester</pubPlace>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b12"><analytic><title level="a" type="main">Extending UML for agents</title>
<author><persName><forename type="first">J</forename>
<surname>Odell</surname>
</persName>
</author>
<author><persName><forename type="first">H</forename>
<surname>Parunak</surname>
</persName>
</author>
<author><persName><forename type="first">B</forename>
<surname>Bauer</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. Agent-Oriented Information Systems Workshop at National Conf. of AI</title>
<meeting>. Agent-Oriented Information Systems Workshop at National Conf. of AI</meeting>
<imprint><date type="published" when="2000"></date>
<biblScope unit="page" from="3" to="17"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b13"><analytic><title level="a" type="main">The ANote Modeling Language for Agent-Oriented Specification</title>
<author><persName><forename type="first">R</forename>
<surname>Choren</surname>
</persName>
</author>
<author><persName><forename type="first">C</forename>
<surname>Lucena</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">SELMAS 2004</title>
<meeting><address><addrLine>Choren, R., Garcia, A., Lucena, C., Romanovsky, A ; Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2005"></date>
<biblScope unit="page" from="198" to="212"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b14"><analytic><title level="a" type="main">Agent Oriented Analysis Using Message</title>
<author><persName><forename type="first">G</forename>
<surname>Caire</surname>
</persName>
</author>
<author><persName><forename type="first">W</forename>
<surname>Coulier</surname>
</persName>
</author>
<author><persName><forename type="first">F</forename>
<surname>Garijo</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Gomez</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Pavon</surname>
</persName>
</author>
<author><persName><forename type="first">F</forename>
<surname>Leal</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Chainho</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Kearney</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Stark</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<surname>Evans</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Massonet</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">AOSE 2001</title>
<editor>Wooldridge, M.J., Weiß, G., Ciancarini, P.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2002"></date>
<biblScope unit="page" from="119" to="135"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b15"><monogr><title level="m" type="main">Formal specification of AML Modeling Norms in Multi-agent Systems with NormML 57</title>
<author><persName><forename type="first">J</forename>
<surname>Danc</surname>
</persName>
</author>
<imprint><date type="published" when="2008"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b16"><analytic><title level="a" type="main">The Agent-Object-Relationship meta-model: towards a unified view of state and behavior</title>
<author><persName><forename type="first">G</forename>
<surname>Wagner</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">Information Systems</title>
<imprint><biblScope unit="page" from="475" to="504"></biblScope>
<date type="published" when="2003"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b17"><analytic><title level="a" type="main">Developing multiagent systems: the Gaia methodology</title>
<author><persName><forename type="first">F</forename>
<surname>Zambonelli</surname>
</persName>
</author>
<author><persName><forename type="first">N</forename>
<forename type="middle">R</forename>
<surname>Jennings</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<forename type="middle">J</forename>
<surname>Wooldridge</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">ACM TSEM</title>
<imprint><biblScope unit="page" from="417" to="470"></biblScope>
<date type="published" when="2003"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b18"><analytic><title level="a" type="main">From requirements to code with the PASSI methodology</title>
<author><persName><forename type="first">M</forename>
<surname>Cossentino</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Agentoriented Methods</title>
<meeting><address><addrLine>USA</addrLine>
</address>
</meeting>
<imprint><date type="published" when="2005"></date>
<biblScope unit="page" from="79" to="106"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b19"><monogr><title level="m" type="main">Developing intelligent agent systems: a practical guide, 225 pages</title>
<author><persName><forename type="first">L</forename>
<surname>Padgham</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Winikoff</surname>
</persName>
</author>
<imprint><date type="published" when="2004"></date>
<publisher>John Wiley and Sons</publisher>
<pubPlace>Chichester</pubPlace>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b20"><analytic><title level="a" type="main">ROADMAP: extending the Gaia methodology for complex open systems</title>
<author><persName><forename type="first">T</forename>
<surname>Juan</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Pierce</surname>
</persName>
</author>
<author><persName><forename type="first">L</forename>
<surname>Sterling</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. 1st AAMAS</title>
<meeting>. 1st AAMAS</meeting>
<imprint><date type="published" when="2002"></date>
<biblScope unit="page" from="3" to="10"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b21"><analytic><title level="a" type="main">Modelling security and trust with Secure Tropos</title>
<author><persName><forename type="first">P</forename>
<surname>Giorgini</surname>
</persName>
</author>
<author><persName><forename type="first">H</forename>
<surname>Mouratidis</surname>
</persName>
</author>
<author><persName><forename type="first">N</forename>
<surname>Zannone</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Integrating Security Soft. Eng.: Advances and Future Vision</title>
<imprint><date type="published" when="2006"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b22"><analytic><title level="a" type="main">SODA: Societies and infrastructures in the analysis and design of agentbased systems</title>
<author><persName><forename type="first">S.-W</forename>
<surname>Zhang</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">AOSE 2000</title>
<editor>Ciancarini, P., Wooldridge, M.J.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2001"></date>
<biblScope unit="page" from="185" to="193"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b23"><analytic><title level="a" type="main">Towards an integral approach of organizations: the MASQ approach in multi-agent systems</title>
<author><persName><forename type="first">J</forename>
<surname>Ferber</surname>
</persName>
</author>
<author><persName><forename type="first">T</forename>
<surname>Stratulat</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Tranier</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Multi-agent Systems: Semantics and Dynamics of Organizational Models. IGI</title>
<imprint><date type="published" when="2009"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b24"><analytic><title level="a" type="main">A model for the structural, functional, and deontic specification of organizations in multiagent systems</title>
<author><persName><forename type="first">J</forename>
<forename type="middle">F</forename>
<surname>Hübner</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<forename type="middle">S</forename>
<surname>Sichman</surname>
</persName>
</author>
<author><persName><forename type="first">B</forename>
<surname>Olivier</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">SBIA 2002</title>
<editor>Bittencourt, G., Ramalho, G.L.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2002"></date>
<biblScope unit="page" from="118" to="128"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b25"><monogr><title level="m" type="main">A model for organizational interaction: based on agents, founded in logic</title>
<author><persName><forename type="first">V</forename>
<surname>Dignum</surname>
</persName>
</author>
<imprint><date type="published" when="2004"></date>
<biblScope unit="page" from="2004" to="1"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b26"><analytic><title level="a" type="main">RBAC-MAS & SODA: experimenting RBAC in AOSE engineering societies in the agents world</title>
<author><persName><forename type="first">A</forename>
<surname>Molesini</surname>
</persName>
</author>
<author><persName><forename type="first">E</forename>
<surname>Denti</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Omicini</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">LNCS</title>
<editor>Artikis, A., Picard, G., Vercouter, L.</editor>
<imprint><publisher>Springer</publisher>
<publisher>Springer</publisher>
<biblScope unit="volume">5485</biblScope>
<biblScope unit="page" from="69" to="84"></biblScope>
<date type="published" when="2008"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b27"><analytic><title level="a" type="main">An argumentation inspired heuristic for resolving normative conflict</title>
<author><persName><forename type="first">N</forename>
<surname>Oren</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Luck</surname>
</persName>
</author>
<author><persName><forename type="first">S</forename>
<surname>Miles</surname>
</persName>
</author>
<author><persName><forename type="first">T</forename>
<forename type="middle">J</forename>
<surname>Norman</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. of Workshop COIN at AAMAS</title>
<meeting>. of Workshop COIN at AAMAS</meeting>
<imprint><date type="published" when="2008"></date>
<biblScope unit="page" from="41" to="56"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b28"><analytic><title level="a" type="main">Modeling Conversation Policies using Permissions and Obligations</title>
<author><persName><forename type="first">L</forename>
<surname>Kagal</surname>
</persName>
</author>
<author><persName><forename type="first">T</forename>
<surname>Finin</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">AC 2004</title>
<editor>van Eijk, R., Huget, M., Dignum, F.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2005"></date>
<biblScope unit="page" from="120" to="133"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b29"><analytic><title level="a" type="main">An Algorithm for Confict Resolution in Regulated Compound Activities</title>
<author><persName><forename type="first">A</forename>
<surname>García-Camino</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Noriega</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<forename type="middle">A</forename>
<surname>Rodríguez-Aguilar</surname>
</persName>
</author>
<author><persName><forename type="first">G</forename>
<forename type="middle">M P</forename>
<surname>Hare</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Ricci</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<forename type="middle">J</forename>
<surname>Grady</surname>
</persName>
</author>
<author><persName><forename type="first">O</forename>
<surname>Dikenelli</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">ESAW 2006</title>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2007"></date>
<biblScope unit="page" from="193" to="208"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b30"><analytic><title level="a" type="main">MAS-ML: a multi-agent system modelling language</title>
<author><persName><forename type="first">V</forename>
<surname>Silva</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<surname>Choren</surname>
</persName>
</author>
<author><persName><forename type="first">C</forename>
<surname>Lucena</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">IJAOSE, Modeling Lang. for Agent Systems</title>
<imprint><date type="published" when="2008"></date>
<biblScope unit="page" from="382" to="421"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b31"><monogr><title level="m" type="main">Role-based access control</title>
<author><persName><forename type="first">D</forename>
<forename type="middle">F</forename>
<surname>Ferraiolo</surname>
</persName>
</author>
<author><persName><forename type="first">D</forename>
<forename type="middle">R</forename>
<surname>Kuhn</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<surname>Chandramouli</surname>
</persName>
</author>
<imprint><date type="published" when="2007"></date>
<publisher>Artech House Publishers</publisher>
<pubPlace>Boston</pubPlace>
</imprint>
</monogr>
<note>2nd. edn</note>
</biblStruct>
<biblStruct xml:id="b32"><analytic><title level="a" type="main">Model driven security: from UML models to access control infrastructures</title>
<author><persName><forename type="first">D</forename>
<surname>Basin</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Doser</surname>
</persName>
</author>
<author><persName><forename type="first">T</forename>
<surname>Lodderstedt</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">ACM TSEM</title>
<imprint><biblScope unit="page" from="39" to="91"></biblScope>
<date type="published" when="2006"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b33"><analytic><title level="a" type="main">Model-driven security in practice: An industrial experience</title>
<author><persName><forename type="first">M</forename>
<surname>Clavel</surname>
</persName>
</author>
<author><persName><forename type="first">V</forename>
<surname>Silva</surname>
</persName>
</author>
<author><persName><forename type="first">C</forename>
<surname>Braga</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Egea</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">ECMDA-FA 2008</title>
<editor>Schieferdecker, I., Hartman, A.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2008"></date>
<biblScope unit="page" from="326" to="337"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b34"><analytic><title level="a" type="main">Automated analysis of security-design models</title>
<author><persName><forename type="first">D</forename>
<surname>Basin</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Clavel</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Doser</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Egea</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">Inf. Software Technology</title>
<imprint><biblScope unit="page" from="815" to="831"></biblScope>
<date type="published" when="2009"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b35"><monogr><title></title>
<author><persName><forename type="first">Object</forename>
<surname>Management Group</surname>
</persName>
</author>
<imprint><date type="published" when="2010-03-01"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b36"><analytic><title></title>
</analytic>
<monogr><title level="j">EOS</title>
<imprint><date type="published" when="2010-03-01"></date>
</imprint>
</monogr>
</biblStruct>
</listBibl>
</back>
</text>
</istex:refBibTEI>
</enrichments>
</istex>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/Istex/Corpus

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001B10 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001B10 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    OperaV1
   |flux=    Istex
   |étape=   Corpus
   |type=    RBID
   |clé=     ISTEX:093A2C38BAA357A808263719B65FC484273F566B
   |texte=   Modeling Norms in Multi-agent Systems with NormML
}}

This area was generated with Dilib version V0.6.21.
Data generation: Thu Apr 14 14:59:05 2016. Site generation: Thu Jan 4 23:09:23 2024

	Serveur d'exploration sur l'opéra
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur l'opéra

Modeling Norms in Multi-agent Systems with NormML

Modeling Norms in Multi-agent Systems with NormML

Source :

Abstract

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri