作者：吉春山 刘晓燕 吕苏环服务组合业务流程执行语言形式化工具接口自动机
摘要：在目前对于服务组合的研究中，对于用业务流程执行语言（BPEL）和WSCL等标准语言来描述的服务来说，语言本身缺乏对组合正确性进行检验的支持，必须借助相关的形式化工具来完成对服务组合的检验．为了解决BPEL对检验支持的不足，基于接口自动机这一形式化工具，对BPEL中主要语言元素到接口自动机进行转换，转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组舍进行验证，最后通过一个实例证明了转换方法的有效性．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《山东理工大学学报·自然科学版》（CN：37-1412/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《山东理工大学学报·自然科学版》办刊宗旨为：高举马列主义旗帜，认真贯彻科学发展观，按照总书记关于构建“和谐社会”的战略部署，力求创新性、思想性和科学性相统一，坚持“双百”方针，及时反映国内外社会科学的最新科研成果，为建设社会主义精神文明、政治文明和物质文明服务。
杂志详情
