DagSemProc.09121.19.pdf
- Filesize: 183 kB
- 16 pages
Document
Modeling and Validating Norms
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9121
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-03-11
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
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)
0PDF Downloads