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… (More)
DOI: 10.1145/1329125.1329234

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.