Abstract
The paper analyzes formal models of agents, their role in the design of agent-oriented systems, their use at the stage of designing an agent-based system, as well as the degree of application of formal models of agents in software design methodologies.
Similar content being viewed by others
References
A. V. Anisimov, A. M. Glibovets, and V. Ya. Zhab’yuk, “Main architectural principles of program systems for implementing mobile agents,” Visn. Kyiv. Nats. Univ., Ser.: Fiz.-Mat. Nauky, 3, 125–131 (2008).
S. S. Gorokhovskyi, “Agent technologies: A critical review,” in: NaUKMA Scientific [in Ukrainian], Vol. 18: Special issue, NaUKMA, Kyiv (2000), pp. 391–395.
D. Lange and M. Oshima, “Seven good reasons for mobile agents,” Commun. of the ACM, 42, 88–89 (1999).
G. Samaras, P. Evripidou, and E. Pitoura, “Mobile-agents based infrastructure for eWork and eBussiness applications,” in: Proc. of the eBusiness and eWork Conf. (2000), pp. 1092–1098.
S. Papastavrou, G. Samaras, and E. Pitoura, “Mobile agents for WWW distributed database access,” IEEE Transact. on Knowledge and Data Engineer. Journ. (TKDE), 12, No. 5, 802–820 (2000).
Y. Villate, A. Illarramendi, and E. Pitoura, “Data lockers: Mobile-agent based middleware for the security and availability of roaming users data,” in: Proc. 5th Intern. Conf. on Cooperative Inform. Systems CoopIS’2000 (2000), pp. 275–286.
G. Samaras and A. Pitsillides, “Client/Intercept: A computational model for wireless environments,” in: Proc. 4th Intern. Conf. on Telecomm. ICT’97 (1997), pp. 1205–1210.
B. Henderson-Sellers and P. Giorgini, Agent-Oriented Methodologies, Idea Group Publ., PA (2005).
J. Meyer and P. Schobbens, “Formal models of agents: An introduction,” in: Lecture Notes in Comput. Sci., 1760 (1999), pp. 1–7.
A. A. Letichevskii, Yu. V. Kapitonova, V. A. Volkov, V. V. Vyshemirskii, and A. A. Letichevskii Jr., “Insertion programming,” Cybern. Syst. Analysis, 39, No. 1, 16–26 (2003).
A. A. Letichevsky and D. R. Gilbert, “A model for interaction of agents and environmenrs,” in: Recent Trends in Algebra’s Development Technique Language (2000), pp. 311–329.
K. Hindriks, M. d’Inverno, and M. Luck, “Architecture for agent programming languages,” in: ECAI 2000: Proc. 14th European Conference on Artificial Intelligence, http://autonomousagents.org/2001/oas.
R. Depke, R. Heckel, and J. Kuster, “Improving the agent-oriented modeling process with roles,” in: Proc. 5th Intern. Conf. on Autonomous Agents (AGENTS-2001), Canada (2001).
S. Conrad, G. Saake, and C. Turker, “Towards an agent-oriented framework for specification of information systems,” in: Lecture Notes in Comput. Sci., 1760 (1999), pp. 57–60.
D. Lemetayer, “Higher-order multiset processing,” DIMACS Series in Discrete Mathematics and Theoretical Comput. Sci., 18, 179–200 (1994).
M. Ally and F. Lin, Designing Distributed Environments with Intelligent Software Agents, Hershey: Idea Group Publ., PA (2004), pp 242–249.
P. Frohlich, I. Mora, W. Nejdl, and M. Schroeder, “Diagnostic agents for distributed systems,” in: Lecture Notes in Comput. Sci., 1760 (1999).
E. Denti and A. Omicini, “Designing multi-agent systems around an extensible communication abstraction,” in: Lecture Notes in Comput. Sci., 1760, 80–82 (1999).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 3, May–June, 2012, pp. 101–110.
Rights and permissions
About this article
Cite this article
Gorokhovskyi, S.S., Glybovets, A.N. & Popov, O.A. Formalization of agent-oriented systems. Cybern Syst Anal 48, 406–413 (2012). https://doi.org/10.1007/s10559-012-9420-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-012-9420-0