首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 359 毫秒
1.
一种SOA软件系统可信性评价方法研究   总被引:8,自引:0,他引:8  
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.  相似文献   

2.
袁博  汪斌强 《软件学报》2012,23(10):2735-2745
可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的"运算"实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.  相似文献   

3.
Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性.  相似文献   

4.
服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.  相似文献   

5.
如何合理、高效地选择和组合众多功能相似的服务,为用户提供更优质的服务,是当前SOA领域研究的重点和难点。服务质量QoS(Quafity of Service)的引入,在一定程度上保证了服务组合的合理性,但对于如何确保服务组合的可信,目前还没有一个比较完善和可行的方案。因此,提出了可信Web服务组合模型(Trust Web Service Composition Modcl,TWSCM),并通过在原有Wcb服务体系架构上增加QoS代理和可信模块来确保服务组合的质量和可信。最后,在语言网格上进行了相关实验,结果表明,该方法能为用户提供高质量、可信的组合服务,从而验证了该方法的合理性和有效性。  相似文献   

6.
Web 服务组合功能与QoS 的形式化统一建模和分析   总被引:1,自引:0,他引:1  
肖芳雄  黄志球  曹子宁  屠立忠  祝义 《软件学报》2011,22(11):2698-2715
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.  相似文献   

7.
梁利 《电脑与信息技术》2013,21(4):56-59,62
面向服务建模是SOA的核心内容之一,旨在完成对业务流程的分割和整合,以达到优化业务结构和加强业务敏捷性的目的。文中提出一种服务组合的建模方法,首先构建包含粗细两种粒度特征的服务粒度表,其次运用启发式算法对表中的元素进行关联度计算,最后依计算结果完成对粗细两种粒度的服务重组,建立服务粒度关联模型。该模型对减少服务粒度冗余、降低SOA系统复杂性、提高灵活性有着显著优点。  相似文献   

8.
基于SOA架构的Web服务组合系统   总被引:15,自引:0,他引:15  
应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台.  相似文献   

9.
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。  相似文献   

10.
从Web服务质量入手,将QoS参数属性作为图的权重,提出了基于图的Web服务组合建模,并介绍了用不同的算法分别在模型上寻找解决方案.  相似文献   

11.
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何代数方法将多种代数系统统一到相同代数结构中,弥补了传统分析方法的不足.但是基于几何代数的摄动开普勒问题数学模型的正确性并没有通过严格的形式化验证.本文采用高阶逻辑来描述该问题的属性和规范,以公认的逻辑公理和推理规则为基础构建其形式化模型并进行验证,从而最大程度确保数学模型的正确性和分析方法的可靠性.  相似文献   

12.
SOA(Service-Oriented Architecture)是一种架构模型,它可以根据需求通过网络对松散耦合的粗粒度应用组件进行分布式部署、组合和使用。该文主要针对某航运电子商务平台中存在的业务适应能力差等问题,提出了采用SOA开发框架。通过使用基于J2EE标准的Web服务技术,将其划分为客户端调用层,Web服务发布层和Web服务实现层,保证了系统的稳定、高效、松耦合和易于集成。  相似文献   

13.
14.
刘伟  杨勇  张亮 《计算机工程》2012,38(13):40-43
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。  相似文献   

15.
Web服务事务中的补偿机制研究与实现   总被引:3,自引:0,他引:3  
许峰  徐碧云  黄皓  谢立 《计算机科学》2006,33(7):242-244
可靠的web服务事务机制是面向服务的架构(SOA)中不可缺少的要素之一,它本身也需要有一定的恢复机制,其中非常重要的技术就是事务补偿。结合Web服务事务的特点,以及数据库系统中的触发器技术,可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。  相似文献   

16.
基于SOA的交通信息整合系统研究   总被引:1,自引:0,他引:1  
SOA是一种面向服务的体系架构,可有效地支撑交通信息服务的开发与应用。本文首先阐述了SOA的内涵、模型结构和主要特征;然后分析了基于SOA的交通信息服务的系统架构和流程;最后通过对新疆交通信息整合服务平台建设的实例研究,可以看到采用基于SOA的Web服务技术来整合异构的交通信息数据的方法取得了很好的效果。  相似文献   

17.
面向服务的体系结构(SOA)将业务逻辑和具体地实现技术分离开来,利于复用和集成.SOA服务化已成为信息系统的主要发展趋势.在SOA服务特点及比较现有服务恢复方法的基础上,结合微重启(Microreboot)技术提出了一种新的基于微重启的SOA服务恢复方法,并结合项目支撑的实验平台进行验证,实验表明了该方法的实用性和高效...  相似文献   

18.
面向服务体系结构的可靠服务研究   总被引:9,自引:0,他引:9       下载免费PDF全文
服务是SOA的面向服务的体系结构SOA核心.本文提出了基于层次管理的层次可靠服务网络LCSN,给出了LCSN的定义、描述方法和动态运行特性.针对服务提供者无法提供服务的各种情况,LCSN都可以帮助提高服务的可靠性.该体系结构可以无缝地嵌入到SOA中,而且可以减少用户使用基于SOA软件的复杂度,提升服务可靠性.  相似文献   

19.
面向服务的架构(SOA)技术以其松耦合性和与平台、语言无关性在构建分布式企业应用系统时得到广泛推广。服务组件架构(SCA)是跟实现语言无关的组件模型,可以简化基于SOA架构的业务的创建和集成。介绍了SCA编程模型的概念、特点、框架结构,并在此基础上提出了用SCA组件模型实现和调用Web服务。这一技术恰恰是SOA架构中所需要的。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号