摘要
在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.
Recently, in the research of service combination, for the service which described by standard language BPEL and WSCL etc, language itself is lack of the support for checking the validity of combination. It must depend on formal tool which helps to check the validity of service combination. In order to solve the shortage of BPEL which supports the verification, based on the formal tool of interface automata, the paper gives the transition from the primary language dement of BPEL to interface automata. The purpose of the transition is to use the method which obtair, s behaviors based interface automata to verify the service combination. At last the paper displays an example of transition to prove the validity.
出处
《山东理工大学学报(自然科学版)》
CAS
2008年第2期66-71,共6页
Journal of Shandong University of Technology:Natural Science Edition
关键词
服务组合
业务流程执行语言
形式化工具
接口自动机
service corabination
business process execution language
formal tool
interface automata