计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2009年
5期
1774-1777
,共4页
接口自动机%Web服务%Web服务组合%Web服务商业流程执行语言
接口自動機%Web服務%Web服務組閤%Web服務商業流程執行語言
접구자동궤%Web복무%Web복무조합%Web복무상업류정집행어언
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范--Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法.
介紹瞭接口自動機的基本語法,針對目前最主要的一種描述和執行基于工作流模式的Web服務組閤的規範--Web服務商業流程執行語言 (business process execution language for Web services,BPEL4WS),定義瞭接口自動機和BPEL4WS之間的概唸映射,併給齣瞭BPEL4WS的基于接口自動機的形式化模型,最後通過一箇案例給齣瞭BPEL4WS到接口自動機的映射及驗證的方法.
개소료접구자동궤적기본어법,침대목전최주요적일충묘술화집행기우공작류모식적Web복무조합적규범--Web복무상업류정집행어언 (business process execution language for Web services,BPEL4WS),정의료접구자동궤화BPEL4WS지간적개념영사,병급출료BPEL4WS적기우접구자동궤적형식화모형,최후통과일개안례급출료BPEL4WS도접구자동궤적영사급험증적방법.
