您的位置： 专家智库 > >

狄浩军

作品数：3 被引量：7H指数：2
供职机构：苏州大学计算机科学与技术学院更多>>
发文基金：江苏省自然科学基金国家自然科学基金苏州市科技计划项目(应用基础研究计划)更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇WEB服务组...
  • 3篇WEB服务
  • 2篇数据属性
  • 1篇形式化
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇有限自动机
  • 1篇自动机
  • 1篇UPPAAL
  • 1篇BPEL
  • 1篇CTL

机构

  • 3篇苏州大学
  • 2篇中国科学院软...
  • 1篇暨南大学

作者

  • 3篇狄浩军
  • 2篇张广泉
  • 1篇朱雪阳
  • 1篇晏荣杰
  • 1篇朱稷涵
  • 1篇戎玫
  • 1篇石慧娟

传媒

  • 1篇通信学报
  • 1篇计算机科学

年份

  • 2篇2012
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于扩展自动机的服务组合静态与动态验证方法被引量：4
2012年
针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。
张广泉狄浩军石慧娟晏荣杰朱雪阳
关键词：WEB服务组合有限自动机CTLUPPAAL
数据和时间感知的Web服务组合形式化建模与验证研究
近年来，随着互联网的普及与电子商务技术的发展，面向服务的计算(SOC)和面向服务的体系结构(SOA)正逐步变为未来软件发展的一种趋势，也已成为学术界和工业界共同关注的一个研究热点。作为一种全新的计算模式，SOC有效解决在...
狄浩军
关键词：WEB服务组合数据属性
数据和时间感知的Web服务组合模型检测被引量：3
2011年
为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。
狄浩军戎玫张广泉朱稷涵
关键词：WEB服务组合数据属性BPEL
全选 清除 导出
共1页<1>
聚类工具0