{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:00Z","timestamp":1761611160542},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,7,7]],"date-time":"2005-07-07T00:00:00Z","timestamp":1120694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s00200-005-0174-z","type":"journal-article","created":{"date-parts":[[2005,7,7]],"date-time":"2005-07-07T15:21:30Z","timestamp":1120749690000},"page":"151-178","source":"Crossref","is-referenced-by-count":13,"title":["An algebraic approach for modelling organisation, roles and contexts in MAS"],"prefix":"10.1007","volume":"16","author":[{"given":"Andrea","family":"Omicini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Ricci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,7]]},"reference":[{"key":"174_CR1","doi-asserted-by":"crossref","unstructured":"Ahn, G., Sandhu, R., Kang, M., Park, J.: Injecting RBAC to secure a web-based workflow system. In: 5th ACM Workshop on Role-based Access Control, pp. 1\u201310, Berlin, Germany, ACM Press (2000)","DOI":"10.1145\/344287.344295"},{"key":"174_CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"Bergstra","year":"1","unstructured":"Bergstra, J. A., Klop, J. W.: Algebra of communicating processes with abstraction. Theor. Comput. Sci. 37(1), 77\u2013121 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"174_CR3","unstructured":"Boella, G., van der Torre, L. W.N. Regulative and constitutive norms in normative multiagent systems. In: 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201904). pp. 255\u2013266, Whistler, CA, USA (2004)"},{"key":"174_CR4","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1147\/sj.403.0666","volume":"40","author":"Botha","year":"3","unstructured":"Botha, R. A., Eloff, J. H. P.: Separation of duties for access control enforcement in workflow environments. IBM Syst. J. 40(3), 666\u2013682 (2001)","journal-title":"IBM Syst. J."},{"key":"174_CR5","first-page":"8","volume":"3191","author":"Cabri","year":"2004","unstructured":"Cabri, G., Ferrari, L., Leonardi, L.: The RoleX environment for multi-agent cooperation. In: Klusch, M., Ossowski, S., Kashyap, V., Unland, R. (eds.) Cooperative Information Agents VIII, vol. 3191 of LNCS, 8th International Workshop (CIA 2004), Erfurt, Germany, September 27\u201329, 2004. pp. 257\u2013270. Springer, Berlin Heidelberg New York (2004) Proceedings.","journal-title":"In: Klusch, M., Ossowski, S., Kashyap, V., Unland, R. (eds.) Cooperative Information Agents VIII, vol."},{"key":"174_CR6","first-page":"9","volume":"1647","author":"Cremonini","year":"1999","unstructured":"Cremonini, M., Omicini, A., Zambonelli, F.: Multi-agent systems on the Internet: Extending the scope of coordination towards security and topology. In: Garijo, F. J., Boman, M. (eds), Multi-Agent Systems Engineering, vol. 1647 of LNAI, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW\u201999), Valencia, Spain, 30 June \u2013 2 July 1999. pp. 77\u201388. Springer, Berlin Heidelberg New York (1999) Proceedings.","journal-title":"In: Garijo, F. J., Boman, M. (eds), Multi-Agent Systems Engineering, vol."},{"key":"174_CR7","doi-asserted-by":"crossref","unstructured":"Drouineaud, M., Torrini, M. B. P., Sohr, K.: A first step towards formal verification of security policy properties for rbac. In: 4th International Conference on Quality Software (QSIC\u00c604). IEEE Press, sep 2004","DOI":"10.1109\/QSIC.2004.1357945"},{"key":"174_CR8","doi-asserted-by":"crossref","unstructured":"Dulay, N., Damianou, N., Lupu, E., Sloman, M.: A policy language for the management of distributed agents. In: Wooldridge, M., Weiss, G., Ciancarini, P. (eds.) Agent-oriented software engineering II, vol. 2222 of LNCS, pp. 84\u2013100. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-70657-7_6"},{"key":"174_CR9","doi-asserted-by":"crossref","unstructured":"Ferber, J., Gutknecht, O.: A meta-model for analysis and design of organizations in multi-agent systems. In: 3rd International Conference on Multi Agent Systems (ICMAS\u201998). IEEE Press (1998)","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"174_CR10","unstructured":"Ferraiolo, D., Kuhn, R.: Role-Based Access Control. In: 15th NIST\u2013NSA National Computer Security Conference, pp. 554\u2013563, Baltimore, MD, USA, 13\u201316 October 1992"},{"key":"174_CR11","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/501978.501980","volume":"4","author":"Ferraiolo","year":"3","unstructured":"Ferraiolo, D. F., Sandhu, R., Gavrila, S., Richard Kuhn, D., Chandramouli, R.: Proposed NIST standard for role-based access control. ACM Trans. on Infor. and Syst. Security (TISSEC), 4(3), 224\u2013274 (2001)","journal-title":"ACM Trans. on Infor. and Syst. Security (TISSEC),"},{"key":"174_CR12","unstructured":"FIPA. FIPA communicative act library specification. http:\/\/www.fipa.org, 2000. Doc. XC00037H."},{"key":"174_CR13","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"Gelernter","year":"1","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Programming Languages and Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Programming Languages and Syst."},{"key":"174_CR14","doi-asserted-by":"crossref","unstructured":"Kang, M. H., Park, J. S., Froscher, J. N.: Access control mechanisms for inter-organizational workflow. In: 6th ACM symposium on Access Control Models and Technologies, pp. 66\u201374. ACM Press (2001)","DOI":"10.1145\/373256.373266"},{"key":"174_CR15","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/4434.846192","volume":"8","author":"Kendall","year":"2","unstructured":"Kendall, E. A.: Role modelling for agent systems analysis, design and implementation. IEEE Concurrency, 8(2), 34\u201341 (2000)","journal-title":"IEEE Concurrency,"},{"key":"174_CR16","doi-asserted-by":"crossref","unstructured":"Khayat, A. E., Abdallah, E. J.AND: A formal model for flat role-based access control. In: ACS\/IEEE International Conference on Computer Systems and Applications. IEEE Press (2003)","DOI":"10.1109\/AICCSA.2003.1227507"},{"key":"174_CR17","unstructured":"Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Huhns, M. N. Singh, Munindar P. (ed.) Readings in Agents, pp. 235\u2013242. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1997)"},{"key":"174_CR18","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"Milner","year":"1","unstructured":"Milner, R.: Elements of interaction: Turing Award lecture. Commun. ACM, 36(1), 78\u201389 (1993)","journal-title":"Commun. ACM,"},{"key":"174_CR19","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"Minsky","year":"3","unstructured":"Minsky, N. H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Trans. Software Eng. and Meth. (TOSEM), 9(3), 273\u2013305 (2000)","journal-title":"ACM Trans. Software Eng. and Meth. (TOSEM),"},{"key":"174_CR20","doi-asserted-by":"crossref","unstructured":"Noriega, P., Sierra, C.: Electronic institutions: Future trends and challenges. In: Klusch, M., Ossowski, S., Shehory, O. (eds.) Cooperative Information Agents VI, vol. 2446 of LNCS. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-45741-0_3"},{"key":"174_CR21","first-page":"4","volume":"2935","author":"Odell","year":"2003","unstructured":"Odell, J., Van Dyke Parunak, H., Brueckner, S., Sauter, J.: Temporal aspects of dynamic role assignment. In: Giorgini, P., M\u00fcller, J. P., Odell, J. (eds.) Agent-Oriented Software Engineering IV, volume 2935 of LNCS, 4th International Workshop (AOSE 2003) Melbourne, Australia, July 15, 2003. Revised Papers. pp. 201\u2013213. Springer, Berlin Heidelberg New York (2003)","journal-title":"In: Giorgini, P., M\u00fcller, J. P., Odell, J. (eds.) Agent-Oriented Software Engineering IV, volume"},{"key":"174_CR22","doi-asserted-by":"crossref","unstructured":"Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D., Lee, C. (eds.) Process Coordination and Ubiquitous Computing, pp. 187\u2013200. CRC Press (2002)","DOI":"10.1201\/9781003072492-15"},{"key":"174_CR23","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ossowski, S.: Objective versus subjective coordination in the engineering of agent systems. In: Klusch, M., Bergamaschi, S., Edwards, P., Petta, P. (eds.) Intelligent Information Agents: An AgentLink Perspective, vol. 2586 of LNAI: State-of-the-Art Survey, pp. 179\u2013202. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/3-540-36561-3_9"},{"key":"174_CR24","first-page":"7","volume":"2","author":"Omicini","year":"2003","unstructured":"Omicini, A., Ricci, A.: Reasoning about organisation: Shaping the infrastructure. AI*IA Notizie, XVI 2, 7\u201316 (2003)","journal-title":"AI*IA Notizie, XVI"},{"key":"174_CR25","first-page":"4","volume":"3071","author":"Omicini","year":"2004","unstructured":"Omicini, A., Ricci, A.: MAS organisation within a coordination infrastructure: Experiments in TuCSoN. In: Omicini, A., Petta, P., Pitt, J. (eds.) Engineering Societies in the Agents World IV, vol. 3071 of LNAI, 4th International Workshop (ESAW 2003), London, UK, 29\u201331 October 2003. Revised Selected and Invited Papers. pp. 200\u2013217. Springer, Berlin Heidelberg New York (2004)","journal-title":"In: Omicini, A., Petta, P., Pitt, J. (eds.) Engineering Societies in the Agents World IV, vol."},{"key":"174_CR26","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Formal specification and enactment of security policies through Agent Coordination Contexts. Electronic Notes in Theor. Comput. Sci. 85(3), August 2003. 1st International Workshop \u2018\u2018Security Issues in Coordination Models, Languages and Systems\u2019\u2019 (SecCo 2003), Eindhoven, The Netherlands, 28\u201329 June 2003. Proceedings.","DOI":"10.1016\/S1571-0661(04)80682-0"},{"key":"174_CR27","unstructured":"Omicini, A., Ricci, A., Viroli, M.: RBAC for organisation and security in an agent coordination infrastructure. In: Focardi, R., Zavattaro, G. (eds.) 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo\u201904), pp. 43\u201362, CONCUR 2004, London, UK, 30 August 2004. Proceedings."},{"key":"174_CR28","unstructured":"Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N. R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286\u2013293, New York, USA, 19\u201323 July 2004. ACM."},{"key":"174_CR29","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M., Cioffi, M., Rimassa, G.: Multi-agent infrastructures for objective and subjective coordination. Appl Artif. Intell. 18(9\/10), 815\u2013831, (2004). Special Issue: Best papers from EUMAS 2003: The 1st European Workshop on Multi-agent Systems.","DOI":"10.1080\/08839510490509036"},{"key":"174_CR30","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"Omicini","year":"3","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3), 251\u2013269 (1999). Special Issue: Coordination Mechanisms for Web Agents.","journal-title":"Autonomous Agents and Multi-Agent Systems,"},{"key":"174_CR31","doi-asserted-by":"crossref","unstructured":"Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.): Coordination of Internet Agents: Models, Technologies, and Applications. Springer, Berlin Heidelberg New York (2001)","DOI":"10.1007\/978-3-662-04401-8"},{"key":"174_CR32","first-page":"3","volume":"2577","author":"Ricci","year":"2003","unstructured":"Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents World III, vol. 2577 of LNCS, 3rd International Workshop (ESAW 2002), Madrid, Spain, 16\u201317 September 2002. Revised Papers. pp. 96\u2013110. Springer, Berlin Heidelberg New York (2003)","journal-title":"In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents World III, vol."},{"key":"174_CR33","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"Sandhu","year":"2","unstructured":"Sandhu, R., Coyne, E. J., Feinstein, H. L., Youman, C. E.: Role-based control models. IEEE Comput. 29(2), 38\u201347 (1996)","journal-title":"IEEE Comput."},{"key":"174_CR34","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"Smith","year":"1980","unstructured":"Smith, R. G.: The Contract Net Protocol: High-level communication and control in a distributed problem solver. IEEE Trans. Comput. 29, 1104\u20131113 (1980)","journal-title":"IEEE Trans. Comput."},{"key":"174_CR35","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"Wegner","year":"5","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Commun. ACM, 40(5), 80\u201391 (1997)","journal-title":"Commun. ACM,"},{"key":"174_CR36","doi-asserted-by":"crossref","unstructured":"Weigand, H., Dignum, V., Meyer, J.-J., Dignum, F.: Specification by refinement and agreement: designing agent interaction using landmarks and contracts. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents World III, vol. 2577 of LNCS, pp. 1\u201311. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/3-540-39173-8_19"},{"key":"174_CR37","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1142\/S0218194001000505","volume":"11","author":"Zambonelli","year":"3","unstructured":"Zambonelli, F., Jennings, N. R., Wooldridge, M. J.: Organisational rules as an abstraction for the analysis and design of multi-agent systems. Int J Software Eng Knowl. Eng, 11(3), 303\u2013328 (2001)","journal-title":"Int J Software Eng Knowl. Eng,"},{"key":"174_CR38","first-page":"1","volume":"2480","author":"Zhang","year":"2002","unstructured":"Zhang, Y., You, J.: An RBAC based policy enforcement coordination model in Internet environment. In: Engineering and Deployment of Cooperative Information Systems, vol. 2480 of LNCS, 1st International Conference (EDCIS 2002), Beijing, China, September 17\u201320, 2002. Proceedings, pp. 466\u2013477. Springer, Berlin Heidelberg New York (2002)","journal-title":"In: Engineering and Deployment of Cooperative Information Systems, vol."}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0174-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-005-0174-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0174-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T04:33:54Z","timestamp":1626150834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-005-0174-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,7]]},"references-count":38,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["174"],"URL":"https:\/\/doi.org\/10.1007\/s00200-005-0174-z","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,7]]}}}