张弘
- 作品数：2 被引量：0H指数：0
- 供职机构：中国建设银行更多>>
- 发文基金：国家科技支撑计划上海市教育发展基金会“曙光计划”项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于Petri的服务组合测试模型和分析方法
- 2012年
- 测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。
- 陈诚范贵生顾春华张弘
- 关键词：测试用例PETRI网
- WS-CDL编排到BPEL编制的转换与实现
- 2012年
- Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范WS-CDL与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换过程中可能存在的不可执行问题,并且其转换规则本身也存在一些不合理的地方。提出了新的WS-CDL编排到BPEL编制流程的转换规则,该规则不但给出了转换过程中不可执行问题的检验和排除方法,并且其转换规则相较于现有的规则更加准确合理。
- 周洁颖阮彤张弘
- 关键词：WS-CDL
