山东理工大学学报（自然科学版）
山東理工大學學報（自然科學版）
산동리공대학학보（자연과학판）
JOURNAL OF SHANDONG UNIVERSITY OF TECHNOLOGY(SCIENCE AND TECHNOLOGY)
2008年
2期
66-71
,共6页
服务组合%业务流程执行语言%形式化工具%接口自动机
服務組閤%業務流程執行語言%形式化工具%接口自動機
복무조합%업무류정집행어언%형식화공구%접구자동궤
在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.
在目前對于服務組閤的研究中,對于用業務流程執行語言(BPEL)和WSCL等標準語言來描述的服務來說,語言本身缺乏對組閤正確性進行檢驗的支持,必鬚藉助相關的形式化工具來完成對服務組閤的檢驗.為瞭解決BPEL對檢驗支持的不足,基于接口自動機這一形式化工具,對BPEL中主要語言元素到接口自動機進行轉換,轉換的目的是為瞭下一步應用基于接口自動機的行為穫取方法來對服務的組閤進行驗證,最後通過一箇實例證明瞭轉換方法的有效性.
재목전대우복무조합적연구중,대우용업무류정집행어언(BPEL)화WSCL등표준어언래묘술적복무래설,어언본신결핍대조합정학성진행검험적지지,필수차조상관적형식화공구래완성대복무조합적검험.위료해결BPEL대검험지지적불족,기우접구자동궤저일형식화공구,대BPEL중주요어언원소도접구자동궤진행전환,전환적목적시위료하일보응용기우접구자동궤적행위획취방법래대복무적조합진행험증,최후통과일개실예증명료전환방법적유효성.
