Formal specification of holonic multi-agent systems framework

Lecture Notes in Computer Science

Volumn 3516, Issue III, 2005, Pages 719-726

  Rodriguez, Sebastian ^a   Hilaire, Vincent ^a   Koukam, Abder ^a  

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

Author keywords

Formal specification; Holonic Multi Agent Systems; Model checking; Self organised system

Indexed keywords

FORMAL LOGIC; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SOCIETIES AND INSTITUTIONS; SOFTWARE AGENTS; APPLICATION PROGRAMS; FORMAL SPECIFICATION; MODEL CHECKING; SPECIFICATIONS;

FORMAL SPECIFICATION; HOLONIC FRAMEWORK; MODELING; AUTONOMOUS COMPONENTS; BUILDING COMPLEXES; DISTRIBUTED APPLICATIONS; HOLONIC MULTIAGENT SYSTEMS; REAL-WORLD PROBLEM; SELF ORGANIZATIONS; SELF-ORGANISED;

MULTI AGENT SYSTEMS;

EID: 25144450016     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11428862_98     Document Type: Conference Paper

References (14)

1. Hans-Jörgen Bürckert, Klaus Fischer, and Gero Vierke. Teletruck: A holonic fleet management system.
2. Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. SAL 2. In Rajeev Alur and Doron Peled, editors, Computer-Aided Verification, CAV 2004, volume 3114 of Lecture Notes in Computer Science, pages 496-500, Boston, MA, July 2004. Springer-Verlag.
3. 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.
4. Pablo Gruer, Vincent Hilaire, Abder Koukam, and P. Rovarini. Heterogeneous formal specification based on object-z and statecharts: semantics and verification. Journal of Systems and Software, 70(1-2):95-105, 2004.
5. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
6. Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Formal specification and prototyping of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents' World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
7. Arthur Koestler. The Ghost in the Machine. Hutchinson, 1967.
8. Zohar Manna and Amir Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, 1995.
9. Francisco Maturana. MetaMorph: an adaptive multi-agent architecture for advanced manufacturing systems. PhD thesis, The University of Calgary, 1997.
10. Sebastian Rodriguez, Vincent Hilaire, and Abderrafia Koukam. Towards a methodological framework for holonic multi-agent systems. In Fourth International Workshop of Engineering Societies in the Agents World, Imperial College London, UK (EU), 29-31 Octubre 2003.
11. M. Ulieru and A. Geras. Emergent holarchies for e-health applications: a case in glaucoma diagnosis. In IECON 02 [Industrial Electronics Society, IEEE 2002 28th Annual Conference of the], volume 4, pages 2957-2961, 2002.
12. Gero Vierke and Christian Russ. Agent-based configuration of virtual entreprises.
13. Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Oren Etzioni, Jörg P. Müller, 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.
14. J. Wyns. Reference architecture for Holonic Manufacturing Systems - the key to support evolution and reconfiguration. PhD thesis, Katholieke Universiteit Leuven, 1999.