国家大学生创新性实验计划(101028524)
- 作品数：4 被引量：8H指数：3
- 相关作者：朱稷涵张广泉戎玫石慧娟张侃更多>>
- 相关机构：苏州大学中国科学院软件研究所暨南大学更多>>
- 发文基金：国家大学生创新性实验计划江苏省高校自然科学研究项目国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于XYZ/ADL的异步Web服务组合描述与验证被引量：3
- 2011年
- 以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。
- 石慧娟戎玫张广泉朱稷涵
- 关键词：WEB服务组合XYZ/ADL异步通信
- 带时间约束的Web服务组合建模与分析
- 2012年
- 如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法.该方法首先将BPEL描述的Web服务行为文档建模为TSM,并转化为UPPAAL规约,然后用分支时序逻辑CTL表示服务组合的性质,最后采用模型检测工具UPPAAL验证服务组合的性质,并结合实例分析了该方法的可行性.
- 吴剑峰朱稷涵张广泉
- 关键词：BPELUPPAAL
- 基于有色Petri网的Web服务组合建模与分析被引量：3
- 2010年
- 形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。
- 张侃朱稷涵张广泉
- 关键词：有色PETRI网WEB服务组合可达性分析
- 数据和时间感知的Web服务组合模型检测被引量：3
- 2011年
- 为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。
- 狄浩军戎玫张广泉朱稷涵
- 关键词：WEB服务组合数据属性BPEL
