A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows

Hlaoui, Yousra Bendaly; Ayed, Leila Ben

doi:10.1109/compsacw.2011.51

Cited by 4 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Continuing with UML formalizations, Hlaoui et al [15] use a domain specific language (DSL) based on UML activity diagrams to specify and systematically compose workflow models from grid services. They present a formal framework to transform UML activity diagrams specifying workflows composed from grid services to the WS-BPEL language describing Web services workflows.…”

Section: Related Workmentioning

confidence: 99%

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

Valero

Cambronero

2017

Mathematical and Computer Modelling of Dynamical Systems

View full text Add to dashboard Cite

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

show abstract

Section: Related Workmentioning

confidence: 99%