Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources-Reference-Cited by-同舟云学术

Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources

Published:2015 Issue: Volume: Page:81-95
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Valero Valentin,Macià Hermenegilda,Díaz Gregorio,Cambronero M. Emilia

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-19458-5_6

Reference16 articles.

1. 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)

2. 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)

3. 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)

4. Box, D., et al.: Web Services Eventing (WS-Eventing). W3C Member Submission (March 2006), http://www.w3c.org/submission/ws-eventing

5. CPN Tools homepage, http://www.cs.au.dk/CPNTools

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Following the Writer’s Path to the Dynamically Coalescing Reactive Chains Design Pattern;Algorithms;2024-01-25

2. Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN;International Journal of Organizational and Collective Intelligence;2022-07-22

3. Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets;Software & Systems Modeling;2019-01-22