Specifying Properties of MAS: Towards " on the fly " Debugging Architecture

This paper describes a method allowing to extract properties from a multiagent system development process. This method is the basis of our study whose goal is to check at runtime, if agents and mores generally multiagent systems have been correctly developed. In order to extract properties, and considering that a correct system is a system verifying the properties specified by the designer, we are interested in the "property" notion. That is why we give here a definition of "property" and we present a method to extract them. This method, relying on the GAIA methodology, explain how to extract the system properties during the analysis and design stages. So, after a brief description of GAIA, we present our contribution to have a more detailed and more adapted description of a MAS. Notably, we redefine the interactions model thanks to "extended protocols". In the same way, we define an add-on that allows to extract properties during the design phase. Indeed, we show what is needed to study and define the whole set of system’s properties, like roles responsibilities or interactions.