采用函数式语言的BPEL模型形式化验证方法

采用函数式语言的BPEL模型形式化验证方法

祝义，黄志球，周航

Formal Method for Verifying BPEL Model Used by Functional Programming Language

ZHU Yi, HUANG Zhiqiu, ZHOU Hang

计算机科学与探索 . 2018, (2): 185 -196 . DOI: 10.3778/j.issn.1673-9418.1611056