A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF

Download Now
Provided by: University of Carthage
Topic: Big Data
Format: PDF
Composite Web services technologies are widely used due to its ability to provide interoperability among services from different companies. Web services are usually stateless, which means that no state is stored from the client's viewpoint. However, some new applications and services have emerged, which require to capture the state of some resources. Thus, new standards to model Web services states have appeared, such as Open Grid Services Infrastructure (OGSI), which became Web Services Resource Framework (WSRF). In this paper, the authors present a formal model based on WS-BPEL and WSRF, and they provide a prioritized-timed colored Petri net semantics for it.
Download Now

Find By Topic