首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 120 毫秒
1.
软件体系结构与组件技术   总被引:2,自引:0,他引:2  
在理论上,软件体系结构和基于组件的开发是理想的匹配;另一方面,软件体系结构是可重用软件组件的一种自然补充。只有通过实现体系结构模型,才能体现组件互操作性模型的所有优点。首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素;然后讨论软件组件技术与软件体系结构方法相互之间的要求,并探论了将软件体系结构与软件组件结合起来的可能途径。  相似文献   

2.
软件体系结构抽象模型   总被引:32,自引:4,他引:32  
  相似文献   

3.
形式化与可视化相结合的软件体系结构描述方法研究   总被引:6,自引:1,他引:6  
戎玫  张广泉 《计算机科学》2005,32(4):205-208
软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。  相似文献   

4.
徐世莲 《计算机科学》2006,33(9):105-106
基于软件体系结构的软件设计方法和功能复用的组件技术,本文提出了一个适用于Web应用系统、与具体的业务逻辑和数据松散耦合的NTier组件模型,并运用ASP.NET的组件技术和Web服务开发了N-Tier组件模型的组件体系,构建出一个可进行二次开发的具有开放性、通用性、重组性的WEBMIS应用平台。通过该应用平台开发人员仅需进行简单的应用数据和逻辑定义即可实现Web应用系统的自动生成。  相似文献   

5.
张广梅  李晓维 《计算机工程》2005,31(5):90-92,196
在对组成软件系统的组件间关系进行分析的基础上,提出了基于组件间关系的软件可靠性的数学模型,该模型给出了在已知组件的可靠性和平均无故障运行时间的基础上计算系统可靠性的方法。通过各组件对系统可靠性的影响分析,给出了改善系统可靠性的方案。  相似文献   

6.
随着软件技术的发展,对于软件体系结构的研究越来越引起人们的重视。本文对CORBA分布式软件体系结构的描述需求和组件之间的依赖关系进行了较详细的分析,在此基础上提出了一种基于图形的软件体系结构描述方法,该方法把基于CORBA的分布式应用的软件体系结构视为一张逻辑图,在图上预定义一组操作,有助于CORBA应用的程序设计和维护。本文还在CORBA之上实现了一个原型,概括地介绍了具体的实现途径。  相似文献   

7.
文章引入了代数理论和函数思想来描述软件体系结构模型,将组件间的操作抽象为嵌入组件和脱组件两大运算,提出了软件体系结构函数的概念,并给出了结构函数的Tuple模型和组件模型。最后,给出了软件体系结构函数的简单应用。  相似文献   

8.
在理论上,软件体系结构和基于组件的开发是理想的匹配;另一方面,软件体系结构是可重用软件组件的一种自然补充.只有通过实现体系结构模型,才能体现组件互操作性模型的所有优点.首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素;然后讨论软件组件技术与软件体系结构方法相互之间的要求,并探论了将软件体系结构与软件组件结合起来的可能途径.  相似文献   

9.
分布式计算是未来主要的计算模式,基于组件的软件体系结构能够有效支持分布式计算,因而要求操作系统为基于组件的应用提供有效的运行平台。传统操作系统的设计和实现并未充分考虑有效支持基于组件的应用,基于组件的应用在安全性、进程间保护、代码共享和用户界面设计等方面对操作系统结构提出了新的要求,文章主要探讨组件软件环境下操作系统的结构以及设计基于组件应用的操作系统的设想。  相似文献   

10.
基于组件的软件可靠性计算方法   总被引:2,自引:3,他引:2  
提出了一种基于组件的软件可靠性的计算方法。该方法首先利用各现成商用组件的说明信息,对组件的输入域进行划分,然后构建马尔可夫链,最终根据各组件之间的关系求出整个系统的软件可靠性。这种方法对基于组件的软件的可靠性进行了定量计算,是一种可行的方法。  相似文献   

11.
软件可靠性是软件质量的一个重要因素,如何提高软件可靠性已成为一个迫切的问题.本文综述了软件可靠性模型的概念和分类,详细分析了J-M模型参数方程的建立及其特性,由对方程根的判定推导出了一个切实可行的方程解法,通过与美国NASA开发的软件Smerfs的实验结果比较,可以看出方程的解法是合理的.  相似文献   

12.
现有基于软件体系结构的可靠性模型只适用于符合马尔可夫过程的软件构件转移关系,而当构件间存在由确定性和随机性转移关系组成的异构结构时,仍按照马尔可夫过程对软件体系结构建模,会导致可靠性评估结果不准确。为了解决现有模型不适用于异构结构的问题,在分析构件转移关系基础上,提出了一个新的软件可靠性模型。基于软件UML顺序图,提出将异构软件结构转换为马尔可夫链的算法。通过对一个实例的可靠性评估,验证了新模型能够比现有模型获得更准确的评估结果。  相似文献   

13.
一种从UML模型到可靠性分析模型的转换方法   总被引:3,自引:0,他引:3  
柳毅  麻志毅  何啸  邵维忠 《软件学报》2010,21(2):287-304
以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.  相似文献   

14.
基于软件架构的可靠性分配算法   总被引:1,自引:0,他引:1  
研究软件可靠性分配中的软件开发成本最小化问题.将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法.该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小.  相似文献   

15.
基于软件体系结构的可靠性分析   总被引:3,自引:1,他引:2       下载免费PDF全文
近年来,软件体系结构(Software Architecture,SA)可靠性作为软件性能评估的关键因素,越来越受到关注。针对SA自身的特点及构件之间的关系,提出了SA的6种基本结构,给出了相应可靠性计算模型,证明了基本结构的完整性和讨论了基本结构的选择问题,并在此基础上描述了整个SA可靠性模型。与现有的许多SA可靠性分析和评估方法相比,提出的方法便于从运行效率和可靠性出发,选择更合实际的结构组成最终的SA,从而有利于指导软件体系结构的设计,更准确地估算SA的可靠性。  相似文献   

16.
文章通过对基于构架的软件可靠性模型进行估算和分析,提出了一套分析和优化基于构架的软件可靠性的方案,并利用ATM银行系统实例给出了具体分析方法和步骤。同时,根据分析出来的可靠性瓶颈进行了一定的结构优化,优化后整个软件构架的可靠性有了显著提高。  相似文献   

17.
基于Petri网的软件体系结构可靠性分析   总被引:3,自引:0,他引:3  
近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。  相似文献   

18.
曲以堃  张伟 《计算机应用研究》2020,37(10):3053-3057
AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系,建立AADL可靠性模型;然后设计转换模型及其规则,将AADL模型转换为连续时间马尔科夫链模型;最后采用概率模型检验工具对连续时间马尔科夫链模型进行可靠性定量分析。仿真结果表明,与现有可靠性分析方法相比,该方法在计算效率和转换效率上都有明显的提高。基于AADL的可靠性分析框架实现在软件系统开发早期对SA进行可靠性定量计算,为AADL在嵌入式软件系统可靠性定量分析方面提供了一种新的验证思路。  相似文献   

19.
基于构件软件的可靠性通用模型   总被引:38,自引:0,他引:38       下载免费PDF全文
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  相似文献   

20.
嵌入式软件仿真测试环境的软件体系结构设计   总被引:7,自引:1,他引:7  
仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体系结构设计,并对其中的任务管理与调度和通讯协议两个模块的软件体系结构设计进行了详细的描述,最后对全文进行了总结。  相似文献   

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

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