Abstract
In this paper we present the application of a compositional modeling methodology to the re-engineering of Stochastic Well Formed net (SWN) models of a contact center. The modeling methodology is based on the definition of proper operators to connect submodels and it is supported by the OsMoSys modeling framework. The paper describes the implementation of a library of reusable SWN submodels of the contact center components and the definition of proper SWN connectors to easily develop models of different configurations of the system. We also describe the solving process of the composed models and its integration in the OsMoSys framework. Moreover, we discuss the advantages that this approach, based on the definition of classes and instances of submodels, can provide to the application of SWN to complex case studies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ballarini, P., Donatelli, S., Franceschinis, G.: Parametric stochastic well-formed nets and compositional modelling. In: Proc. 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark (June 2000)
Bernardi, S., Donatelli, S., Horváth, A.: Compositionality in the greatspn tool and its use to the modelling of industrial applications. Software Tools for Technology Transfer (2001)
Best, E., Flrishhacl Anf, H., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: A class of composable high level Petri nets with an application to the semantics of B(PN)2. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935. Springer, Heidelberg (1995)
Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42(11), 1343–1360 (1993)
Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools 24(1&2), 47–68 (1995)
Franceschinis, G., Bertoncello, C., Bruno, G., Lungo Vaschetti, G., Pigozzi, A.: SWN models of a contact center: a case study. In: Proc. of the 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001. IEEE C.S. Press, Los Alamitos (2001)
Franceschinis, G., Marrone, S., Mazzocca, N., Vittorini, V.: SWN Client-server composition operators in the OsMoSys framework. In: Proc. of the 10th Int. Workshop on Petri Nets and Performance Models, Urbana, Illinois, USA (September 2003)
Franceschinis, G., Gribaudo, M., Iacono, M., Vittorini, V., Bertoncello, C.: DrawNet++: a flexible framework for building dependability models. In: Proc. of the Int. Conf. on Dependable Systems and Networks, Washington, DC, USA (June 2002)
Gribaudo, M., Iacono, M., Mazzocca, N., Vittorini, V.: The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling. In: Proc. of the 15th European Simulation Symposium and Exhibition, October 2003. Delft, The Netherlands (2003)
Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (1992)
Rojas, I.: Compositional construction and analysis of Petri net systems. PhDthesis, University of Edinburgh (1997)
Sibertin-Blanc, C.: A client-server protocol for the composition of petri nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691. Springer, Heidelberg (1993)
Sibertin-Blanc, C.: Comunicative and cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815. Springer, Heidelberg (1994)
Sibertin-Blanc, C.: CoOperative Objects: Principles, use and implementation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, p. 216. Springer, Heidelberg (2001)
Franceschinis, G., Gribaudo, M., Iacono, M., Mazzocca, N., Vittorini, V.: Drawnet++: Model objects to support performance analysis and simulation of complex systems. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, p. 233. Springer, Heidelberg (2002)
Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: OsMoSys: a new approach to multi-formalism modeling of systems. Journal of Software and System Modeling 3(1), 68–81 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Mazzocca, N., Vittorini, V. (2004). Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-27793-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22236-1
Online ISBN: 978-3-540-27793-4
eBook Packages: Springer Book Archive