Role assignment in institutional clouds for rule-based enterprise management

Authors:
Jeremy Pitt;Julia Schaumeier;Alexander Artikis
Affiliations:
Department of Electrical & Electronic Engineering, Imperial College London, UK;Department of Electrical & Electronic Engineering, Imperial College London, UK;Department of Electrical & Electronic Engineering, Imperial College London, UK and Institute of Informatics & Telecommunications, National Centre for Scientific Research "Demokritos", Athe ...
Venue:
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Year:
2011

Citing 8
Cited 0

A logic-based calculus of events

New Generation Computing
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
Specifying norm-governed computational societies

ACM Transactions on Computational Logic (TOCL)
Toward a cloud computing research agenda

ACM SIGACT News
Dynamic protocols for open agent systems

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Enforcing access control in Web-based social networks

ACM Transactions on Information and System Security (TISSEC)
A game theoretic formulation of the service provisioning problem in cloud systems

Proceedings of the 20th international conference on World wide web
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the context of engineering cloud computing applications for enterprise management, we want to represent a theory of institutions and role assignment in terms of a formal specification of rule-based action and agency. We consider how a tripartite distinction of institutional rules, as either constitutional-, collective- and operational-choice rules, can be mapped to a protocol stack for dynamic specifications. The mapping is illustrated with a specification and animation of changeable role assignment protocols, in which both institutional rules and institutional change are given a uniform and integrated specification in a formal action language. This shows how institutionalised principles of collective action can be transformed into runtime rule-based reasoning for self-organisation of 'institutional clouds' for enterprise management.