朱稷涵

作品数：4被引量：6H指数：2
导出分析报告
供职机构：苏州大学更多>>
发文主题：WEB服务组合BPELXYZ/ADL可达性分析数据属性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《苏州大学学报（自然科学版）》《苏州大学学报（工科版）》《计算机科学》更多>>
所获基金：国家大学生创新性实验计划江苏省高校自然科学研究项目国家重点实验室开放基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带时间约束的Web服务组合建模与分析
《苏州大学学报（自然科学版）》2012年第1期53-58,共6页吴剑峰 朱稷涵 张广泉 
苏州大学"莙政基金"项目;苏州大学国家级大学生创新性实验计划项目(101028524)
如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法.该方法首先将BPEL描述的Web服务行为文...
关键词：服务组合 BPEL tsm模型 UPPAAL 
基于XYZ/ADL的异步Web服务组合描述与验证被引量：2
《计算机科学》2011年第12期139-143,共5页石慧娟 戎玫 张广泉 朱稷涵 
国家自然科学基金(60973149);江苏省自然科学基金(BK2011281);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010);苏州大学国家级大学生创新性实验计划项目(101028524)资助
以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAA...
关键词：WEB服务组合 XYZ/ADL 异步通信 时间属性 模型检测 
数据和时间感知的Web服务组合模型检测被引量：2
《计算机科学》2011年第11期123-126,136,共5页狄浩军 戎玫 张广泉 朱稷涵 
国家自然科学基金(60973149);江苏省自然科学基金(BK2011281);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010);苏州大学国家级大学生创新性实验计划项目(101028524)资助
为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应...
关键词：WEB服务组合 数据属性 时间属性 BPEL 模型检测 
基于有色Petri网的Web服务组合建模与分析被引量：2
《苏州大学学报（工科版）》2010年第4期14-19,共6页张侃 朱稷涵 张广泉 
中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908);江苏省高校自然科学基金项目(编号08KJB520010);苏州大学国家级大学生创新性实验计划项目(编号101028524)
形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务...
关键词：有色PETRI网 WEB服务组合 建模 可达性分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部