计算机科学 ›› 2011, Vol. 38 ›› Issue (11): 123-126.
• 软件工程 • 上一篇 下一篇
狄浩军，戎玫，张广泉，朱稷涵
出版日期:
发布日期:
Online:
Published:
摘要： 为了验证Web服务组合中的数据属性和时间属性，提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将I3PEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型，然后将该模型映射至UPPAAL规约，最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。
关键词: Web服务组合，数据属性，时间属性，BPEL，模型检测
Abstract: To validate the data properties and time properties of Web service composition, we presented a model checking method based on data and time aware service model (DTSM). In this approach, first we translated Web service composition described by BPEL to formal model which contains data information and time information,and then translated this model to UPPAAL specification, at last the correctness of Web service composition was verified through a model checking tool-UPPAAL.
Key words: Web service composition, Data property, Time property, BPEL, Model checking
狄浩军，戎玫，张广泉，朱稷涵. 数据和时间感知的Web服务组合模型检测[J]. 计算机科学, 2011, 38(11): 123-126. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I11/123
Cited
首页