Show all publications

A Verification by Abstraction Framework for Organizational Multiagent Systems

Download PDFDownload Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
In Proc. of the Sixth International Workshop AT2AI-6: "From Agent Theory to Agent Implementation", of the Seventh International Conference on Autonomous agents and Multiagent Systems (AAMAS), Bernhard JUNG, Fabien MICHEL, Alessandro RICCI, Paolo PETTA (eds.), pp. 67-73, Estoril, Portugal, 2008.
Software agents and multi-agent systems (MAS from now on) are recognized as both abstractions and effective technologies for modelling and building complex distributed applications. However, they are still difficult to engineer. The reason is that when massive number of autonomous components interact it is very difficult to predict that the emergent organizational structure fits the system goals or that the desired functionalities will be fulfilled. Verification approaches try to evaluate whether or not a product, service, or system complies with a specification. However verification approaches are limited by the state- space of the system under study. This paper proposes an approach based upon an organizational framework and specifically the capacity concept which enables to abstract a role know-how and to reduce the state space of the system under study. A formal framework based on multi-formalisms language and the specification approach are presented and illustrated through the specification of a part of the contract net protocol.
Agent Oriented Software Engineering, Verification, Abstraction
Publication Category:
International conference with proceedings
Copyright 2010-2019 © Laboratoire Connaissance et Intelligence Artificielle DistribuĂ©es - Université Bourgogne Franche-Comté - Privacy policy