A formal road from institutional norms to organizational structures


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


Figures and Tables

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