共查询到19条相似文献,搜索用时 160 毫秒
1.
一种SOA软件系统可信性评价方法研究 总被引:8,自引:0,他引:8
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献. 相似文献
2.
可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的"运算"实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例. 相似文献
3.
Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性. 相似文献
4.
5.
如何合理、高效地选择和组合众多功能相似的服务,为用户提供更优质的服务,是当前SOA领域研究的重点和难点。服务质量QoS(Quafity of Service)的引入,在一定程度上保证了服务组合的合理性,但对于如何确保服务组合的可信,目前还没有一个比较完善和可行的方案。因此,提出了可信Web服务组合模型(Trust Web Service Composition Modcl,TWSCM),并通过在原有Wcb服务体系架构上增加QoS代理和可信模块来确保服务组合的质量和可信。最后,在语言网格上进行了相关实验,结果表明,该方法能为用户提供高质量、可信的组合服务,从而验证了该方法的合理性和有效性。 相似文献
6.
Web 服务组合功能与QoS 的形式化统一建模和分析 总被引:1,自引:0,他引:1
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析. 相似文献
7.
面向服务建模是SOA的核心内容之一,旨在完成对业务流程的分割和整合,以达到优化业务结构和加强业务敏捷性的目的。文中提出一种服务组合的建模方法,首先构建包含粗细两种粒度特征的服务粒度表,其次运用启发式算法对表中的元素进行关联度计算,最后依计算结果完成对粗细两种粒度的服务重组,建立服务粒度关联模型。该模型对减少服务粒度冗余、降低SOA系统复杂性、提高灵活性有着显著优点。 相似文献
8.
基于SOA架构的Web服务组合系统 总被引:15,自引:0,他引:15
应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台. 相似文献
9.
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 相似文献
10.
11.
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何代数方法将多种代数系统统一到相同代数结构中,弥补了传统分析方法的不足.但是基于几何代数的摄动开普勒问题数学模型的正确性并没有通过严格的形式化验证.本文采用高阶逻辑来描述该问题的属性和规范,以公认的逻辑公理和推理规则为基础构建其形式化模型并进行验证,从而最大程度确保数学模型的正确性和分析方法的可靠性. 相似文献
12.
SOA(Service-Oriented Architecture)是一种架构模型,它可以根据需求通过网络对松散耦合的粗粒度应用组件进行分布式部署、组合和使用。该文主要针对某航运电子商务平台中存在的业务适应能力差等问题,提出了采用SOA开发框架。通过使用基于J2EE标准的Web服务技术,将其划分为客户端调用层,Web服务发布层和Web服务实现层,保证了系统的稳定、高效、松耦合和易于集成。 相似文献
14.
15.
16.
基于SOA的交通信息整合系统研究 总被引:1,自引:0,他引:1
王永霞 《网络安全技术与应用》2010,(4):70-72
SOA是一种面向服务的体系架构,可有效地支撑交通信息服务的开发与应用。本文首先阐述了SOA的内涵、模型结构和主要特征;然后分析了基于SOA的交通信息服务的系统架构和流程;最后通过对新疆交通信息整合服务平台建设的实例研究,可以看到采用基于SOA的Web服务技术来整合异构的交通信息数据的方法取得了很好的效果。 相似文献
17.
18.
面向服务体系结构的可靠服务研究 总被引:9,自引:0,他引:9
服务是SOA的面向服务的体系结构SOA核心.本文提出了基于层次管理的层次可靠服务网络LCSN,给出了LCSN的定义、描述方法和动态运行特性.针对服务提供者无法提供服务的各种情况,LCSN都可以帮助提高服务的可靠性.该体系结构可以无缝地嵌入到SOA中,而且可以减少用户使用基于SOA软件的复杂度,提升服务可靠性. 相似文献