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)
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.
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.
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