Complexity of distributed and decentralized systems demands new tools for designing and programming processes. An idea of autonomous agents that arises as an extension of the object and process concepts may be applied to distributed and decentralized systems development. In the paper the authors have undertaken an attempt to describe formally the architecture of multiagent systems using a method of specification based upon the combination of Object-Z, Statecharts and M-agent architecture. The proposed method of multiagent system description may be considered as a starting point to develop a multi-agent system description method covering a gap existing between theoretical analysis and practical realization of multiagent systems.
CITATION STYLE
Cetnarowicz, K., Gruer, P., Hilaire, V., & Koukam, A. (2002). A formal specification of M-Agent architecture. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2296, p. 62). Springer Verlag. https://doi.org/10.1007/3-540-45941-3_7
Mendeley helps you to discover research relevant for your work.