Showing papers by "Gregorio Díaz published in 2015"
13 Apr 2015
TL;DR: This paper presents a generic model for publishing and managing WS-resourses in the context of Web services with distributed resources, which includes operations for clients to discover and subscribe to resources, with the intention of being notified when the resource property values fulfill certain conditions.
Abstract: In this paper we consider a Timed Automata model for the Publish/Subscribe paradigm, where special attention is given to its temporal aspects. Despite this special interest, we present a generic model for publishing and managing WS-resourses in the context of Web services with distributed resources. The model includes operations for clients to discover and subscribe to resources, with the intention of being notified when the resource property values fulfill certain conditions. Furthermore, error handling is provided in case discovery fails or a resource life has expired. Model-checking is used to verify the model soundness, by means of the UPPAAL tool, and a specific case study is presented to illustrate how the model deals with the scalability problem.
4 citations
22 Jun 2015
TL;DR: A generic CPN model for publishing and managing WS-resources is presented, which includes operations for clients to subscribe to these resources, with the intention of being notified when the resource property values fulfill certain conditions.
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.
2 citations