A mechanism for dynamic role playing

Abstract

The work presented in this article is based upon a methodological approach for building Multi-Agent Systems specifications. The basic idea is to define such systems as a set of entities playing roles which have interactions between them. We present a mechanism for dynamic role-playing specification within a formal framework. The framework use a formalism which can express Multi-Agent Systems aspects. This formalism composes Object-Z and statecharts. The main features of this approach are: enough expressive power to obtain unbiased specifications, tools for specification analysis and refinement mechanisms allowing the refinement of a high level specification into a low level specification which can be easily implemented.