Web服务组合行为一致性的形式化描述和分析

李劲张华吴浩雄向军

Formal description and analysis of conformance of composite Web service behavior

LI Jin ZHANG Hua WU Hao-xiong XIANG Jun

计算机应用 . 2012, (02): 545 -550 . DOI: 10.3724/SP.J.1087.2012.00545