首页 | 本学科首页   官方微博 | 高级检索  
     

数据和时间感知的Web服务组合模型检测
引用本文:狄浩军,戎玫,张广泉,朱稷涵.数据和时间感知的Web服务组合模型检测[J].计算机科学,2011,38(11):123-126,136.
作者姓名:狄浩军  戎玫  张广泉  朱稷涵
作者单位:1. 苏州大学计算机科学与技术学院 苏州215006
2. 暨南大学深圳旅游学院 深圳518053
3. 苏州大学计算机科学与技术学院 苏州215006;中国科学院软件研究所计算机科学国家重点实验室 北京100080
基金项目:国家自然科学基金(60973149); 江苏省自然科学基金(BK2011281); 中国科学院计算机科学国家重点实验室开放课题(SYSKF0908); 江苏省高校自然科学研究项目(08KJB520010); 苏州大学国家级大学生创新性实验计划项目(101028524)资助
摘    要:为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将I3PEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。

关 键 词:Web服务组合,数据属性,时间属性,BPEL,模型检测

Model Checking of Data and Time Aware Web Service Composition
DI Hao-jun,RONG Mei,ZHANG Guang-quan,ZHU Ji-han.Model Checking of Data and Time Aware Web Service Composition[J].Computer Science,2011,38(11):123-126,136.
Authors:DI Hao-jun  RONG Mei  ZHANG Guang-quan  ZHU Ji-han
Affiliation:DI Hao-jun1 RONG Mei2 ZHANG Guang-quan1,3 ZHU Ji-han1(School of Computer Science and Technology,Soochow University,Suzhou 215006,China)1(Shenzhen Tourism College,Jinan University,Shenzhen 518053,China)2(State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China)3
Abstract:
Keywords:Web service composition  Data property  Time property  BPEL  Model checking
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号