您的位置： 专家智库 > >

张功源

作品数：5 被引量：1H指数：1
供职机构：东南大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 4篇自动化与计算...

主题

  • 3篇BPEL
  • 3篇WEB服务
  • 2篇灾变
  • 2篇搜索
  • 2篇搜索过程
  • 2篇全局最优
  • 2篇全局最优解
  • 2篇种群
  • 2篇种群多样性
  • 2篇种群恢复
  • 2篇最优解
  • 2篇并发
  • 2篇初始种群
  • 1篇形式化
  • 1篇形式化验证
  • 1篇消息交互
  • 1篇流图
  • 1篇控制流
  • 1篇控制流图
  • 1篇WEB服务组...

机构

  • 5篇东南大学

作者

  • 5篇张功源
  • 4篇邱栋
  • 4篇吉顺慧
  • 4篇李必信
  • 2篇王猛
  • 2篇王正山
  • 2篇蒋玉婷

传媒

  • 1篇计算机研究与...

年份

  • 1篇2012
  • 1篇2011
  • 3篇2010
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种基于灾变的演化测试的动态优化方法
本发明提出了一种基于灾变的演化测试的动态优化方法，主要用于解决演化测试在演化过程中出现的种群早熟退化现象，本发明涉及到的关键操作包括：(1)生成初始种群时，需要度量初始种群的多样性，如果初始种群的多样性高于第一阀值，则表...
王猛李必信王正山蒋玉婷张功源邱栋吉顺慧
文献传递
一种基于并发的BPEL控制流模型的分析及验证
为了更好地对组合服务的控制流进行分析及验证,本文提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给...
张功源李必信邱栋吉顺慧
关键词：WEB服务并发
文献传递
一种基于并发的BPEL控制流模型的分析及验证
2010年
为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.
张功源李必信邱栋吉顺慧
关键词：WEB服务并发
BPEL组合服务并发结构的分析与验证
Web服务是一种新型的软件泛型，它具备松耦合、高动态性和可重配置等特点。Web服务组合通过为成员服务制定工作流程来实现具备复杂业务处理能力的组合服务，同时满足了用户不断变化的需求。此外，Web服务依靠其良好的可复用性和灵...
张功源
关键词：形式化验证WEB服务组合消息交互
一种基于灾变的演化测试的动态优化方法
本发明提出了一种基于灾变的演化测试的动态优化方法，主要用于解决演化测试在演化过程中出现的种群早熟退化现象，本发明涉及到的关键操作包括：(1)生成初始种群时，需要度量初始种群的多样性，如果初始种群的多样性高于第一阀值，则表...
王猛李必信王正山蒋玉婷张功源邱栋吉顺慧
全选 清除 导出
共1页<1>
聚类工具0