基于Web服务的虚拟企业协同计划调度系统研究

虚拟企业由于其成员企业的分散性及组织形式的松散性,协同计划与调度系统对于企业成员之间的有效的计划协调意义重大。分析了虚拟企业中对于协同计划调度的需求,参照PSLX框架和BPEL4WS规范提出了基于W eb服务的协同计划调度系统体系结构与实现方案。

基于BPEL4WS的新型电信业务创建方法

采用基于万维网服务的业务过程执行语言(BPEL4WS)的方法开发新型环境下的电信业务,试图解决电信业务开发难度大、周期长的问题。首先针对电信业务的特点指出了BPEL4WS的不足,然后提出采用面向方面编程(AOP)的方法解决了其中的模块化和动态扩展的问题并给出了系统的架构和实现方法,最后实验结果证明该方法的可行性。

基于TLA的Web服务组合研究

随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点。简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型,再将Conversation模型转换为TLA表达式,并给出了具体的算法。

基于语义描述的Web服务工作流集成

Web服务是可以由其它软件在Internet上访问的一种软件接口。Web服务工作流则是一组按一定顺序执行的Web服务的集合。如何集成一个Web服务工作流,特别是如何运用对Web服务的语义描述来为一个工作流来自动寻找和匹配Web服务,这是目前所急需解决的问题。介绍如何用语义Web服务本体论来集成工作流,同时提出一个基于语义Web服务工作流集成的模型。

一种基于BPEL4WS的多实例工作流模式的解决方案

多实例MI(Multiple Instances-MI)是一种重要的工作流模式,不能完全被BPEL4WS(Business Process Execution Languagefor Web Service)规范支持,很多情况下,在BPEL4WS流程中无法直接有效实现。在结合了BPEL4WS流程与伙伴之间的不同交互模式的基础上,对BPEL4WS流程中出现的多实例模式的类型重新进行了讨论。在重点探讨了MP-MI模式(Multiple Partners-MultipleInstances)之后,在BPEL4WS流程与伙伴之间引入了一个"角色代理层"的概念,并在此基础上提出了一个针对MP-MI的有效的解决方案,并给出了具体实现说明。

Pi演算建模BPEL4WS程序及实例研究

通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。