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

Valentín Valero and María-Emilia Cambronero

Mathematical and Computer Modelling of Dynamical Systems, 2017, vol. 23, issue 6, 570-594

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.

Date: 2017
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/13873954.2016.1277360 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:nmcmxx:v:23:y:2017:i:6:p:570-594

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/NMCM20

DOI: 10.1080/13873954.2016.1277360

Access Statistics for this article

Mathematical and Computer Modelling of Dynamical Systems is currently edited by I. Troch

More articles in Mathematical and Computer Modelling of Dynamical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().