Show all publications

Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company

Download Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
Authors:
Details:
In Proc. of Advances on Practical Applications of Agents and Multiagent Systems, pp. 135-140. Springer Berlin Heidelberg, 2011.9th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Salamanca, Spain, 2011.
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.
Keywords:
Formal method, Holon, MAS
Publication Category:
International conference with proceedings
Copyright 2010-2019 © Laboratoire Connaissance et Intelligence Artificielle Distribu√©es - Université Bourgogne Franche-Comté - Privacy policy