Skip to main content
Article thumbnail
Location of Repository

A verification by abstraction framework for organizational multi-agent systems

By Nicolas Gaud, Belfort Montbéliard, Abderrafiâa Koukam, Belfort Montbéliard, Vincent Hilaire, Belfort Montbéliard, Massimo Cossentino, Alte Prestazioni and Stéphane Galland


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

Topics: Jung, Michel, Ricci & Petta (eds, AT2AI-6 Working Notes, From
Year: 2008
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.