闫艳
- 作品数：3 被引量：3H指数：1
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：湖南省自然科学基金国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向服务的多参与者协调事务建模方法被引量：3
- 2011年
- 为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。
- 闫艳黄志球袁敏沈国华
- 关键词：WEB服务PI-演算
- 基于服务协调模型的业务事务验证方法
- 2012年
- 为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出了Pi-演算进程模型到符号模型检测工具输入语言的转换方法;在模型检测结果的基础上,用反例引导用户进一步精化模型,以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。
- 袁敏黄志球李祥闫艳
- 关键词：业务流程集成长事务PI-演算形式化验证WEB服务
- 基于服务协调模型的业务事务验证方法研究
- Web服务正从最初关注描述、发布和交互向支持健壮的业务协作新阶段发展，BPEL作为Web服务业务流程执行语言成了服务组合和业务流程正确性验证研究的焦点，BPEL语言的设计目标是描述由一个组织机构执行的单个业务流程，缺乏对...
- 袁敏黄志球李祥闫艳
