Abstract
In this paper a Prioritized-Timed Colored Petri Net model for the Publish/Subscribe paradigm in the context of Web services distributed resources is considered. We present a generic CPN model for publishing and managing WS-resources, which includes operations for clients to subscribe to these resources, with the intention of being notified when the resource property values fulfill certain conditions. We use CPN Tools to check and validate the model, and a case study is presented to illustrate how this CPN model works.
This work has received financial support from the Spanish Government (cofinanced by FEDER funds) through the TIN2012-36812-C02-02 Project.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abidi, L., Cérin, C., Evangelista, S.: A Petri-Net Model for the Publish-Subscribe Paradigm and its Application for the Verification of the BonjourGrid Middleware. In: Proc. 2011 IEEE International Conference on Services Computing, pp. 496–503 (2011)
Baldoni, R., Contenti, M., Tucci, S., Virgilio, A.: Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach. In: Proc. 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 304–311 (2003)
Baresi, L., Ghezzi, C., Mottola, L.: On Accurate Automatic Verification of Publish/Subscribe Architectures. In: Proc. 29th International Conference on Software Engineering (ICSE 2007), pp. 199–208 (2007)
Box, D., et al.: Web Services Eventing (WS-Eventing). W3C Member Submission (March 2006), http://www.w3c.org/submission/ws-eventing
CPN Tools homepage, http://www.cs.au.dk/CPNTools
Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The Many Faces of Publish/Subscribe. ACM Computing Surveys 35(2) (2003)
Garlan, D., Khersonsky, S., Kim, I.: Model Checking Publish-Subscribe Systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 166–180. Springer, Heidelberg (2003)
Hens, P., Snoeck, M., Poels, G., Backer, M.: A Petri Net Formalization of a Publish-Subscribe System. Int. report, Faculty of Business and Economics, Katholieke Univ. Leuven, http://dx.doi.org/10.2139/ssrn.1886198
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. Springer (1997)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer (2009)
Lin, Y., Plade, B.: Survey of Publish-Subscribe Event Systems. Computer Science Department, Indiana University. Technical Report, vol. 16 (2003)
Mateo, J.A., Valero, V., Macià, H., Díaz, G.: A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. In: Canal, C., Idani, A. (eds.) SEFM 2014 Workshops. LNCS, vol. 8938, pp. 389–404. Springer, Heidelberg (2015)
Niblett, P., Graham, S.: Events and Service-Oriented Architecture: The OASIS Web Services Notification Specifications. IBM Systems Journal 44(4), 869–886 (2005)
OASIS. UDDI Version 3.02 API Specification (2005), https://www.oasis-open.org/committees/uddi-spec/doc/tcspecs.htm#uddiv3
OASIS. OASIS Web Services Resource Framework (WSRF), v1.2 (2006), https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsrf
Zanolin, L., Ghezzi, C., Baresi, L.: An Approach to Model and Validate Publish/Subscribe Architectures. In: Proc. of the SAVBS 2003 Workshop, pp. 35–41 (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Valero, V., Macià, H., Díaz, G., Cambronero, M.E. (2015). Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. In: Núñez, M., Güdemann, M. (eds) Formal Methods for Industrial Critical Systems. FMICS 2015. Lecture Notes in Computer Science(), vol 9128. Springer, Cham. https://doi.org/10.1007/978-3-319-19458-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-19458-5_6
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19457-8
Online ISBN: 978-3-319-19458-5
eBook Packages: Computer ScienceComputer Science (R0)