%0 Journal Article
%T Interface automata-based formal model for BPEL4WS Web service composition<br>基于接口自动机的BPEL4WS Web服务组合形式化模型
%A SU Huan-cheng
%A HUANG Zhi-qiu
%A LIU Lin-yuan
%A <br>苏焕程
%A 黄志球
%A 刘林源
%J 计算机应用研究
%D 2009
%I 
%X This paper introduced basic syntax of interface automata. For the most important kind of specification of specifying and executing workflow-based Web service composition-business process execution language for Web services(BPEL4WS), defined the conception mapping between interface automata and BPEL4WS and presented a interface automata-based formal model for BPEL4WS. Introduced the model verification method through a case study.
%K interface automata
%K Web service
%K Web service composition
%K BPEL4WS<br>接口自动机
%K Web服务
%K Web服务组合
%K Web服务商业流程执行语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=CC7ACBE4082045A49D3A437247413CBB&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=94C357A881DFC066&sid=CC25DB91403D0902&eid=E0606BDC3B7A10F0&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=15