Formal specification and prototyping of multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1972 LNAI, Issue , 2000, Pages 114-127

  Hilaire, Vincent ^a   Koukam, Abder ^a   Gruer, Pablo ^a   Müller, Jean Pierre ^b  

^a UNIVERSITÉ DE TECHNOLOGIE DE BELFORT MONTBÉLIARD   (France)

^b UNIVERSITY OF NEUCHÂTEL   (Switzerland)

Author keywords

Agent; Prototyping; Specification

Indexed keywords

AGENTS; FORMAL SPECIFICATION; SEMANTICS; SOFTWARE PROTOTYPING; SPECIFICATIONS;

FORMAL DESCRIPTION; FORMAL FRAMEWORK; GENERIC APPROACH; MULTI AGENT; MULTI FORMALISM; ORGANIZATIONAL MODELING;

MULTI AGENT SYSTEMS;

EID: 84899686269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44539-0_9     Document Type: Conference Paper

References (21)

1. Federico Bergenti and Agostino Poggi. Exploiting UML in the Design of Multi- Agent Systems. In Engineering Societies in the Agents' World, Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
2. F. M. T. Brazier, B. Dunin Keplicz, N. Jennings, and J. Treur. Desire: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, 6:67-94, 1997. (Pubitemid 127718533)
3. Cristiano Castelfranchi. Engineering Social Order. In Engineering Societies in the Agents' World, Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
4. Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, and Michael Wooldridge. Formalisms for multi-agent systems. In First UK Workshop on Foundations of Multi-Agent Systems, 1996.
5. Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The Object-Z specification language. Technical report, Software Verification Research Center, Departement of Computer Science, University of Queensland, AUSTRALIA, 1991.
6. Benoit Durand. Simulation multi-agents et épidémiologie opérationnelle. Thèse de doctorat, Université de Caen, 1996.
7. Jacques Ferber and Olivier Gutknecht. Aalaadin: A meta-model for the analysis and design of organizations in multi-agent systems. In ICMAS'98, july 1998.
8. M. Fisher. If Z is the answer, what could the question possibly be? In Intelligent Agents III, number 1193 in Lecture Note of Artificial Intelligence, 1997.
9. Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. UTBM/SET, IEEE Computer Society Press, 2000.
10. Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000.
11. Olivier Gutknecht and Jacques Ferber. Madkit: Organizing heterogeneity with groups in a platform for multiple multi-agent systems. Technical Report 97188, LIRMM, 1997.
12. D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, Editor, Logics and Models of Concurrent Systems. Springer Verlag, 1985.
13. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987. (Pubitemid 17617706)
14. David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark B. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990. (Pubitemid 20712683)
15. T. Lissajoux, V. Hilaire, A. Koukam, and A. Caminada. Genetic Algorithms as Prototyping Tools for Multi-Agent Systems: Application to the Antenna Parameter Setting Problem. In Springer Verlag, editor, Lecture Notes in Artificial Intelligence, number 1437 in LNAI, 1998.
16. Michael Luck and Mark d'Inverno. A formal framework for agency and autonomy. In AAAI Press/MIT Press, editor, Proceedings of the First International Conference on Multi-Agent Systems, pages 254-260, 1995.
17. Richard F. Paige. A meta-method for formal method integration. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 473-494. Springer-Verlag, September 1997. ISBN 3-540- 63533-5.
18. Trygve Reenskaug. Working with Objects: The OOram Software Engineering Method. Manning Publications, 1996.
19. Michael Wooldridge and Nicholas R. Jennings. Intelligent agents: Theory and practice. Available by FTP, 1994. Submitted to The Knowledge Engineering Review, 1995.
20. Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Oren Etzioni, Jörg P. M̈uller, and Jeffrey M. Bradshaw, Editors, Proceedings of the Third Annual Conference on Autonomous Agents (AGENTS-99), pages 69-76, New York, May 1-5 1999. ACM Press.
21. Pamela Zave and Michael Jackson. Conjunction as composition. acm Transactions of Software Engineering and Methodology, 2(4):379-411, October 1993.