摘要：bpel流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性.更为严重的是,对于业务流程组合这种可靠性和安全性要求极高的系统,一旦发生死锁,将会对业务系统产生严重的后果.为此作者在分析bpel特性和死锁特征的基础上,提出了一种可在bpel流程设计阶段检测流程死锁的方法,从而提高流程的可靠性,减少系统的维护代价.文中提出了一种从全局出发进行分析的方法,结合流程间执行的上下文信息,可以有效检测流程间的通信死锁,该方法也适用于其它与流程执行上下文相关的缺陷检测.

摘要：在分析多学科设计优化特点的基础上,充分集成Web services技术和bpel技术,设计一个基于bpel的多学科设计优化的流程建模与调度系统。重点介绍该系统的两个模块即可视化流程建模工具模块和流程调度监控平台模块的设计和实现方法。最后给出一个优化实例说明该系统的可行性。

摘要：在Web服务应用中,bpel是一种基于流程的描述业务行为的语言。为了验证以bpel构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。

摘要：RESTful Web服务由于其轻量级和明确语义等特性,已成为云计算环境下发布服务的首要方法。但是,由于RESTful Web服务仅支持同步的交互方式,面对复杂业务逻辑时,难以通过服务组合的方式来满足业务需求。针对这些问题,提出了一种基于回调的RESTful Web服务异步交互方式,通过扩展bpel元模型,增加了bpel对异步RESTful Web服务组合的支持,并设计实现了扩展后的bpel执行引擎。

摘要：为了形式化地定义bpel和bpel4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对bpel和bpel4People的活动进行了建模。该形式化模型有助于在bpel和bpel4People程序的设计阶段对其可靠性和一致性进行验证。

摘要：提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现bpel中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.

摘要：设计了一个基于Petri Net的Web服务组合流程建模引擎.把bpel流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.

摘要：为解决因信用额度取代现金进行网上易货交易而造成的安全性问题,在电子商务领域引入Web服务与bpel4WS规范,分析网上易货交易过程中业务流程实际模型;在以SSH及Ajax技术实现的华贸易货系统基础上,引进银行信用和结算服务,使用Web Services和bpel技术设计业务流程,并依托监控软件BPM实现流程的自动化执行与安全性监控;通过Irrelevant和Inconsistent两种优化方式改善监控算法,提高监控效率和准确性。

摘要：Business Process Exeention Language （bpel） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in bpel, bpel documentt is getting more Complplicated. Therefore it is difficult to describe applications in bpel with high reliability. In order to write highly reliable bpel document, it is necessary to check if the document is working correctly in accordance with user＇s intention. But it is difficult to carry out the test since bpel engine doesn＇t provide a profiling function. In this paper, we suggest a bpel system with a real-time profiling function. The suggested system consists of an integrated development environment and a bpel nunning environment. bpel integrated development environment has a bpel to Java（B2J） engine, which generates and executes a Java workflow program from a bpel document, and a converter, which converts Java Weaving XML （JWX） documents to Aspect-oriented programs. The new functions are described in JWX, which is Extensive Markup Lan-guage （XML）-based document. Since aspect-oriented programming technique provides the way to modularize main and supplemental requirements, it guarantees the low degree of coupling between bpel workflow program and new functions by weaving them. Our approach can be extended to add other functions to provide context-aware services.

摘要：为了实现由bpel描述的Web服务组合到LOTOS的自动化转换,提出一种基于翻译模式的转换算法。从bpel语言的XML schema定义出发,分析bpel本身的语言结构,得到bpel语言的产生式。再根据bpel到LOTOS的语义映射规则,设计bpel到LOTOS的翻译模式。同时,在基本映射规则之上,给出bpel到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例,验证该工具的可行性。