Abstract
In this paper, we propose a formal specification method for manufacturing systems software development. Our approach is based on rewriting logic and multi-agent paradigm. It proposes a methodology for the analysis and the structuration of the command part of manufacturing systems, in terms of cooperative and specialized agents. Rewriting logic constitutes the formal framework. The approach may be seen under two complementary aspects; the first one consists, in general, in the distributed system conception and the second concerns the use of IAD principles for the representation, the distribution and the knowledge co-operation through a system of cognitive, autonomous and co-operating agents. The method supports modularity and abstraction, follows the great principles of a multi-agent systems approach and supports real time applications.
Chapter PDF
References
AGHA G., HEWITT C. (1987) Concurrent Programming Using Actors: 00CP87, Yonezawa, MIT Press,.
ATTOUI A., SCHNEIDER M (1994a) Valid: An Environment Based on Rewriting Logic for the Formal Modelling of Manufacturing Systems: CIMPRO’94, Rudgers’ Conference on Computer Integrated Manufacturing in the Preocess Industries, New Jersey, USA, April 25–26.
ATTOUI A., SCHNEIDER M (1994b) A Formal Approach for Prototyping Distributed Information Systems: IEEE International Workshop on Rapid System Prototyping, Grenoble, France, 21–23 June.
AYEL J. (1991) CIMES, un système d’intelligence artificielle distribuée pour la supervision en continu des activités de gestion de production: Thèse de Doctorat, Université de Savoie.
BINDING C., SARIA H., NIRSCHI H. (1991) Mixing LOTOS and SDL Specifications: FORTE’91, Sydney, 12–22 Nov.
BOURON T. (1993) Structure de communication et d’organisation pour la coopération dans un univers multi-agents: Thèse de Doctorat, Université de Paris VI, LAFORIA 93. 04.
BOUZOUANE A. (1993) Un modèle multi-agent basé sur le tableau noir: application au pilotage d’une délégation d’assurances: Thèse de Doctorat, Ecole Centrale de Lyon.
BRUNO G., MARCHETTO G. (1986) Process translatable Petri nets for the rapid prototyping of process control systems“, IEEE Transactions on Software Engineering, SE-12, February 1986.
BUDKOWSKI S. (1992) Estelle Development Tooltest (EDT): Computer Network and ISDN Systems, Special Issues on FDT Concepts and Tools, Vol.25, N°1.
BUSTTARD D.W., NORRIS M.T., ORR R.A., WINSTANLEY A.C. (1992) An Exercise in Formalizing the Description of Concurrent Systems: Software Practice Experience, Vol 22, N° 12, Dec.
CARDOZO E. (1993) Using the object model to ilplement multi-agent systems: IEEE International Conference, Boston.
COELHO DA COSTA R.J., COURTIAT J.P. (1992) A True Concurrency Semantics for LOTOS: FORTE’92, Lannion (France), 13–16 Oct.
COURTIAT J.P., DIAZ M., MAZZOLA V.B., DE SAQUI-SANNES A.(1991) Description formelle de protocoles et de services OSI en Estelle et Estelle*- Expérience et méthodologie: CFIP’ 91.
SIC 5TIMC/IMAG, Grenoble (1992) Modèles de connaissances et systèmes multi-agents: Journée Systèmes Multi-Agents du PRC-IA, 18 Déc. 1992, Nancy.
KELLERT P, FORCE C. (1992) Knowledge Model Building of Manufacturing Systems with SADT: 8th International Conference on CAD/CAM Robotics and Factories of the Future, Metz (France), 17–19 Août.
ISO 9074 (1989) Information Processing systems- OSI Estelle: a Formal Description Technique Based on an Extended State Transition Model.
FAYAD M. E. (1994) Objects Modeling Technique (OMT): Experience report: Journal of Object-Oriented Programming, Nov-Dec.
FRASER Martin D. (1994) Strategies for Incorporating Formal Specification in Software Development: communications of the ACM, N°10, Vol.37, October.
LAASRI H., MAITRE B. (1989) Coopération dans un univers multi-agents basée sur le modèle du blackboard: étude et réalisation: thèse de Doctorat, Université de Nancy 1.
LIGHTFOOT DAVID (1991) Formal Specification Using Z’: The Macmillan Press.
IS 8807 (1988) LOTOS, a formal description technique based on the temporal ordering of observational behavior, December 88.
MAOUCHE A. and ATTOUI A. (1994) A programming environment for distributed applications: Proceedings of the 5th international training equipment conference and exibition, The Hague, The Netherlands, April 26–28.
MESEGUER J.,(1990) A Logical Theory of Concurrent Objects: Concur 90 Conference, Springer Verlag, Amsterdam, August 1990.
OCCELLO M. (1993) Blackboards distribués et parallèles: application au contrôle de systèmes dynamiques en robotique et en informatique musicale: Thèse de Doctorat, Université de Nice, Sophia-Antipolis 93. 01.
PETERSON J.L. (1981) Petri Nets Theory and the Modelling of Systems: Prentice-Hall, Englewood Cliffs NJ.
SUELMASSI R. and STRAUSSER B. (1991) NIST Integrated Tool Set For Estelle: Formal Description Techniques, Quemada (ed ), North-Holland.
STINCKWICH S. (1993) Modèle et environnement objet dédié aux systèmes milti-agents: Premières journées IAD SMA, Toulouse, Avril.
VIGDER M. (1991) Using LOTOS in a Design Environment: Proceedings FORTE’91, Sydney, 12–22 Nov.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Attoui, A., Hasbani, A., Maouche, A. (1995). Specification Environment for Multi-agent Systems Based on Anonymous Communications in the CIM Context. In: Ladet, P., Vernadat, F. (eds) Integrated Manufacturing Systems Engineering. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34919-0_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-34919-0_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4899-0977-0
Online ISBN: 978-0-387-34919-0
eBook Packages: Springer Book Archive