University of Carthage
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.