Abstract
This paper proposes a formal approach, based on stepwise refinements, for specifying and designing multi-agent applications. This approach provides a specification language which integrates temporal logic in the Z notation allowing, in this way, to cover static, behavioural, as well as dynamic aspects of multi-agent systems. Moreover, it proposes a methodology giving a set of hints and principles which help and guide the design process. Indeed, this methodology enables the user to develop step by step, in an incremental way, an implementation starting from an abstract requirements (goal) specification. Finally, we illustrate our approach by developing an agent based solution for the pursuit problem.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages (1998)
El Fallah, A.: Représentation et manipulation de plans à l’aide des réseaux de Petri. Actes des 2èmes Journées Francophones IAD-SMA (1994)
Jmaiel, M., Pepper, P.: Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal 42, 737–764 (2003)
Kolyang, R., Santen, T., Wolff, B.: A structure preserving encoding of Z in isabelle-Hol. In: von Wright, J., Harrison, J., Grundy, J. (eds.) TPHOLs 1996. LNCS, vol. 1125, pp. 283–298. Springer, Heidelberg (1996)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
Meisels, I., Saaltink, M.: The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)
Spivey, M.: The Z notation, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)
Von, V.: An Integration of Z and Timed CSP for specifying Real-Time Embedded Systems. PhD thesis (2002)
Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)
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
Regayeg, A., Kacem, A.H., Jmaiel, M. (2005). Specification and Design of Multi-agent Applications Using Temporal Z. In: Barley, M.W., Kasabov, N. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2004. Lecture Notes in Computer Science(), vol 3371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32128-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-32128-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25340-2
Online ISBN: 978-3-540-32128-6
eBook Packages: Computer ScienceComputer Science (R0)