TY - GEN
T1 - SWN client-server composition operators in the OsMoSys framework
AU - Franceschinis, Giuliana
AU - Vittorini, Valeria
AU - Marrone, Stefano
AU - Mazzocca, Nicola
N1 - Publisher Copyright:
© 2005 IEEE.
PY - 2003
Y1 - 2003
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=26444452652&partnerID=8YFLogxK
U2 - 10.1109/PNPM.2003.1231542
DO - 10.1109/PNPM.2003.1231542
M3 - Conference contribution
AN - SCOPUS:26444452652
T3 - 10th International Workshop on Petri Nets and Performance Models, PNPM 2003
SP - 52
EP - 61
BT - 10th International Workshop on Petri Nets and Performance Models, PNPM 2003
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th International Workshop on Petri Nets and Performance Models, PNPM 2003
Y2 - 2 September 2003 through 5 September 2003
ER -