Abstract
Multi-agent systems exhibit highly dynamic behaviour within dynamic environments. Modelling of individual agents within such systems demands considering both evolving data structures and the control over their internal changing states. In addition, modelling of the overall system implies modelling of the agents’ configuration, including their ability to exchange messages as well as the ability to re-structure their formation over time. This paper presents a formal modelling framework based on Communicating X-machines, allowing the specification of multi-agent software systems with a dynamic structure and behaviour. A case study illustrates the proposed modelling approach.
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
Kefalas, P., Holcombe, M., Eleftherakis, G., Gheorge, M.: A formal method for the development of agent-based systems. In: Plekhanova, V. (ed.) Intelligent Agent Software Engineering, pp. 68–98. Idea Publishing Group Co. (2003)
Holcombe, M.: Computational models of cells and tissues: Machines, agents and fungal infection. Briefings in Bioinformatics 2, 271–278 (2001)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61, 108–143 (2000) Also circulated as a TUCS report since 1998
Banatre, J., Le Metayer, D.: The gamma model and its discipline of programming. Science of Computer Programming 15, 55–77 (1990)
Berry, G., Boudol, G.: The chemical abstract machine. Journal of Theoretical Computer Science 96, 217–248 (1992)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)
Rosenschein, S.R., Kaebling, L.P.: A situated view of representation and control. Artificial Intelligence 73, 149–173 (1995)
Brazier, F., Dunin-Keplicz, B., Jennings, N., Treur, J.: Formal specification of multiagent systems: a real-world case. In: Proceedings of International Conference on Multi-Agent Systems (ICMAS 1995), pp. 25–32. MIT Press, Cambridge (1995)
Benerecetti, M., Giunchiglia, F., Serafini, L.: A model-checking algorithm for multi-agent systems. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 163–176. Springer, Heidelberg (1999)
Attoui, A., Hasbani, A.: Reactive systems developing by formal specification transformations. In: Tjoa, A.M. (ed.) DEXA 1997. LNCS, vol. 1308, pp. 339–344. Springer, Heidelberg (1997)
Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. Intern. Journal of Cooperating Information Systems 6, 37–65 (1997)
Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, pp. 3–17 (2000)
Rouf, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Verification of NASA emergent systems. In: Proceedings of the 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2004), pp. 231–238 (2004)
Eilenberg, S.: Automata, Languages and Machines. Academic Press, London (1974)
Holcombe, M.: X-machines as a basis for dynamic system configuration. Software Engineering Journal 3, 69–76 (1988)
Kefalas, P., Eleftherakis, G., Kehris, E.: Communicating X-machines: A practical approach for formal and modular specification of large systems. Journal of Information and Software Technology 45, 269–280 (2003)
Eleftherakis, G.: Formal Verification of X-machine Models: Towards Formal Development of Computer-based Systems. PhD thesis, Department of Computer Science, University of Sheffield (2003)
Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, London (1998)
Bernandini, F., Gheorghe, M.: Population P Systems. Journal of Universal Computer Science 10, 509–539 (2004)
Kefalas, P., Eleftherakis, G., Holcombe, M., Stamatopoulou, I.: Formal modelling of the dynamic behaviour of biology-inspired agent-based systems. In: Gheorghe, M. (ed.) Molecular Computational Models: Unconventional Approaches, pp. 243–276. Idea Publishing Inc. (2005)
Emerson, E.A., Clarke, E.M.: Characterising correctness properties of parallel programs as fixpoints. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 169–181. Springer, Heidelberg (1980)
Collinot, A., Drogul, A., Benhamou, P.: Agent oriented design of a soccer robot team. In: Proceedings of the 2nd Intern. Conf. on Multi-Agent Systems, pp. 41–47 (1996)
Kefalas, P., Eleftherakis, G., Sotiriadou, A.: Developing tools for formal methods. In: Proceedings of the 9th Panhellenic Conference in Informatics, pp. 625–639 (2003)
Wilensky, U.: Netlogo. Center for Connected Learning and Computer-based Modeling. Northwestern University, Evanston, IL (1999), http://ccl.northwestern.edu/netlogo
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kefalas, P., Stamatopoulou, I., Gheorghe, M. (2005). A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_13
Download citation
DOI: https://doi.org/10.1007/11559221_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)