基于有色Petri网的模型驱动SOA服务模型组合

在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。     

基于XCFG的BPEL数据流属性分析与验证

 BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.     

SOArTester:一个基于精简用例的组合服务自动化测试系统

测试是保证组合服务功能正确性、性能和可靠性的必要手段.基于BPMN的组合服务流程具有多参数多取值的特征,参数的取值组合数量巨大.本文提出了一种基于组合精简技术的测试用例精简方法,用于检测输入参数间的相互作用对组合服务执行可能产生的影响,设计并实现了基于BPMN规范的组合服务自动化测试系统SOArTester.该系统支持自动化的测试环境部署、测试执行和监控,生成的用例数量与参数个数之间呈现对数增长关系.实验表明SOArTester系统提高了组合服务测试的自动化程度,降低了组合服务测试的开销,因而提高了测试的效率.     

基于MDA的语义Web服务的组合与验证

针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.     

基于语义验证的可视化BPR建模工具

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。     

基于改进人工蜂群算法的云制造服务组合优化方法

为提高云制造服务组合的流程寻优质量、效率和稳定性，提出一种基于改进人工蜂群算法的云制造服务组合优化方法。首先，建立了云制造服务组合场景下的3种服务协同质量计算方法；然后，构建了一种融合服务协同质量的云制造服务组合优化模型；最后，设计了一种具有多搜索策略岛屿模型的人工蜂群算法，实现最优云制造服务组合流程的求解。实验结果表明，所提算法在组合流程的寻优质量、效率和稳定性方面均优于当前流行的人工蜂群改进算法和其他群智能算法。     

SOArTester4RT:一种面向组合服务演化的高效回归测试工具

提出了一中基于有向图关键路径选择的组合服务回归测试方法.通过分析组合服务执行流,识别受影响的执行流,选择适当的回归测试路径,并生成相应的回归测试用例.基于该方法,在SOArWare平台上实现了SOArTester4RT 工具.实例分析和测试结果表明:该工具可以对BPMN的各种控制结构加以分析,产生必需的测试用例,有效提高了组合服务演化后的回归测试效率.     

QSynth-TopK:一个支持Top K查询的质量敏感的自动服务组合系统

质量敏感的自动服务组合旨在根据用户的输入输出请求和服务质量约束,从海量的Web服务中快速搜索满足要求的最优组合方案,能够有效应用于服务组合辅助建模、正确性校验等领域.为了向用户提供更多的组合方案,以满足多样化的应用需求,并消除由于集中选择最优方案所带来的性能瓶颈隐患,我们在QSynth系统的基础上开发了一个支持top k查询的系统——QSynth-TopK.该系统通过对最优组合方案中的服务进行迭代地替换,实现全局服务质量的有序递减,以得到组合质量排名前k个的服务组合方案.理论证明该算法具有可靠的精确性,实验证明系统在大规模服务集上有着良好的、稳定的运行效率.     

基于Petri网的SOA架构应用研究

针对自动工作流系统使用传统SOA建模工具存在的效率低下等问题,提出了一种基于Petri网思想进行SOA架构应用的方法,并从使用Petri建模进行服务识别和使用Petri中间件进行流程管理这2个方面详细阐述了SOA架构应用的具体内容,为此类工作流系统进行SOA架构应用改造提供了参考。     

基于对等网络的空间服务组合执行技术研究

空间服务组合执行过程中需要处理复杂多样的空间数据类型和大量的空间数据,采用集中式组合模型完成空间服务组合的通信开销代价将严重影响组合系统性能.分散式组合模型能有效克服上述缺点,并具备可扩性好,吞吐率高等其他特点.提出基于P 2P网络的空间服务组合执行技术,通过Geo-Peer来形成P 2P重叠网络从而构成空间服务组合分散式执行的基础设施.在执行时,首先将用户建模的流程图转化为能最大化表达并行度的最优流程图,其后将最优流程图分解为可部署到Geo-Peer上的多个子流程图,为全局流程分散到Geo-Peer网络的执行制定流程语义约束.模拟实验表明,基于P 2P网络的空间服务组合执行能克服集中式组合的诸多局限,有效提升组合系统的整体性能.