业务过程执行语言流程语义标注方法研究

为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。

一种基于反射的BPEL业务过程动态演化方法

提出了一种基于反射的BPEL业务过程动态演化方法。该方法基于可反射的BPEL业务过程的动态演化框架,扩展了现有BPEL引擎,并对演化元过程建模,使其在BPEL引擎中实例化执行,来实现对业务过程的动态演化。

层次化服务流程向可执行BPEL转换的方法

基于人工智能规划的服务组合算法得到的组合方案是一种层次化服务流程(layered service process,LSP),由服务之间的数据流(而非传统块结构流程中的控制结构)加以驱动执行。为使该类服务流程能在业务过程执行语言(business process execution language,BPEL)引擎上直接执行,研究了将LSP转换为BPEL的方法,追求BPEL执行效率的优化。给出了LSP的形式化模型,分析了将LSP转换为BPEL的3种策略(完全拆分、按层拆分、按块拆分),定性对比了三者之间的性能优劣。针对按块拆分策略,提出了9条规则用于对LSP的拆分,提出了块拆分算法和块合并算法。通过一个LSP案例对转换过程进行了演示,并通过实验证实了该转换方法可以获得比其他转换策略性能更好的BPEL。

基于分层过程模型的过程演化技术

为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。

服务流程的自动数据映射

为解决服务流程中数据流建模因复杂而易出错的问题,提出一种服务流程的服务之间数据映射的自动生成方式。该方式将流程中每个服务的输入参数与可能为它提供数据的服务的输出参数作匹配,得到每个输入参数的最佳匹配,从而自动生成服务之间的数据映射。该方式利用服务输入、输出参数的模式描述,采用自动模式匹配技术进行模式之间的匹配,同时结合服务流程的相关信息提高匹配的准确率,自动生成流程的数据流,使得用户只需关注服务之间的逻辑组合,不必在数据映射过程上浪费大量的时间和精力,提高了工作流系统的可用性。

BPEL的测试用例生成研究

BPEL是能表达复杂的并发行为的一个语言,被用于描述Web服务的组合。提出一个算法来生成BPEL过程的单元测试用例。首先通过给定的转换规则把用BPEL描述的过程转换成BPEL流图(FGBPEL),然后提出CTP算法来生成测试用例。对提出的方法做适当的扩展,也可以运用到其它的业务过程处理语言中。

基于对象Petri网的BPEL建模技术

讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。

基于SSB整合技术的房屋贷款管理系统

随着企业需求的变化,SOA标准以其粗粒度、松耦合等优势被广泛应用,SSB整合技术为SOA提供了一个全新的、可用的SOA架构实施策略。本文基于SOA的思想,研究SCA、SDO和BPEL技术的原理和特点,整合了SCA、SDO和BPEL技术,提出了SSB整合技术,通过实现房屋贷款管理系统来验证SSB整合技术。

SOA在数字电视信息管理系统中的应用

本文针对数字电视信息化管理系统建设,提出了以SOA为基础架构的总体解决方案。此方案重点强调面向服务的架构,通过特定方法组织各服务组件,达到以较低成本实现系统松耦合、高灵活性、易扩展之目的。