Abstract
This paper introduces a formal description of the operational semantics of multiagent organizations expressed in the Aalaadin generic model. This formalization is based on the π-calculus and the Chemical Abstract Machine (Cham).
By mapping an agent to a set of π-calculus processes and groups to Cham solutions, we show that it is possible to associate a precise semantics for the definition and dynamics of agents, groups and roles, independently of any implementation.
Our show that formalization verifies the properties of Aalaadin: agents act in several groups simultaneously, communications are described through abstract roles interaction, and organization management is performed by agents.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agha, G., Hewitt, C.: Concurrent programming using actors. In: Object-Oriented Concurrent Programming, pp. 37–53. MIT Press, Cambridge (1987)
Agha, G.A.: Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
Banâtre, J.-P., Le Métayer, D.: The GAMMA model and its discipline of programming. Science of Programming 15(1), 55–77 (1990)
Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96(1), 217–248 (1992)
Boudol, G.: Some Chemical Abstract Machines. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 92–123. Springer, Heidelberg (1994)
Boudol, G.: Asynchrony and the pi-calculus. Technical Report RR-1702, Inria (1992)
Ferber, J., Carle, P.: Actors and agents as reflective concurrent objects: A mering IV perspective. IEEE Transactions on Systems, Man, and Cybernetics 21(6), 1420–1436 (1991)
Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of 3d International Conference on Multi-Agent Systems (ICMAS 1998). IEEE, Los Alamitos (1998)
Milner, R.: Lectures on a Calculus for Communicating Systems. In: Brookes, S.D., Winskel, G., Roscoe, A.W. (eds.) Seminar on Concurrency. LNCS, vol. 197. Springer, Heidelberg (1985)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I, II. Information and Computation 100(1), 1–77 (1992)
Pierce, B.C.: Foundational calculi for programming languages. In: Tucker, A.B. (ed.) Handbook of Computer Science and Engineering, ch.139. CRC Press, Boca Raton (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferber, J., Gutknecht, O. (2000). Operational Semantics of Multi-Agent Organizations. In: Jennings, N.R., Lespérance, Y. (eds) Intelligent Agents VI. Agent Theories, Architectures, and Languages. ATAL 1999. Lecture Notes in Computer Science(), vol 1757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10719619_15
Download citation
DOI: https://doi.org/10.1007/10719619_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67200-5
Online ISBN: 978-3-540-46467-9
eBook Packages: Springer Book Archive