应用Pi演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。

基于Web Service的工作流补偿机制

针对Web Service事务处理机制中的补偿问题,提出一种半自动的事务补偿机制,使用数据库系统中的触发器技术,解决了在Web Service分布、异构平台上对事务活动进行统一的补偿问题,将机制应用在Web Service中,可以规范补偿逻辑,从而保证系统的一致性,Web Service设计者可以确定补偿的规则,并在事务运行时动态生成补偿策略。实验结果表明,该方法有利于集中利用补偿策略,具有良好的可扩展性。

基于BPEL和SOA的事务处理的研究与实现

针对当前软件系统开发中存在的系统和组建差异等问题,引入了面向服务的体系结构(SOA)框架和商业过程执行语言(BPEL),并分析了BPEL的特性。结合一个具体应用实例来说明如何使用BPEL设计业务流程,实验结果表明,基于BPEL进行事务处理是可行、有效的。