Andrea Omicini, Alessandro Ricci, Mirko Viroli

Governing the ever growing complexity of artificial systems on the one hand requires a number of expressive abstractions and different levels of interpretation, on the other hand suggests the adoption of formal / mathematical tools to (at least partially) model and predict the system behaviour. By adopting agent-oriented abstractions as the starting point, we argue that organisation, coordination and security all insist on the same conceptual space — that is, static / dynamic relations / interactions among agents —, which also represents one of the main sources of complexity for MAS, and for artificial systems in general, as well. The notion of ACC (agent coordination context) is used in this paper as the unifying core abstraction of a framework that encompasses all such issues, promoting the integration of organisation, coordination, and security. Such a framework, called RBAC-MAS, is expressed through a process algebraic model which integrates the classic organisational issues of role-based models (like RBAC) and the more recent works on interaction and coordination in MAS.

Applicable Algebra in Engineering, Communication and Computing 16(2-3), pages 151-178, August 2005.
Mirko Viroli, Andrea Omicini (eds.), Springer
Special Issue: Process Algebras and Multi-Agent Systems

@article{rbacmas-aaecc16,
	Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
	Doi = {10.1007/s00200-005-0174-z},
	Editor = {Viroli, Mirko and Omicini, Andrea},
	Issn = {0938-1279},
	Issn-Online = {1432-0622},
	Journal = {Applicable Algebra in Engineering, Communication and Computing},
	Month = aug,
	Note = {Special Issue: Process Algebras and Multi-Agent Systems},
	Number = {2-3},
	Pages = {151--178},
	Publisher = {Springer},
	ScopusId = {2-s2.0-23844445300},
	Title = {An Algebraic Approach for Modelling Organisation, Roles and Contexts in {MAS}},
	Url = {http://link.springer.com/article/10.1007/s00200-005-0174-z},
	WosId = {000231164800004},
	Volume = 16,
	Year = 2005}