Formal model supporting Web service composition and verification
HOU Jinkui, WANG Lei
Journal of Computer Applications . 2015, (6): 1773 -1779 .  DOI: 10.11772/j.issn.1001-9081.2015.06.1773