Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu. Testing Conformance of BPEL Business Process Based on Model Checking. JSW, 5(9):1030-1037, 2010. [doi]
@article{DongWLL10,
title = {Testing Conformance of BPEL Business Process Based on Model Checking},
author = {Rongsheng Dong and Zhao Wei and Xiangyu Luo and Fang Liu},
year = {2010},
doi = {10.4304/jsw.5.9.1030-1037},
url = {http://dx.doi.org/10.4304/jsw.5.9.1030-1037},
tags = {rule-based, model checking, meta-model, BPEL, testing, business process modeling, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/DongWLL10},
cites = {0},
citedby = {0},
journal = {JSW},
volume = {5},
number = {9},
pages = {1030-1037},
}