Current Proceedings on Technology

Current Proceedings on Technology

A Petri-net Model for Formal Modeling of WS-BPEL Processes

Yazarlar: Jia Li, Yunni Xia, Xin Luo

Cilt 3 , Sayı - , 2013 , Sayfalar -

Konular:-

Anahtar Kelimeler:WS-BPEL,Petri net,Service compositon

Özet: Business Process Execution Language (WS-BPEL) is one of the most popular standards for Web service composition. To formalize WS-BPEL gives the way to further describe, reason, analyze and verify complext service compositions. In this paper, we propose a translation-based approach for formalization of WS-BPEL processes, which employs the Petri net as the intermediate representation. A set of translation rules is defined for constructs and activities so that processes specified in BPEL can be translated into the equivalent Petri nets.

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2013, title={A Petri-net Model for Formal Modeling of WS-BPEL Processes}, volume={3}, number={0}, publisher={Current Proceedings on Technology }, author={Jia Li, Yunni Xia, Xin Luo}, year={2013} }
APA
KOPYALA
Jia Li, Yunni Xia, Xin Luo. (2013). A Petri-net Model for Formal Modeling of WS-BPEL Processes (Vol. 3). Vol. 3. Current Proceedings on Technology .
MLA
KOPYALA
Jia Li, Yunni Xia, Xin Luo. A Petri-Net Model for Formal Modeling of WS-BPEL Processes. no. 0, Current Proceedings on Technology , 2013.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri