Formal description and analysis of conformance of composite Web service behavior
LI Jin ZHANG Hua WU Hao-xiong XIANG Jun
Journal of Computer Applications . 2012, (02): 545 -550 .  DOI: 10.3724/SP.J.1087.2012.00545