邱栋
- 作品数：12 被引量：3H指数：1
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金江苏省高校科研成果产业化推进项目国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于并发的BPEL控制流模型的分析及验证
- 为了更好地对组合服务的控制流进行分析及验证,本文提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给...
- 张功源李必信邱栋吉顺慧
- 关键词：WEB服务并发
- 文献传递
- 基于XCFG的BPEL数据流属性分析与验证被引量：3
- 2013年
- BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.
- 吉顺慧李必信邱栋
- 关键词：WEB服务组合
- 面向Web服务的软件测试和验证理论与方法
- 李必信王红兵黄志球沈国华汪鹏张鹏程胡军周颖吉顺慧邱栋
- Web服务在组合过程中组件服务的源代码不易访问，绑定组件服务的过程是一个动态绑定过程，因此如何保证组合Web服务的质量、提高组合Web服务的可信性是Web应用开发过程中的核心问题.该项目将有色Petri网、UML和标号转...
- 关键词：
- 关键词：软件测试软件工程
- 一种基于灾变的演化测试的动态优化方法
- 本发明提出了一种基于灾变的演化测试的动态优化方法，主要用于解决演化测试在演化过程中出现的种群早熟退化现象，本发明涉及到的关键操作包括：(1)生成初始种群时，需要度量初始种群的多样性，如果初始种群的多样性高于第一阀值，则表...
- 王猛李必信王正山蒋玉婷张功源邱栋吉顺慧
- 文献传递
- 一种基于并发的BPEL控制流模型的分析及验证
- 2010年
- 为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.
- 张功源李必信邱栋吉顺慧
- 关键词：WEB服务并发
- 面向软件全生命周期的缺陷检测和故障定位
- 李必信王璐璐孙小兵张鹏程廖力吉顺慧周颖邱栋陶传奇谢春丽文万志
- 软件全生命周期一般由应用需求分析和软件需求分析、架构设计和组件设计、代码实现和运行、软件测试和纠错、软件维护和演化等五个核心阶段构成。这些阶段相关的缺陷检测和故障定位都存在成本高昂和精度低下等难点。项目组按照“从实际应用...
- 关键词：
- 关键词：软件测试
- 一种基于BPEL的控制信息流图的建模方法
- 本发明公布了一种基于BPEL的控制信息流图的建模方法，包括如下步骤：步骤1)对BPEL文档进行解析，生成DOM树；步骤2)遍历DOM树结点，当遇到可以映射为BCMFG的DOM树节点时，创建BCMFG元素，并给BCMFG元...
- 邱栋李必信周颖王迪
- 文献传递
- 软件变更影响分析及故障检测和定位
- 李必信吉顺慧张鹏程王璐璐廖力周颖孙小兵文万志陶传奇邱栋
- 如今，计算机软件由于其自身的缺陷导致事故频发，给国家、企业和个人带来重大的生命、财产损失，有时甚至威胁国家安全。“软件故障检测和定位”技术是发现软件缺陷、提高软件安全、保障软件质量的重要手段，是国内外学术界和企业界关注的...
- 关键词：
- 关键词：计算机软件软件维护
- 一种基于BPEL的控制信息流图的建模方法
- 本发明公布了一种基于BPEL的控制信息流图的建模方法，包括如下步骤：步骤1)对BPEL文档进行解析，生成DOM树；步骤2)遍历DOM树结点，当遇到可以映射为BCMFG的DOM树节点时，创建BCMFG元素，并给BCMFG元...
- 邱栋李必信周颖王迪
- 基于搜索的程序设计研究
- 程序设计是软件工程的基础，离不开程序设计语言的支持。受萨丕尔-沃尔夫假说（自然语言影响人的思维）的影响，计算机领域众多科学家认为“程序设计语言影响开发者的思维”。在最近几十年中，大量程序设计语言被设计出来，试图用它们内在...
- 邱栋
- 关键词：程序设计语言
- 文献传递
