University of Carthage
Software systems are gaining complexity and concurrency with the appearance of new computational paradigms such as Service-Oriented Computing (SOC), Grid Computing and Cloud Computing. Web service compositions are gaining attention to develop complex web systems by combination of existing services. Thus, there are many works that leverage the advantages of this approach. However, there are only few works that use web service compositions to manage distributed resources. In this paper, the authors then present a formal model that combines orchestrations written in BPEL with distributed resources, by using WSRF.