国家高技术研究发展计划(2008AA01Z113)
- 作品数：5 被引量：3H指数：1
- 相关作者：李必信吉顺慧周宇关秀翠张功源更多>>
- 相关机构：东南大学徐州师范大学安徽工业大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于变异思想测试OWL-S工作流
- Web服务因其强大的集成能力而受到广泛重视.单个Web服务提供的功能通常是有限的,因此实际应用中需要对网络上分布的Web服务进行组合以满足用户需求,这种组合的方法为Web服务测试带来了新的挑战.本文采取变异的思想对Web...
- 蒋玉婷李必信
- 关键词：WEB服务OWL-S
- 文献传递
- 基于优化逆问题的Web服务选择
- 2011年
- 为提高服务提供商的服务被选率,将优化逆问题应用到Web服务选择领域,提出了Web服务选择优化逆问题,描述了此问题的解决步骤,比较了割平面法和Huang法的优劣,给出了改进方法.为提高Web服务选择优化的求解效率和优度,基于Web服务选择优化逆问题,设计出Web服务选择优化算法——逆选择算法,为服务请求者提供最优或近似最优选择方案.实验结果表明:Web服务选择优化逆问题的解可有效提高服务被选率;逆选择算法可有效提高选择方案的求解效率和优度.
- 王喜凤李必信廖力谢春丽关秀翠
- 关键词：WEB服务
- 一种基于并发的BPEL控制流模型的分析及验证
- 2010年
- 为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.
- 张功源李必信邱栋吉顺慧
- 关键词：WEB服务并发
- 基于变异思想测试OWL-S工作流
- 2010年
- Web服务因其强大的集成能力而受到广泛重视.单个Web服务提供的功能通常是有限的,因此实际应用中需要对网络上分布的Web服务进行组合以满足用户需求,这种组合的方法为Web服务测试带来了新的挑战.采取变异的思想对Web组合服务进行测试,基于OWL-S文档中提供的关于组合流程的信息设计了15种变异算子,在此基础上给出了测试系统框架,详细分析了变异测试的步骤和部分功能部件实现的思想.文章的最后通过一个例子分析变异体是如何生成的.
- 蒋玉婷李必信
- 关键词：WEB服务OWL-S
- 一种基于并发的BPEL控制流模型的分析及验证
- 为了更好地对组合服务的控制流进行分析及验证,本文提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给...
- 张功源李必信邱栋吉顺慧
- 关键词：WEB服务并发
- 文献传递
- 基于顺序图的Web组合服务属性验证
- 2011年
- 为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.
- 吉顺慧李必信周宇
- 关键词：WEB组合服务UML建模SPIN
