An organizational ontology for enterprise modeling
Simulating organizations
The NIST model for role-based access control: towards a unified standard
RBAC '00 Proceedings of the fifth ACM workshop on Role-based access control
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Non-cooperative dynamics of multi-agent teams
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
The Computer Journal
Using quantitative models to search for appropriate organizational designs
Autonomous Agents and Multi-Agent Systems
Securing vehicular ad hoc networks
Journal of Computer Security - Special Issue on Security of Ad-hoc and Sensor Networks
A Short Introduction to Computational Social Choice
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Toward a cloud computing research agenda
ACM SIGACT News
Enforcing access control in Web-based social networks
ACM Transactions on Information and System Security (TISSEC)
The Immergence of Norms in Agent Worlds
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
An axiomatic theory of fairness in network resource allocation
INFOCOM'10 Proceedings of the 29th conference on Information communications
A simulator for organisation-centred MAS adaptation in P2P sharing networks
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Markov Logic: An Interface Layer for Artificial Intelligence
Markov Logic: An Interface Layer for Artificial Intelligence
Human-inspired computational fairness
Autonomous Agents and Multi-Agent Systems
Review: Improving urban wastewater management through an auction-based management of discharges
Environmental Modelling & Software
A game theoretic formulation of the service provisioning problem in cloud systems
Proceedings of the 20th international conference on World wide web
Norm Establishment via Metanorms in Network Topologies
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
The Axiomatisation of Socio-Economic Principles for Self-Organising Systems
SASO '11 Proceedings of the 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Coordination, conventions and the self-organisation of sustainable institutions
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Dynamic specification of open agent systems
Journal of Logic and Computation
Review: logic-based event recognition
The Knowledge Engineering Review
Fostering Cooperation through Dynamic Coalition Formation and Partner Switching
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Hi-index | 0.00 |
We address the problem of engineering self-organizing electronic institutions for resource allocation in open, embedded, and resource-constrained systems. In such systems, there is decentralized control, competition for resources and an expectation of both intentional and unintentional errors. The “optimal” distribution of resources is then less important than the endurance of the distribution mechanism. Under these circumstances, we propose to model resource allocation as a common-pool resource management problem, and develop a formal characterization of Elinor Ostrom’s socio-economic principles for self-governing institutions. This article applies a method for sociologically inspired computing to give a complete axiomatization of six of Ostrom’s eight principles in the Event Calculus. A testbed is implemented for experimenting with the axiomatization. The experimental results show that these principles support enduring institutions, in terms of longevity and membership, and also provide insight into calibrating the transaction and running costs associated with implementing the principles against the behavioral profile of the institutional membership. We conclude that it is possible to express Ostrom’s principles in logical form and that they are necessary and sufficient conditions for enduring self-organizing electronic institutions to manage sustainable common-pool resources.