Using unified modelling language to model the publish/subscribe paradigm in the context of timed Web services with distributed resources

Abstract

In this paper, we present a unified modelling language (UML) framework to model timed Web services with distributed resources. We provide a graphical model of timed Web services that integrates the publish/subscribe paradigm in the context of distributed resources, with the goal that users have a formal framework to design this kind of systems. A formalization is then provided by using UML sequence diagrams with Combined Fragments (CFs) to represent the interactions between the roles involved and Web Services Resource Framework as a standard for the management of distributed resources. The formalization is based on a two-level process algebra. At the top level we have the CF description, and at the bottom the interactions inside them. An operational semantics is then defined for this model, and two case studies are presented to illustrate the applicability of this formalism. ARTICLE HISTORY

Discrete time stochastic and deterministic Petri box calculus

“…The complexity of PNs generated for practical models in the literature demonstrates that it is not straightforward to construct such PNs directly from the system specifications. dtsdPBC is well suited for the discrete time applications, whose discrete states change with a global time tick, such as business processes, neural and transportation networks, computer and communication systems, timed web services [60], as well as for those, in which the distributed architecture or the concurrency level should be preserved while modeling and analysis (remember that, in step semantics, we have additional transitions due to concurrent executions). dtsdPBC is also capable to model and analyze parallel systems with fixed durations of the typical activities (loading, processing, transfer, repair) and stochastic durations of the randomly occurring activities (arrival, failure), including industrial, manufacturing, queueing, computing and network systems.…”

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets

“…On the other hand, taking as reference the algebraic syntax defined in Valero and Cambronero [12], participants can also execute local actions, such as variable assignments or time delays.…”

“…To the best of our knowledge, there is no work combining the main features of UML 2.5 sequence diagrams with the WSRF standard for the description of distributed resources so as to automatically generate its corresponding representation in colored Petri nets to simulate and validate the system. In a preliminary work [12], we presented a UML formal framework based on a timed process algebra to model timed Web services with distributed resources and then, we provided a graphical model of timed Web services based on sequence diagrams that integrates the publish/subscribe paradigm in the context of distributed resources, with the goal that users have a formal framework to design these systems. In this work, we have used the formal framework presented in Valero and Cambronero,[12] as basis to define a UML profile and develop a tool that allows us to obtain automatically a corresponding TCPN.…”

“…However, the time aspects were excluded in such a model. Afterward, in Valero and Cambronero [12], an algebraic syntax for sequence diagrams with combined fragments and WSRF was defined. An operational semantics to define the behavior of the modeled systems in a rigorous way was also introduced.…”