李占峻
- 作品数：5 被引量：5H指数：2
- 供职机构：中国人民解放军信息工程大学信息工程学院更多>>
- 发文基金：国家部委资助项目更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于Web Service的工作流补偿机制被引量：1
- 2009年
- 针对Web Service事务处理机制中的补偿问题,提出一种半自动的事务补偿机制,使用数据库系统中的触发器技术,解决了在Web Service分布、异构平台上对事务活动进行统一的补偿问题,将机制应用在Web Service中,可以规范补偿逻辑,从而保证系统的一致性,Web Service设计者可以确定补偿的规则,并在事务运行时动态生成补偿策略。实验结果表明,该方法有利于集中利用补偿策略,具有良好的可扩展性。
- 张晓雯黄永忠李占峻
- 关键词：WEB服务工作流触发器事务
- 基于BPEL和SOA的事务处理的研究与实现被引量：2
- 2009年
- 针对当前软件系统开发中存在的系统和组建差异等问题,引入了面向服务的体系结构(SOA)框架和商业过程执行语言(BPEL),并分析了BPEL的特性。结合一个具体应用实例来说明如何使用BPEL设计业务流程,实验结果表明,基于BPEL进行事务处理是可行、有效的。
- 张晓雯黄永忠周蓓李占峻
- 关键词：BPELSOAWEB服务事务补偿
- 应用Pi演算描述工作流高级模式被引量：2
- 2009年
- 分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。
- 李占峻黄永忠张晓雯
- 关键词：工作流PI演算形式化描述
- 工作流高级分支与同步模式的形式化研究
- 分析了对工作流进行形式化建模的意义，应用Pi演算对工作流高级分支和同步模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上，提出了一种语义清晰的描述方法，该方法相比以前的方法可以更好地描述工作...
- 李占峻陈新张晓雯
- 关键词：工作流PI演算形式化描述
- 基于Pi演算的网格工作流形式化描述及有效性检测
- 随着网格技术的迅猛发展,网格应用的规模与涉及领域不断扩大。由于网格工作流可以有效地构建、管理、调度和监控这些复杂网格应用,因此成为网格技术的一项重要研究内容。目前对于网格工作流的研究大多侧重于使能技术上,而形式化地描述、...
- 李占峻
- 关键词：网格工作流PI演算形式化描述
- 文献传递
