王一兵
- 作品数：4 被引量：13H指数：3
- 供职机构：中国人民解放军第二炮兵指挥学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于CPN的BPEL异常处理逻辑的开发方法被引量：3
- 2013年
- 针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。
- 管华应时贾向阳蒋曹清王一兵
- 关键词：着色PETRI网EXECUTION
- 一种基于异常分类的面向服务异常处理方法被引量：1
- 2012年
- 异常处理本就是一件复杂耗时且容易出错的任务,尤其在面向服务体系结构中,异常抛出的行为变得更加复杂,因此对面向服务的异常捕获和异常处理提出了更高的要求。文中首先对面向服务的异常产生的源头进行了分析,提出了面向服务的异常分类方法,将面向服务的异常分为服务层异常和流程层异常。在此基础上,服务层异常和流程层异常再各自细分为系统异常、资源异常和应用异常。最后针对每类异常,提出了对应的异常处理方法,能够分别在服务层和流程层上为面向服务的系统提供更好的健壮性。
- 丁月华应时贾向阳王一兵
- 关键词：异常处理服务层
- 面向服务软件异常处理研究综述被引量：5
- 2013年
- 随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理中使用的方法,并指出它们的局限性。通过分析和总结当前面向服务软件异常处理的研究方向和研究现状,提出了要解决的关键问题,探讨了当前面向服务软件异常处理研究的不足之处,并预测了下一步面向服务软件异常处理的主要研究方向。
- 管华应时贾向阳蒋曹清王一兵
- 关键词：面向服务软件异常处理
- 面向服务软件中异常处理的形式化建模方法被引量：4
- 2013年
- 针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。
- 蒋曹清应时文静贾向阳王一兵
- 关键词：面向服务软件异常处理形式化建模建模方法
