Welcome to the InfoSci Platform
Reference Hub2
Verifying Organizations Regulated by Institutions

Verifying Organizations Regulated by Institutions

Francesco Viganò, Marco Colombetti
Copyright: © 2009 |Pages: 30
ISBN13: 9781605662565|ISBN10: 1605662569|EISBN13: 9781605662572
DOI: 10.4018/978-1-60566-256-5.ch015
Cite Chapter Cite Chapter

MLA

Viganò, Francesco, and Marco Colombetti. "Verifying Organizations Regulated by Institutions." Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, IGI Global, 2009, pp. 367-396. https://doi.org/10.4018/978-1-60566-256-5.ch015

APA

Viganò, F. & Colombetti, M. (2009). Verifying Organizations Regulated by Institutions. In V. Dignum (Ed.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 367-396). IGI Global. https://doi.org/10.4018/978-1-60566-256-5.ch015

Chicago

Viganò, Francesco, and Marco Colombetti. "Verifying Organizations Regulated by Institutions." In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, 367-396. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-256-5.ch015

Export Reference

Mendeley
Favorite

Abstract

Institutions have been proposed to explicitly represent norms in open multi-agent systems, where agents may not follow them and which therefore require mechanisms to detect violations. In doing so, they increase the efficiency of electronic transactions carried out by agents, but raise the problem of ensuring that such institutions are not characterized by contradictory norms, and provide agents with all the needed powers to fulfill their objectives. In this chapter we present a framework to verify organizations regulated by institutions, which is characterized by a precise formalization of institutional concepts, a language to describe institutions, and a tool to model check them. Finally, to evaluate and exemplify our approach, we model and verify the Chaired Meeting Institution, showing that the verification of institutional rules constitutes a necessary step to define sound institutions.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.