A Correctness Verification Approach of the BPEL Exception Handling CPN Model Based on Temporal Property

Abstract

BPEL is becoming the mainstream of service oriented software, there are many exception handling models of BPEL. Toward the problem that how to guarantee the correctness of these models, this paper presents a model checking correctness approach of CPN (Colored Petri Nets)model based on temporal property, describes the temporal property using CTL(Computer… (More)
DOI: 10.4304/jnw.9.10.2743-2750

Topics

12 Figures and Tables

Cite this paper

@article{Guan2014ACV, title={A Correctness Verification Approach of the BPEL Exception Handling CPN Model Based on Temporal Property}, author={Hua Guan and Shi Ying and Chunwei Wang}, journal={JNW}, year={2014}, volume={9}, pages={2743-2750} }