首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 165 毫秒
1.
随着软件规模和复杂程度不断地扩大和增加,软件开发的成功已不再完全取决于数据结构和软件算法的选择,而是在很大程度上取决于软件体系结构,软件体系结构模型是影响软件的关键。分析了几种常用软件体系结构模型的特征、优点、缺点,提出了软件体系结构模型指导软件开发的优点。  相似文献   

2.
软件体系结构:一个新的研究领域   总被引:12,自引:0,他引:12  
计算机软件系统中软件成分越来越复杂,系统规模不断扩大,使得软件体系结构越来越庞杂,软件系统的质量和性能已经不再仅仅取决于软件实现算法和数据结构,软件系统体系结构在一定程度上决定系统的优劣,因此软件体系结构(Software Architecture,AS)研究已经逐渐地引起计算机界的重视。软件体系结构作为一个新兴的计算机学科,它的理论体系和解决问题的方法尚未形成。加强其基础理论和应用方法的研究,不论对学科发展,还是对软件生产都具有理论意义和现实意义。  相似文献   

3.
实现嵌入式软件仿真测试平台(ESSTP,embedded software simulationte8ting plafform)软件复用性的关键是获得ESSTP软件体系结构.给出了ESSTP的软件体系结构,并针对ESSTP各部件的可复用性作了具体的分析.  相似文献   

4.
软件体系结构层次的适应性度量技术研究   总被引:7,自引:0,他引:7  
高晖  张莉 《计算机科学》2008,35(4):259-264
软件适应特定变化的能力对软件开发和维护都具有重要的影响.软件适应性(Software Flexibility)是反映软件适应变化能力的一项重要质量特征.实践说明软件体系结构设计在很大程度上决定了软件的适应性.在软件体系结构层次上量化地度量软件适应性,有助于设计人员改善和比较软件体系结构的设计方案,并可以辅助设计人员评价软件体系结构的质量.本文首先定义了软件适应性的因素-准则-度量模型(FCM模型);然后在此基础上提出了一种利用变化影响图(CIG)对软件适应性进行度量的方法.  相似文献   

5.
软件连接件作为软件体系结构的重要组成部分,负责构件间的交互,对软件体系结构的适应性有重要影响.本文在面向方面软件开发和基于构件软件开发相结合的基础上,针对系统体系结构的适应性,将面向方面编程(AOP)方法引入到软件连接件中,然后提出面向方面连接件概念及其模型,最后归纳AOP技术对软件体系结构适应性的改善.  相似文献   

6.
基于软件体系结构的构件组装工具ABC-Tool   总被引:23,自引:1,他引:22  
软件朝着越来越复杂和庞大的趋势发展,因此对更有效的软件开发技术的需求十分迫切,近年来,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用,成为软件工程领域研究的热点,在基于构件复用的开发方法中,构件组装技术是关键,而且一直以来也是难点所在,ABC(architecture-based component composition)是一种基于软件体系结构、面向构件的软件开发方法,介绍了为ABC方法提供有效支持的工具ABC-Tool,ABC-Tool以软件体系结构为设计蓝图,以构件为基本开发单元,在不修改构件源代码的前提下,通过可视化的图形建模方式,从体系结构的高层设计逐层映射到底层实现,将可运行或可部署的构件组装为最终的可正确运行的系统。  相似文献   

7.
《软件学报》2005,16(11):2013-2013
1995年IEEE Software软件体系结构专刊的出版和ISAW-1(软件体系结构国际研讨会)的召开,标志着软件体系结构研究开始受到广泛重视。此后,越来越多的研究者关注并参与体系结构的研究,与软件体系结构相关的会议、期刊、书籍等逐渐增多,同时,软件体系结构的研究也得到了工业界的广泛关注与认同,在实际的软件开发实践中也引入了软件体系结构的概念和重要原则。2005年是IEEE Software专刊出版和ISAW-1召开10周年,为了纪念和回顾10年来软件体系结构领域取得的重大成就,《软件学报》特别推出软件体系结构专刊,总结国内外软件体系结构领域取…  相似文献   

8.
目前,软件体系结构尚处在迅速发展之中,越来越多的研究人员正在把注意力投向软件体系结构的研究。用于对软件体系进行规格描述的模型、标记法和工具仍很不正规。尽管这些不正规的模型是有用的,为使之更为精确和健壮,很多方面的研究工作还需要继续进行。关于软件体系结构的研究工作主要是在国外展开的,国内到目前为止对于软件体系结构的研究尚处在起步阶段。软件体系结构在国内未引起人们广泛注意的原因主要有两点: (1)软件体系结构从表面上看起来是一个老话题,似乎没有新东西。 (2)与国外相比,国内对大型和超大型复杂软件系统开发的经历相对较少,对软件危机的灾难性体会没有国外深刻,因而对软件体系结构研究的重要性和必要性的认识还不很充分。  相似文献   

