Abstract
This paper is within the scope of methodical approaches for producing flexible and reliable formal specifications of interactions protocols between agents in a multiagent system. The basic idea behind it is to define the agents as an abstract machines described by their behavior. Such machines are able to create agents, interact with other agents of a same working group via roles usin precise communication protocols. Our goal is to model the interaction between agents with a formal method that is able to check and then prove our initial UML specification. In order to obtain the final specification with this approach, we chose to use the B method and illustrated it with a case study.
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
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, 1st edn. Addison-Wesley Pub Co., Reading (1999)
Odell, J., Nodine, M., Levy, R.: A metamodel for agents, roles, and groups. In: Odell, J., Giorgini, P., Müller, J. (eds.) gent-Oriented Software Engineering (AOSE) IV. Lecture Notes on Computer Science, Springer, Berlin (2005)
Bauer, B.: UML classe diagrams revisited in the context of agent-based systems. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 1–8. Springer, Heidelberg (2001)
Bicarregui, J.: Formal methods into practice: case studies in the application of the B method. IEE Proceedings on Software Engineering 144, 119–133 (1997)
Tatibouet, B., Hammad, A., Voisinet, J.: From an abstract B specification to UML class diagrams. In: 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2002), Marrakech, Morocco (2002)
Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M. (eds.) Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, pp. 121–140. Springer, Heidelberg (2000)
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Abrial, J.R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 83–128. Springer, Heidelberg (1998)
Yoo, M.J., Merlat, W., Briot, J.P.: Modeling and validation of mobile agents on the Web. In: Fishwick, P.A., Hill, D.R., Smith, R. (eds.) 1998 International Conference on Web-based Modeling and Simulation, The Society for Computer Simulation, San Diego CA, USA. Simulation Series, vol. 30, pp. 23–28 (1998)
Malioukov, A.: An object-based approch to the B formal method. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, p. 162. Springer, Heidelberg (1998)
Laleau, R., Mammar, A.: An overview of a method and its support tool for generating B specifications from UML notations. In: International Conference on Automated Software Engineering (ASE 2000), France,, IEEE CS Press, Los Alamitos (2000)
d’Inverno, M., Fisher, M., Lomuscio, A., Luck, M., de Rijke, M., Ryan, M., Wooldridge, M.: Formalisms for multi-agent systems. The Knowledge Engineering Review 12 (1997)
Hilaire, V., Koukam, A., Gruer, P., Muller, J.P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, p. 114. Springer, Heidelberg (2000)
Casset, L.: Development of an embedded verifier for java card byte code using formal methods. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, p. 290. Springer, Heidelberg (2002)
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
Fadil, H., Koning, JL. (2005). A Formal Approach to Model Multiagent Interactions Using the B Formal Method. In: Ramos, F.F., Larios Rosillo, V., Unger, H. (eds) Advanced Distributed Systems. ISSADS 2005. Lecture Notes in Computer Science, vol 3563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533962_47
Download citation
DOI: https://doi.org/10.1007/11533962_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28063-7
Online ISBN: 978-3-540-31674-9
eBook Packages: Computer ScienceComputer Science (R0)