Abstract
In complex systems, multiple aspects interact and influence each other. A vast number of entities are present in the system. Traditional modeling and simulation techniques fail to capture interactions between loosely coupled aspects of a complex distributed system. The objective of this work is to extend a Holonic methodology by using a formal specification language based on two formalisms: Generalized Stochastic Petri Net (GSPN) and Z language. Such a specification style facilitates the modeling of organizations and the interactions between them with both reactive and functional aspects. We illustrate the suitability of our generic approach by applying it to a Distributed Industrial Maintenance Company.
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.
Similar content being viewed by others
References
Gruer, J.P., Hilaire, V., Koukam, A.: Multi-agent approach to modeling and simulation of urban transportation systems. In: 2001 IEEE International Conference on Systems, Man, and Cybernetics, vol. 4, pp. 2499–2504. IEEE, Los Alamitos (2001)
Gaud, N.: Systèmes Multi-Agents Holoniques: de l’analyse à l’implantation. PhD thesis, Université de Technologie de Belfort-Montbéliard (2007)
Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: A holonic metamodel for agent-oriented analysis and design. In: Mařík, V., Vyatkin, V., Colombo, A.W. (eds.) HoloMAS 2007. LNCS (LNAI), vol. 4659, pp. 237–246. Springer, Heidelberg (2007)
Object Management Group. MDA guide, v1.0.1, OMG/2003-06-01 (2003)
Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: ASPECS: an agent-oriented software process for engineering complex systems How to design agent societies under a holonic perspective. Auton. Agent Multi-Agent Syst. 20, 260–304 (2010)
Mazigh, B.: Formal specification using Z and GSPN. Technical Report, the Department of Computer Science, Monastir University (2006)
Lightfoot, D.: Formal specification using Z. The Macmillan Press, Basingstoke (1991)
Mazigh, B.: Modélisation et évaluation des systèmes de productions par les réseaux de Petri stochastiques généralisés. PhD thesis, Université de Haute Alsace, Mulhouse. France (1994)
Arthan, R.D.: On Free Type Definitions in Z. In: Published in the Proceedings of the 1991 Z User Meeting. Springer, Heidelberg (1992)
Rodriguez, S., Hilaire, V., Koukam, A.: Towards a holonic multiple aspect analysis and modeling approach for complex systems: Application to the simulation of industrial plants. Journal Simulation Modelling Practice and Theory 15, 521–543 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazigh, B., Hilaire, V., Koukam, A. (2011). Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company. In: Demazeau, Y., Pěchoucěk, M., Corchado, J.M., Pérez, J.B. (eds) Advances on Practical Applications of Agents and Multiagent Systems. Advances in Intelligent and Soft Computing, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19875-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-19875-5_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19874-8
Online ISBN: 978-3-642-19875-5
eBook Packages: EngineeringEngineering (R0)