吉顺慧
- 作品数：16 被引量：21H指数：2
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于XCFG的BPEL数据流属性分析与验证被引量：3
- 2013年
- BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.
- 吉顺慧李必信邱栋
- 关键词：WEB服务组合
- 面向Web服务的软件测试和验证理论与方法
- 李必信王红兵黄志球沈国华汪鹏张鹏程胡军周颖吉顺慧邱栋
- Web服务在组合过程中组件服务的源代码不易访问，绑定组件服务的过程是一个动态绑定过程，因此如何保证组合Web服务的质量、提高组合Web服务的可信性是Web应用开发过程中的核心问题.该项目将有色Petri网、UML和标号转...
- 关键词：
- 关键词：软件测试软件工程
- 软件变更影响分析及故障检测和定位
- 李必信吉顺慧张鹏程王璐璐廖力周颖孙小兵文万志陶传奇邱栋
- 如今，计算机软件由于其自身的缺陷导致事故频发，给国家、企业和个人带来重大的生命、财产损失，有时甚至威胁国家安全。“软件故障检测和定位”技术是发现软件缺陷、提高软件安全、保障软件质量的重要手段，是国内外学术界和企业界关注的...
- 关键词：
- 关键词：计算机软件软件维护
- 一种基于并发的BPEL控制流模型的分析及验证
- 为了更好地对组合服务的控制流进行分析及验证,本文提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给...
- 张功源李必信邱栋吉顺慧
- 关键词：WEB服务并发
- 文献传递
- 基于量化微分动态逻辑的CPS自适应性验证
- 信息物理融合系统(Cyber-Physical systems，CPS)是一类融合了计算与物理过程，并且通过通信网络高度集成的物理设备系统。形式化验证作为验证系统正确性的重要方法已经成功应用于CPS的正确性验证，然而形式...
- 李加凯李必信朱敏吉顺慧
- 关键词：信息物理融合系统形式化验证元模型
- 一种基于灾变的演化测试的动态优化方法
- 本发明提出了一种基于灾变的演化测试的动态优化方法，主要用于解决演化测试在演化过程中出现的种群早熟退化现象，本发明涉及到的关键操作包括：(1)生成初始种群时，需要度量初始种群的多样性，如果初始种群的多样性高于第一阀值，则表...
- 王猛李必信王正山蒋玉婷张功源邱栋吉顺慧
- 文献传递
- 基于微分动态逻辑的CPS建模与属性验证被引量：17
- 2012年
- 随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Log-ic),其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.
- 朱敏李必信陈乔乔吉顺慧李加凯
- 关键词：信息物理融合系统
- 一种基于并发的BPEL控制流模型的分析及验证
- 2010年
- 为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.
- 张功源李必信邱栋吉顺慧
- 关键词：WEB服务并发
- 面向软件全生命周期的缺陷检测和故障定位
- 李必信王璐璐孙小兵张鹏程廖力吉顺慧周颖邱栋陶传奇谢春丽文万志
- 软件全生命周期一般由应用需求分析和软件需求分析、架构设计和组件设计、代码实现和运行、软件测试和纠错、软件维护和演化等五个核心阶段构成。这些阶段相关的缺陷检测和故障定位都存在成本高昂和精度低下等难点。项目组按照“从实际应用...
- 关键词：
- 关键词：软件测试
- 基于顺序图的Web组合服务属性验证
- 2011年
- 为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.
- 吉顺慧李必信周宇
- 关键词：WEB组合服务UML建模SPIN
