共查询到20条相似文献,搜索用时 109 毫秒
1.
文章引入了代数理论和函数思想来描述软件体系结构模型,将组件间的操作抽象为嵌入组件和脱组件两大运算,提出了软件体系结构函数的概念,并给出了结构函数的Tuple模型和组件模型。最后,给出了软件体系结构函数的简单应用。 相似文献
2.
基于组件的软件可靠性模型 总被引:13,自引:0,他引:13
首先对不同的软件体系结构描述语言(ADL)进行分析,找出体系结构的共性,用抽象代数和一代阶逻辑理论对组件,连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同连接形式下的软件体系结构,给出基于组件的软件可靠性模型,在此模型基础上,对基于组件的软件系统的可靠性计算模型进行研究,提出一种半Markov模型,并在理论上证明该模型的可用性,最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。 相似文献
3.
网构软件体系结构代数模型 总被引:1,自引:0,他引:1
由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究. 相似文献
4.
5.
软件体系结构与组件技术 总被引:2,自引:0,他引:2
在理论上,软件体系结构和基于组件的开发是理想的匹配;另一方面,软件体系结构是可重用软件组件的一种自然补充。只有通过实现体系结构模型,才能体现组件互操作性模型的所有优点。首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素;然后讨论软件组件技术与软件体系结构方法相互之间的要求,并探论了将软件体系结构与软件组件结合起来的可能途径。 相似文献
6.
在理论上,软件体系结构和基于组件的开发是理想的匹配;另一方面,软件体系结构是可重用软件组件的一种自然补充.只有通过实现体系结构模型,才能体现组件互操作性模型的所有优点.首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素;然后讨论软件组件技术与软件体系结构方法相互之间的要求,并探论了将软件体系结构与软件组件结合起来的可能途径. 相似文献
7.
正交软件体系结构模型 总被引:4,自引:0,他引:4
当前对软件体系结构的描述通常都采用体系结构描述语言(ADb),但ADb在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点。文章用代数理论对正交软件体系结构的属性和行为特征进行抽象,提出了正交软件体系结构的概念和框架结构,抽象出了正交软件体系结构的核心模型。提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。给出了正交软件体系结构的一个应用实例。 相似文献
8.
随着软件技术的发展,对于软件体系结构的研究越来越引起人们的重视。本文对CORBA分布式软件体系结构的描述需求和组件之间的依赖关系进行了较详细的分析,在此基础上提出了一种基于图形的软件体系结构描述方法,该方法把基于CORBA的分布式应用的软件体系结构视为一张逻辑图,在图上预定义一组操作,有助于CORBA应用的程序设计和维护。本文还在CORBA之上实现了一个原型,概括地介绍了具体的实现途径。 相似文献
9.
在仔细分析模糊逻辑和模糊集合论中最常用的Zadeh算子的基础上,研究了模糊集合相关性对T范式和T协范式算子运算结果的影响,并分析了Zadeh算子之所以不满足矛盾律和排中律的根本原因.最终提出了考虑集合相关性的新的T范式和T协范式算子,而且证明了该算子在不违反模糊集合的模糊性的基础上能够使模糊集合的运算满足排中律和矛盾律,并能使模糊集合理论和经典集合理论很好地统一. 相似文献
10.
软件连接件的分类及其应用研究 总被引:3,自引:0,他引:3
1 引言连接件在软件体系结构中占有重要的地位。绝大部分的软件体系结构分析方法,均把连接件作为一个单独的实体进行分析。把原本分散在系统各个部分的连接成分,组成一个单独可见的实体,并把它提到与组件相同的重要程度,这是软件体系结构分析的重要成果之一。当前,国内外对体系结构研究的主要方面有: 相似文献
11.
使用反射机制感知软件系统的结构与运行状态,提出了一种基于知识规则、直接对连接件进行操作的SA动态演化方法,消除了SA动态演化的不一致性,提高了效率.该方法使用代数表达式简化了演化日志,提高了演化可跟踪性。 相似文献
12.
航空软件的逻辑结构和系统规模日趋庞大,软件可靠性保障已成为新一代航空电子综合化领域的研究热点;针对实时软件的状态监控与故障诊断问题,提出了一种基于构件技术的双软总线风格体系结构,采用面向对象方法予以建模,构建该体系结构的静态框架和动态行为,并探讨了软件传感器采集监控对象实时状态的详细设计;以某惯导系统软件为例,对双总线体系结构进行扩展和应用,实例说明了该体系结构有助于使可靠性保障软件的框架定义更加清晰,易于实现。 相似文献
13.
环境和需求的改变导致软件演化发生, 并通常会使软件架构(Software architecture, SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果, 但在软件演化时的实时分析方面有局限性.从软件结构建模出发, 通过使用代数方法将软件演化描述为原子操作序列, 并跟踪分析序列中每一步操作对可靠性的影响, 从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势, 用以进一步反馈和约束演化方案设计, 最终达到提高软件产品质量的目的.通过对2个实际算例的深入分析与讨论, 方法的有效性与易用性得到验证. 相似文献
14.
软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题.针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法.通过一组度量指标对体系结构进行度量并量化其结构特征;引入场景更细粒度地刻画体系结构的质量属性,考察场景在体系结构中的映射程度.最后对某保险案例的体系结构设计方案进行对比与选择,验证了方法的可行性及实用价值.两种技术的结合为更全面地进行面向方面软件体系结构的评估提供支持与参考. 相似文献
15.
软件在其生命周期内如何对其进行较小修改或者不修改就能适应软件需求和环境变化是软件工程追求的目标之一。文中分析了体系结构在软件配置中的作用,提出了基于映射模型和面向构件的层次消息总线体系结构软件设计,使得软件系统具备重配置能力,这样可以提高软件的灵活性、适应性这一软件内在质量,延长软件系统的生命期。最后用一个实例证明对象映射协同模型的有效性。 相似文献
16.
17.
PESOI: Process Embedded Service-Oriented Architecture 总被引:4,自引:0,他引:4
Wei-Tek Tsai Yinong Chen Chun Fan 《软件学报》2006,17(6):1470-1484
1 Introduction Service-Oriented Architecture (SOA) has received significant attention recently as major computer and software companies such as HP, IBM, Intel, Microsoft, and SAP, have all embraced SOA, as well as government agencies such as DoD (US depar… 相似文献
18.
软件体系结构提供了软件系统的高层抽象,对于软件密集型系统的开发具有重要意义,基于体系结构层次的可变性管理可以有效地实现软件的定制和演化。目前体系结构层次的可变性建模并没有得到足够的关注,在分析出领域体系结构后,无法很好地实现体系结构的建模,而且体系结构层次可变性建模方法并没有很好地对可变性的复杂依赖关系进行建模。提出了一种基于多视图的体系结构可变性建模方法,基于UML Profile扩展机制,定义了可变性的构造型、标记值和相关的约束,并利用基于分离的可变性建模方法,定义可变点交互视图对系统中存在的依赖进行建模。基于可变性视图和依赖视图分离的可变性建模方法,实现了复杂依赖关系的有效管理,提高了可变性建模的效果。以船舶故障预测与健康管理系统作为研究案例,对该方法进行了验证,结果表明该方法能够有效地实现软件密集型系统的建模。 相似文献
19.
Runtime software architecture based on reflective middleware 总被引:8,自引:0,他引:8
HUANG Gang MEI Hong & YANG Fuqing Institute of Software School of Electronics Engineering Computer Science Peking University Beijing China 《中国科学F辑(英文版)》2004,47(5):555-576
Copyright by Science in China Press 2004 Since its first literate identification and discussion[1], software architecture (SA) has become an important subfield of software engineering, receiving increasing attention from both academic and industrial communities. SA describes the gross structure of a software system with a collection of components, connectors and constraints[2]. In gen-eral, SA acts as a bridge between requirements and implementation and provides a blue-print for system cons… 相似文献
20.
构件化领域框架设计与实现 总被引:18,自引:0,他引:18
文中介绍了由东北大学软件中心研究的构件化领域框架系统NESC。它以构件技术、软件体系结构技术和应用软件开发技术为基础,采用了界面、规则和存储的层次化结构,实现了规则控制、时空关系描述、可视化信息表达、构件静态组合、功能动态组合、分布式构件管理等功能。框架体系结构设计通过应用-技术二维划分、功能提取、局部封闭和全局分层等技术实现,可望达到合理规划设计构件,简化依赖关系,提高运动效率,增强构件通用性以 相似文献