English

BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources

Software Engineering 2016-08-14 v1

Abstract

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, we then present a formal model that combines orchestrations written in BPEL with distributed resources, by using WSRF.

Keywords

Cite

@article{arxiv.1203.1760,
  title  = {BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources},
  author = {Jose Antonio Mateo and Valentın Valero and Gregorio Dıaz},
  journal= {arXiv preprint arXiv:1203.1760},
  year   = {2016}
}

Comments

LNCS

R2 v1 2026-06-21T20:30:59.334Z