Modeling and Validating Norms

Authors Viviane Torres da Silva, Christiano Braga



PDF
Thumbnail PDF

File

DagSemProc.09121.19.pdf
  • Filesize: 183 kB
  • 16 pages

Document Identifiers

Author Details

Viviane Torres da Silva
Christiano Braga

Cite AsGet BibTex

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)
https://doi.org/10.4230/DagSemProc.09121.19

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.
Keywords
  • Norm
  • modeling
  • validation
  • conflict
  • metamodel

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail