SWN client-server composition operators in the OsMoSys framework

Abstract

In this paper we present a modular approach to the construction of complex Stochastic Well-Formed Nets, based on the definition of (reusable) submodels and their composition according to a client-server paradigm. First the client and server SWN modules are defined, then the message, broadcast, route, multicast, choice and synchronization operators are introduced, finally it is explained how they can be used to obtain composed models. The proposed method can be seen as a particular application of the more general OsMoSys approach, hence a brief introduction to OsMoSys precedes the core of the paper. We also discuss the implementation of our approach and the usage of the XML technology to ease the interchange of model description files among different analysis and simulation tools.