DROPS

Document

Modeling and Validating Norms

Authors: Viviane Torres da Silva and Christiano Braga

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)

Abstract

Norms describe the permissions, prohibitions and obligations of agents in multi-agent systems in order to regulate their behavior. In this paper we propose a normative modeling language that makes possible the modeling of norms motivating the modeling of such norms together with the non-normative part of the system. 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.

Cite as

Viviane Torres da Silva and Christiano Braga. Modeling and Validating Norms. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{torresdasilva_et_al:DagSemProc.09121.19,
  author =	{Torres da Silva, Viviane and Braga, Christiano},
  title =	{{Modeling and Validating Norms}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.19},
  URN =		{urn:nbn:de:0030-drops-19188},
  doi =		{10.4230/DagSemProc.09121.19},
  annote =	{Keywords: Norm, modeling, validation, conflict, metamodel}
}

Search Results

Documents authored by Braga, Christiano

Modeling and Validating Norms

Abstract

Cite as

Thanks for your feedback!

Could not send message