检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

软件体系结构的数学论域

武汉大学学报（工学版） 2003年第4期36卷 107-110页

作者：李晖庄芸武汉大学计算中心湖北武汉430072 武汉化工学院湖北武汉430074

把两个数学集合ISAC和IP定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.

关键词：软件体系结构数学论域层次区间重复算子链

在线全文

学校读者我要写书评

暂无评论

软件体系结构演化模型

电子学报 2005年第8期33卷 1381-1386页

作者：王映辉王立福北京大学软件工程国家工程研究中心

软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭... 详细信息

软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法.其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述.最后给出了两个层面上对SA演化波及效应的分析框架.为SA演化的管理、控制、利用、评价和量化描述奠定了基础.

关键词：软件体系结构软件演化可达矩阵波及效应浸润

在线全文

学校读者我要写书评

暂无评论

软件体系结构测试覆盖准则研究

计算机工程 2005年第22期31卷 107-109页

作者：叶俊民赵良罗景王振宇赵恒哈尔滨工程大学计算机学院哈尔滨150001 华中师范大学计算机系

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针... 详细信息

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。

关键词：软件体系结构测试覆盖准则形式化测试

在线全文

学校读者我要写书评

暂无评论

软件体系结构

吉林粮食高等专科学校学报 2004年第2期19卷 21-25页

作者：林丽云吉林粮食高等专科学校吉林长春130062

软件体系结构是近来脱颖而出的一个技术领域,面对的是一些新的挑战,正确的体系结构设计是软件系统成功的关键。

关键词：软件体系结构 C/S 软件风格软件设计

在线全文

学校读者我要写书评

暂无评论

软件体系结构层次的适应性度量技术研究

信息记录材料 2022年第4期23卷 99-101页

作者：张兴华黑龙江职业学院黑龙江哈尔滨150800

在面向方面软件体系结构质量的评判中,度量技术的应用极为广泛,相关理论研究和实践探索也向来受到重视。研究主要围绕软件体系结构层次的适应性度量技术展开,具体涉及面向方面软件体系结构适应性通用度量过程、软件体系结构适应性度量... 详细信息

在面向方面软件体系结构质量的评判中,度量技术的应用极为广泛,相关理论研究和实践探索也向来受到重视。研究主要围绕软件体系结构层次的适应性度量技术展开,具体涉及面向方面软件体系结构适应性通用度量过程、软件体系结构适应性度量方法扩展,并结合案例开展深入分析,适应性度量技术的有效性在案例中得到证明。

关键词：软件体系结构适应性度量功能点

在线全文

学校读者我要写书评

暂无评论

软件体系结构脆性分析与验证

计算机工程与科学 2016年第11期38卷 2254-2260页

作者：张红王小军北京理工大学计算机学院北京100081

软件系统因具有节点众多、节点间联系复杂、随时间演化、自组织临界等特性可将其视为复杂系统。在软件安全领域,对软件体系结构的分析一直是研究的重点。软件体系结构具有自身的脆性,这体现在软件系统的运行过程会出现由于内部组件失效... 详细信息

软件系统因具有节点众多、节点间联系复杂、随时间演化、自组织临界等特性可将其视为复杂系统。在软件安全领域,对软件体系结构的分析一直是研究的重点。软件体系结构具有自身的脆性,这体现在软件系统的运行过程会出现由于内部组件失效或外部攻击而导致的级联故障乃至系统崩溃。首次将软件系统视为复杂系统,对软件体系结构的脆性进行相关分析,并结合"数据抽象和面向对象"风格的软件体系结构,通过蚁群算法及GROD算法指出该体系结构脆性的最大崩溃路径及脆性源。这将对软件安全领域系统的设计、监控等方面的研究提供理论及实践方面的指导意义。

关键词：软件体系结构软件安全复杂系统复杂网络脆性

在线全文

学校读者我要写书评

暂无评论

网格数据复本管理的动态自适应软件体系结构

软件学报 2006年第6期17卷 1436-1447页

作者：陈磊李三立清华大学计算机科学与技术系北京100084

单一策略的复本管理不能适应网格系统复杂、多变的环境.提出了软件体系结构驱动的动态自适应数据复本管理架构DSA-RM.在该架构中,软件体系结构描述作为核心元素被整个数据网格运行环境共享,适用于不同应用环境和虚拟组织的数据复本管理... 详细信息

单一策略的复本管理不能适应网格系统复杂、多变的环境.提出了软件体系结构驱动的动态自适应数据复本管理架构DSA-RM.在该架构中,软件体系结构描述作为核心元素被整个数据网格运行环境共享,适用于不同应用环境和虚拟组织的数据复本管理策略则可以按照描述规则封装为构件.DSA-RM以该描述作为系统调度依据,运行各数据复本管理构件.通过对DSA-RM的抽象,形式化地描述了框架下的复本管理构件,讨论了动态环境下构件演化、复制过程的动态自适应规则,并按这些定义和规则设计了DSA-RM的实现框架和构件复制算法.通过性能分析以及对框架下多策略执行模拟验证表明,DSA-RM可以有效提升网格系统的整体性能.最后,介绍了下一步在上海医学数据网格上的应用计划.

关键词：软件体系结构数据网格自适应复本 DSA-RM

一种图文法制导的软件体系结构开发环境Artemis-GADE

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2010年第7期47卷 1165-1174页

作者：邢阳谢德平马晓星曹春吕建计算机软件新技术国家重点实验室(南京大学) 南京210093 江苏中烟工业公司南京210011

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编... 详细信息

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性.

关键词：软件体系结构属性图文法语法制导可视化开发环境

在线全文

学校读者我要写书评

暂无评论

支持协商的网构软件体系结构行为建模与验证

软件学报 2008年第5期19卷 1099-1112页

作者：周立陈湘萍黄罡孙艳春梅宏北京大学信息科学技术学院软件研究所

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工... 详细信息

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.

关键词：网构软件软件体系结构模型检查行为模型