支持Web服务组合与验证的形式化模型

支持Web服务组合与验证的形式化模型

侯金奎, 王磊

Formal model supporting Web service composition and verification

HOU Jinkui, WANG Lei

计算机应用 . 2015, (6): 1773 -1779 . DOI: 10.11772/j.issn.1001-9081.2015.06.1773