9.
近年来,软件体系结构的可维护性得到了广泛的研究,其中可维护性的评估是关注焦点。然而,即使对某个软件体系结构的可维护性得出了定量的结果,也不能说明该软件体系结构的最优性(就可维护性而言)。通常情况下,软件构架师是根据自己的经验来判断评估结果。提出了一个基于场景的分析软件体系结构的最优可维护性的技术,该技术允许软件构架师从最优可维护性的角度来分析软件体系结构的可维护性。文章给出了该技术的一个应用例子。  相似文献   

10.
软件体系结构的概念   总被引:14,自引:3,他引:11  
软件体系结构作为软件的整体结构,从整个系统的角度来看,除了包括由构件、连接件和约束构成的软件结构之外,软件体系结构还应包括软件完成的业务、执行业务的组织、组织的位置、运行软件所需的信息和技术基础设施等方面的内容。软件体系结构对软件性能和质量的影响是致命的,它与具体的开发过程紧密相关。文章从系统的角度阐述了软件体系结构的概念,基于此概念,说明了以体系结构为中心的开发过程,并结合软件体系结构与软件过程的关系说明了软件体系结构对软件质量的影响,最后总结了研究软件体系结构的目的。  相似文献   

11.
一种基于进程代数的软件体系结构描述语言PEADL   总被引:1,自引:0,他引:1  
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。  相似文献   

12.
采用AADL的软件系统可靠性建模与评估方法   总被引:1,自引:0,他引:1       下载免费PDF全文
结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。  相似文献   

13.
论文介绍了软件过程与软件建模技术的发展历史,讨论了软件过程、建模语言和统一软件开发过程的基本概念和原理,并重点讨论了软件构架、用例驱动、迭代与增量等技术的内涵。尽快掌握并适应这种新方法,开发与之配套的软件环境与工具是当务之急,这对于软件产业和软件工程学科有重要的意义和作用。  相似文献   

14.
Petri box calculus PBC is a well-known algebra of concurrent processes with a Petri net semantics. In the paper, an extension of PBC with discrete stochastic time and immediate multiactions, which is referred to as discrete time stochastic and immediate PBC (dtsiPBC), is considered. Performance analysis methods for concurrent and distributed systems with random time delays are investigated in the framework of the new stochastic process algebra. It is demonstrated that the performance evaluation is possible not only via the underlying semi-Markov chains of the dtsiPBC expressions but also with the use of the underlying discrete time Markov chains, and the latter analysis technique is more optimal.  相似文献   

15.
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.  相似文献   

16.
平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术,但目前还没有针对该转换的有效的解决方案。从软件工程的实施出发,以抽象代数理论为基础,同时考虑建模元素的语法结构和语义特性,该文提出了一种基于体系结构映射的、可支持模型间自动转换的方法。该方法充分利用软件体系结构在软件开发各阶段间保持的良好可追踪性,使其同时成为系统分析和模型转换的基础。以J2EE目标平台为例说明了该方法的应用。  相似文献   

17.
史岗  尹宏达  胡明昌  胡伟武 《计算机学报》2003,26(12):1621-1628
在由高性能PC搭建的Linux机群系统上,传统的网络接口体系结构引入了巨大的软件处理开销,无法满足虚拟共享存储并行应用对通信带宽、延迟和进程间同步的需求.用户级网络接口标准——虚拟接口体系结构(Vilxual Interface Architecture,VIA)与传统的网络接口体系结构相比,在软件协议开销、通信关键路径上操作系统的干预程度、通信和计算的重叠程度以及实现零拷贝等方面,具有明显的优势.通过在传统网络通信接口和VIA通信接口上虚拟共享存储系统的性能对比,采用VIA网络接口体系结构可有效地提高虚拟共享存储系统的性能和可扩展性.  相似文献   

18.
The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment.  相似文献   

19.
A new software development process called test-driven modeling applies the Extreme Programming test-driven paradigm in a model-driven development environment. (The basis of this article is a project in Motorola's iDEN division that is extending and migrating a large legacy telecommunication system to new platforms using TDM.) This process involves automatic testing through simulation and using executable models as living software system architecture documents. In TDM, we use the same message sequence charts (MSCs) for both system analysis (or design documents) and unit test cases. Similarly, we use the same high-level modeling diagrams for both automatic code generation and living software architecture documents to guide the system's detailed implementation in later phases. Practical results show that developers can effectively apply TDM to large projects with high productivity and quality in terms of the number of code defects.  相似文献   

20.
Nichols  K.M. Edmark  J.T. 《Computer》1988,21(5):39-48
The authors discuss the parallel architecture and evaluation tool (PARET), a software package that provides a multicomputer system laboratory for studying the interaction of algorithms and architectures; the effects of varying physical resources on system performance; and alternate mapping, scheduling, and routing strategies, both static and dynamic. To handle the complexity of the problem and explore performance questions, PARET provides an interactive and animated environment in which the user exercises multicomputer models. The authors examined previous and related work, examine PARET's unified modeling approach and its user interface. They present two PARET models to illustrate the modeling process  相似文献   

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

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