A formal road from institutional norms to organizational structures

Davide Grossi; Frank Dignum; John-Jules Ch. Meyer

doi:10.1145/1329125.1329234

A formal road from institutional norms to organizational structures

Davide Grossi, Frank Dignum, John-Jules Ch. Meyer

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Up to now, the way institutions and organizations have been used in the development of open systems has not often gone further than a useful heuristics. In order to develop systems actually implementing institutions and organizations, formal methods should take the place of heuristic ones. The paper presents a formal semantics for the notion of institution and its components (abstract and concrete norms, empowerment of agents, roles) and defines a formal relation between institutions and organizational structures. As a result, it is shown how institutional norms can be refined to constructs - -organizational structures - -which are closer to an implemented system. It is also shown how such a refinement process can be fully formalized and it is therefore amenable to rigorous verification. © 2007 IFAAMAS.

Original language	English
Title of host publication	AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems
Pages	628-635
DOIs	https://doi.org/10.1145/1329125.1329234
Publication status	Published - 2007
Externally published	Yes
Event	6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07 - , United States Duration: 14 May 2008 → 18 May 2008

Conference

Conference	6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07
Country/Territory	United States
Period	14/05/08 → 18/05/08

Access to Document

10.1145/1329125.1329234

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{0ceaa947d8a0472ba59b966c2302bc3d,

title = "A formal road from institutional norms to organizational structures",

abstract = "Up to now, the way institutions and organizations have been used in the development of open systems has not often gone further than a useful heuristics. In order to develop systems actually implementing institutions and organizations, formal methods should take the place of heuristic ones. The paper presents a formal semantics for the notion of institution and its components (abstract and concrete norms, empowerment of agents, roles) and defines a formal relation between institutions and organizational structures. As a result, it is shown how institutional norms can be refined to constructs - -organizational structures - -which are closer to an implemented system. It is also shown how such a refinement process can be fully formalized and it is therefore amenable to rigorous verification. {\textcopyright} 2007 IFAAMAS.",

author = "Davide Grossi and Frank Dignum and Meyer, {John-Jules Ch.}",

year = "2007",

doi = "10.1145/1329125.1329234",

language = "English",

pages = "628--635",

booktitle = "AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems",

note = "6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07 ; Conference date: 14-05-2008 Through 18-05-2008",

}

Grossi, D, Dignum, F & Meyer, J-JC 2007, A formal road from institutional norms to organizational structures. in AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. pp. 628-635, 6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07, United States, 14/05/08. https://doi.org/10.1145/1329125.1329234

A formal road from institutional norms to organizational structures. / Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. 2007. p. 628-635.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A formal road from institutional norms to organizational structures

AU - Grossi, Davide

AU - Dignum, Frank

AU - Meyer, John-Jules Ch.

PY - 2007

Y1 - 2007

N2 - Up to now, the way institutions and organizations have been used in the development of open systems has not often gone further than a useful heuristics. In order to develop systems actually implementing institutions and organizations, formal methods should take the place of heuristic ones. The paper presents a formal semantics for the notion of institution and its components (abstract and concrete norms, empowerment of agents, roles) and defines a formal relation between institutions and organizational structures. As a result, it is shown how institutional norms can be refined to constructs - -organizational structures - -which are closer to an implemented system. It is also shown how such a refinement process can be fully formalized and it is therefore amenable to rigorous verification. © 2007 IFAAMAS.

AB - Up to now, the way institutions and organizations have been used in the development of open systems has not often gone further than a useful heuristics. In order to develop systems actually implementing institutions and organizations, formal methods should take the place of heuristic ones. The paper presents a formal semantics for the notion of institution and its components (abstract and concrete norms, empowerment of agents, roles) and defines a formal relation between institutions and organizational structures. As a result, it is shown how institutional norms can be refined to constructs - -organizational structures - -which are closer to an implemented system. It is also shown how such a refinement process can be fully formalized and it is therefore amenable to rigorous verification. © 2007 IFAAMAS.

UR - http://www.scopus.com/inward/record.url?scp=60349125328&partnerID=8YFLogxK

U2 - 10.1145/1329125.1329234

DO - 10.1145/1329125.1329234

M3 - Conference contribution

SP - 628

EP - 635

BT - AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems

T2 - 6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07

Y2 - 14 May 2008 through 18 May 2008

ER -

A formal road from institutional norms to organizational structures

Abstract

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this