From Organisation Specification to Normative Programming in Multi-Agent Organisations

Jomi Fred Hübner Olivier Boissier 1, 2 Rafael Bordini
1 ISCOD-ENSMSE - Equipe : Informatique pour les Systèmes Coopératifs, Ouverts Décentralisés
2 ISCOD-ENSMSE - Département Informatique pour les Systèmes Coopératifs Ouverts et Décentralisés
Abstract : In this paper, we show how we can automatically translate high-level organisation modelling languages into simpler languages based on the idea of normative programming. With this approach, while designers and agents still use a highly abstract organisational modelling language to specify and reason about the multi-agent organisation, the development of the organisation management infrastructure is facilitated in the following manner. The high-level organisation specification is automatically translated into a simple normative programming language that we have recently introduced and for which we have given formal semantics. The organisation management infrastructure can then be based on an interpreter for the simpler normative language. We illustrate the approach showing how 's organisation modelling language (with primitives such as roles, groups, and goals) can be translated into our normative programming language (with primitives such as norms and obligations). We briefly describe how this all has been implemented on top of ORA4MAS , the distributed artifact-based organisation management infrastructure for.
Type de document :
Chapitre d'ouvrage
Dix, Jürgen; Leite, João; Governatori, Guido; Jamroga, Wojtek. Computational Logic in Multi-Agent Systems, Springer Berlin / Heidelberg, pp.117-134, 2010, Lecture Notes in Computer Science, 〈10.1007/978-3-642-14977-1_11〉
Liste complète des métadonnées
https://hal-emse.ccsd.cnrs.fr/emse-00643571
Contributeur : Florent Breuil <>
Soumis le : mardi 22 novembre 2011 - 11:38:31
Dernière modification le : mercredi 29 novembre 2017 - 10:08:08

Identifiants

Collections

FAYOL-ENSMSE | ISCOD-ENSMSE | ISCODE-ENSMSE | UR-LSTI-ENSMSE | EMSE | G2I-ENSMSE | SMA-ENSMSE

Citation

Jomi Fred Hübner, Olivier Boissier, Rafael Bordini. From Organisation Specification to Normative Programming in Multi-Agent Organisations. Dix, Jürgen; Leite, João; Governatori, Guido; Jamroga, Wojtek. Computational Logic in Multi-Agent Systems, Springer Berlin / Heidelberg, pp.117-134, 2010, Lecture Notes in Computer Science, 〈10.1007/978-3-642-14977-1_11〉. 〈emse-00643571〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

92

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD