Modeling and Validating Norms

Torres da Silva, Viviane; Braga, Christiano

doi:10.4230/DagSemProc.09121.19

Document

Modeling and Validating Norms

Authors Viviane Torres da Silva, Christiano Braga

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 9121
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2009-03-11

PDF

File

PDF

DagSemProc.09121.19.pdf

Filesize: 183 kB
16 pages

Document Identifiers

DOI: 10.4230/DagSemProc.09121.19
URN: urn:nbn:de:0030-drops-19188

Subject Classification

Keywords

Norm
modeling
validation
conflict
metamodel

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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 Get 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

Author Details

Viviane Torres da Silva

Christiano Braga

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail