期刊文献+
共找到1,041篇文章
< 1 2 53 >
每页显示 20 50 100
软件体系结构动态演化的Z描述语言扩展方法 被引量:1
1
作者 段玉春 朱小艳 《兰州理工大学学报》 CAS 北大核心 2013年第1期88-91,共4页
针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后... 针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性. 展开更多
关键词 动态软件体系结构 Z描述语言 动态演化
在线阅读 下载PDF
基于连接件的软件体系结构动态演化
2
作者 黄万艮 陈松乔 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第5期81-84,共4页
针对基于中间件的软件体系结构(SA)动态演化存在的缺陷,对连接件进行了扩展,使连接件能够对其所连接的实体进行监视和操作;提出了一种支持动态演化的SA风格,使得演化信息可以通过SA自身进行传播.如果连接件之间没有连接通路,则增加一个... 针对基于中间件的软件体系结构(SA)动态演化存在的缺陷,对连接件进行了扩展,使连接件能够对其所连接的实体进行监视和操作;提出了一种支持动态演化的SA风格,使得演化信息可以通过SA自身进行传播.如果连接件之间没有连接通路,则增加一个或多个连接件对SA进行改造.设计了从运行系统中获得SA的算法,使SA成为运行系统的一个可控组成部分.提出了直接对连接件进行操作的SA动态演化框架,消除了SA动态演化的不一致性,提高了演化效率,并具有很好的可跟踪性. 展开更多
关键词 软件体系结构 连接件 动态演化
在线阅读 下载PDF
软件体系结构动态演化的元胞自动机模型研究 被引量:2
3
作者 刘晓斌 杨贯中 +1 位作者 欧阳柳波 李勇军 《计算机工程与应用》 CSCD 北大核心 2015年第9期87-92,97,共7页
目前软件体系结构动态演化的元胞自动机模型存在描述单一、元胞间关系不明确、没有详细阐述动态演化过程应用约束条件的缺点。针对这些不足进行相关的研究,重新定义了软件体系结构动态演化的扩展元胞自动机模型,基于扩展元胞自动机模型... 目前软件体系结构动态演化的元胞自动机模型存在描述单一、元胞间关系不明确、没有详细阐述动态演化过程应用约束条件的缺点。针对这些不足进行相关的研究,重新定义了软件体系结构动态演化的扩展元胞自动机模型,基于扩展元胞自动机模型结合演化应用约束条件,分析了软件体系结构的动态演化过程,运用元胞间控制约束条件和行为相关约束条件来正确地指导SA动态演化。提出了动点稳态转移的概念,对演化程度和一致性进行定义分析,此方法比以往的元胞自动机模型更能准确指导SA动态演化,促进SA动态演化的进一步研究。通过案例验证了该方法的应用价值和可行性,可以更全面地应用于软件体系结构的动态演化。 展开更多
关键词 动态演化 扩展元胞自动机模型 动点稳态转移 应用约束条件 软件体系结构
在线阅读 下载PDF
面向风格的软件体系结构演化路径生成方法
4
作者 钟林辉 杨超逸 +4 位作者 夏子豪 黄淇轩 屈乔乔 李方云 孙文彬 《计算机科学》 CSCD 北大核心 2024年第S02期766-774,共9页
软件体系结构风格是对软件通用结构的泛化,软件的结构风格通常与结构特征密切相关,通过向某种风格演化能够使其软件的结构特征更加明显。传统的面向软件体系结构风格的演化方法在构建演化路径时,需要人工构造目标软件体系结构,因此缺少... 软件体系结构风格是对软件通用结构的泛化,软件的结构风格通常与结构特征密切相关,通过向某种风格演化能够使其软件的结构特征更加明显。传统的面向软件体系结构风格的演化方法在构建演化路径时,需要人工构造目标软件体系结构,因此缺少自动化的支持。目前,亦未提出针对软件体系结构风格的度量方法。因此,文中以正交化软件体系结构风格为例,提出了一种遗传算法与规划领域定义语言(Planning Domain Definition Language-PDDL)相结合的软件体系结构风格演化路径生成方法。该方法提出了一种基于语义相似度的遗传变异算子和正交软件体系结构风格的度量方法,提出了软件体系结构与PDDL的映射规则。实验证明,提出的遗传变异算子相比通用变异算子能更好地提升算法前期的收敛效率,正交软件体系结构风格演化完成后,软件的计算变动代价、正交风格距离以及McCabe度量等指标得以改善。 展开更多
关键词 软件体系结构 软件体系结构风格 遗传算法 软件演化 基于搜索的软件工程
在线阅读 下载PDF
一种面向动态软件体系结构的在线演化方法 被引量:31
5
作者 余萍 马晓星 +1 位作者 吕建 陶先平 《软件学报》 EI CSCD 北大核心 2006年第6期1360-1371,共12页
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系... 为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果. 展开更多
关键词 动态软件体系结构 在线演化 反射 一致性 完整性 追溯性
在线阅读 下载PDF
基于Petri网的面向动态演化的软件体系结构建模 被引量:7
6
作者 谢仲文 李彤 +4 位作者 代飞 秦江龙 张璇 莫启 朱锐 《计算机应用与软件》 CSCD 北大核心 2012年第10期36-39,127,共5页
为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接... 为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。 展开更多
关键词 软件动态演化 软件体系结构 PETRI网 构件 连接件
在线阅读 下载PDF
基于Bigraph的面向方面动态软件体系结构演化研究 被引量:6
7
作者 汪玲 戎玫 +1 位作者 张广泉 王昇 《计算机科学》 CSCD 北大核心 2010年第9期137-140,共4页
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很... 随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。 展开更多
关键词 Bigraph Bigraph反应系统 AODSA 动态演化
在线阅读 下载PDF
基于可达矩阵的软件体系结构演化波及效应分析 被引量:47
8
作者 王映辉 张世琨 +1 位作者 刘瑜 王立福 《软件学报》 EI CSCD 北大核心 2004年第8期1107-1115,共9页
构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条... 构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.描述了SA的构件棗连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础. 展开更多
关键词 软件体系结构 演化 交互关系 软件体系结构可达矩阵 波及效应
在线阅读 下载PDF
基于图文法的动态软件体系结构支撑环境 被引量:13
9
作者 马晓星 曹春 +1 位作者 余萍 周宇 《软件学报》 EI CSCD 北大核心 2008年第8期1881-1892,共12页
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图... 使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境. 展开更多
关键词 动态软件体系结构 可视化 图文法 开发环境
在线阅读 下载PDF
软件体系结构演化模型 被引量:23
10
作者 王映辉 王立福 《电子学报》 EI CAS CSCD 北大核心 2005年第8期1381-1386,共6页
软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭... 软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法.其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述.最后给出了两个层面上对SA演化波及效应的分析框架.为SA演化的管理、控制、利用、评价和量化描述奠定了基础. 展开更多
关键词 软件体系结构 软件演化 可达矩阵 波及效应 浸润
在线阅读 下载PDF
基于复合信息矩阵的软件体系结构演化波及效应分析 被引量:4
11
作者 黄翰 郝志峰 +1 位作者 陈明 韩涛 《计算机科学》 CSCD 北大核心 2007年第2期260-263,F0003,共5页
演化性是软件的基本特性之一。软件演化由一系列复杂的变化活动组成。本文从宏观层面入手,以软件体系结构(software architecture,SA)作为软件的蓝图和支撑,设计了复合信息矩阵模型,作为软件体系结构演化波及效应分析的新工具。结合矩... 演化性是软件的基本特性之一。软件演化由一系列复杂的变化活动组成。本文从宏观层面入手,以软件体系结构(software architecture,SA)作为软件的蓝图和支撑,设计了复合信息矩阵模型,作为软件体系结构演化波及效应分析的新工具。结合矩阵特性、图论知识和算法设计,新模型可以对一般SA静态和动态演化中的波及图表1效应进行理论分析和量化界定,弥补了现有研究模型需要简化连接器和无法评估连接器影响的不足,从而为SA演化的利用和评价提供了更为全面的依据,并为基于矩阵变化的SA演化计算机自动处理提供了新的理论支持。 展开更多
关键词 软件体系结构 软件演化 波及效应 复合信息矩阵
在线阅读 下载PDF
正交软件体系结构设计和演化方法应用研究 被引量:11
12
作者 李海洋 李柏林 郭荣佐 《计算机应用研究》 CSCD 北大核心 2007年第1期78-79,82,共3页
通过对正交软件体系结构的概念分析,给出了具体的正交软件体系结构模型,并详细介绍了其演化控制方法,最后以实例探讨了该模型和方法在实际系统中的应用。
关键词 正交软件体系结构 模型 线索 演化控制
在线阅读 下载PDF
动态软件体系结构研究综述 被引量:4
13
作者 李琼 姜瑛 《计算机应用研究》 CSCD 北大核心 2009年第6期2352-2355,共4页
近年来,随着Internet的迅猛发展和应用形式的不断更新,传统的软件体系结构(SA)已无法完全适应需求,动态软件体系结构(dynamic software architecture,DSA)逐渐成为SA研究人员关注的焦点之一。描述了DSA的研究背景及研究意义;总结了DSA... 近年来,随着Internet的迅猛发展和应用形式的不断更新,传统的软件体系结构(SA)已无法完全适应需求,动态软件体系结构(dynamic software architecture,DSA)逐渐成为SA研究人员关注的焦点之一。描述了DSA的研究背景及研究意义;总结了DSA的研究内容及国内外的研究现状;最后探讨了DSA研究的主要发展方向。 展开更多
关键词 软件体系结构 动态软件体系结构 动态演化 描述语言 执行工具
在线阅读 下载PDF
演化信息驱动的软件体系结构重构技术研究 被引量:2
14
作者 钟林辉 郑鑫 +1 位作者 郑燚 叶茂盛 《计算机工程与应用》 CSCD 北大核心 2009年第14期66-69,共4页
通过在软件体系结构层次实施软件重构,能够改善软件的质量、提高软件的易演化性。提出了基于演化信息实施软件体系结构重构的策略,通过分析体系结构的演化历史,采用概念格的方法分析其中构件间的演化依赖关系,从而达到改善体系结构质量... 通过在软件体系结构层次实施软件重构,能够改善软件的质量、提高软件的易演化性。提出了基于演化信息实施软件体系结构重构的策略,通过分析体系结构的演化历史,采用概念格的方法分析其中构件间的演化依赖关系,从而达到改善体系结构质量的目的。 展开更多
关键词 软件演化 演化信息 软件体系结构 软件重构
在线阅读 下载PDF
基于软件体系结构的Agent规约和演化 被引量:5
15
作者 詹剑锋 程虎 《计算机研究与发展》 EI CSCD 北大核心 2002年第12期1543-1549,共7页
借助软件体系结构描述语言 C2的表达能力 ,基于组件、连接体和体系结构配置 3要素 ,研究适合于 Agent规约和构造的组合方法 .以软件体系结构的类型化理论为基础 ,探讨了基于子类型关系的 Agent演化 ,用扩充关系表达有相互关联的不同类型... 借助软件体系结构描述语言 C2的表达能力 ,基于组件、连接体和体系结构配置 3要素 ,研究适合于 Agent规约和构造的组合方法 .以软件体系结构的类型化理论为基础 ,探讨了基于子类型关系的 Agent演化 ,用扩充关系表达有相互关联的不同类型的 Agent之间的关系 ,通过为遗留代码定做包装器、领域翻译器以及相应的界面和约束 ,将非 Agent实体迁移为 Agent.相关案例说明结合组合、基于子类型关系的演化、扩充、迁移等方法 ,可以满足多Agent系统构造过程中 展开更多
关键词 软件体系结构 AGENT 规约 演化 软件工程 人工智能
在线阅读 下载PDF
动态软件体系结构建模方法研究 被引量:5
16
作者 于振华 蔡远利 徐海平 《西安交通大学学报》 EI CAS CSCD 北大核心 2007年第2期167-171,共5页
针对用现有方法对动态体系结构建模的不足,提出了一种软件体系结构抽象模型(SAAM).SAAM以两种互为补充的形式化方法———面向对象Petri网OPN和π演算为语义基础,其中OPN可以形象地描述软件体系结构的初始化模型和动态行为,π演算可以... 针对用现有方法对动态体系结构建模的不足,提出了一种软件体系结构抽象模型(SAAM).SAAM以两种互为补充的形式化方法———面向对象Petri网OPN和π演算为语义基础,其中OPN可以形象地描述软件体系结构的初始化模型和动态行为,π演算可以描述软件体系结构的动态演化.这两种形式化方法通过SAAM集成在一起,并通过相应的支持工具对模型进行分析.在体系结构演化过程中,SAAM利用π演算的相关分析方法,对组件的演化策略和软件体系结构的一致性进行分析,从而可以在系统开发早期发现体系结构级的错误,提高软件质量.利用SAAM对经典实例自动加油站系统进行的建模与分析表明,SAAM直观、易懂,可以有效地刻画系统动态体系结构. 展开更多
关键词 软件体系结构 面向对象PETRI网 Π演算 演化 建模
在线阅读 下载PDF
面向构件语义关系的软件体系结构演化分析 被引量:1
17
作者 印桂生 宋敏 +2 位作者 韦正现 王红滨 张万松 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第10期1329-1335,共7页
为确定软件体系结构(SA)演化的影响程度,在描述构件本身及构件之间的语义关系基础上,提出了构件内部和构件之间的语义协议关系,并构造了SA语义关系模型和语义关系矩阵,将构件之间的语义关系连接形成语义关系链,提出了SA语义关系链矩阵... 为确定软件体系结构(SA)演化的影响程度,在描述构件本身及构件之间的语义关系基础上,提出了构件内部和构件之间的语义协议关系,并构造了SA语义关系模型和语义关系矩阵,将构件之间的语义关系连接形成语义关系链,提出了SA语义关系链矩阵并对它的性质进行了分析.在此基础上,提出了语义关系链波及效应与语义关系构件波及效应算法,同时针对不同语义协议关系项的强弱程度不同,提出了删除构件语义关系构件波及效应算法.实验结果表明,从构件之间的语义关系、语义协议关系的角度,能够较好地确定SA演化操作的波及效应,从而对SA演化进程及其影响进行有效地预测和控制. 展开更多
关键词 软件体系结构 构件 语义关系 演化
在线阅读 下载PDF
基于Multi-Agent的动态配置软件体系结构研究 被引量:5
18
作者 刘志都 李永新 +1 位作者 廖冬 张海玉 《计算机工程与科学》 CSCD 北大核心 2012年第11期130-134,共5页
本文介绍了一种基于多代理的动态配置软件体系结构。对于采用基于构件的软件开发方法开发的软件系统,利用这种动态配置中间件能够根据配置请求在系统运行期间调整构件连接关系和完成构件升级,实现系统的动态配置,并且保证系统始终处于... 本文介绍了一种基于多代理的动态配置软件体系结构。对于采用基于构件的软件开发方法开发的软件系统,利用这种动态配置中间件能够根据配置请求在系统运行期间调整构件连接关系和完成构件升级,实现系统的动态配置,并且保证系统始终处于正常工作状态。在动态配置框架中,作为软件组成元素的每个构件被封装成具有智能性和机动性的Agent,能够自主地进行构件升级和结构调整。 展开更多
关键词 软件体系结构 多代理 动态配置 基于构件的软件开发
在线阅读 下载PDF
带可信属性的软件体系结构及其演化描述方法 被引量:2
19
作者 姜火文 曾国荪 熊焕亮 《计算机工程与设计》 北大核心 2015年第9期2406-2411,共6页
针对现有软件体系结构演化研究很少考虑构件可信属性及其表达的问题,提出类E-R图方法,描述考虑构件可信属性的软件体系结构及其演化过程。给出具有可信属性的软件体系结构(SA-T)概念,引入类E-R图表示SA-T,得到SA-T图,通过关系逻辑形式... 针对现有软件体系结构演化研究很少考虑构件可信属性及其表达的问题,提出类E-R图方法,描述考虑构件可信属性的软件体系结构及其演化过程。给出具有可信属性的软件体系结构(SA-T)概念,引入类E-R图表示SA-T,得到SA-T图,通过关系逻辑形式化描述SA-T图;利用类E-R图描述方法表达构件和连接件的增加、删除、替换演化操作;通过一个电子商务系统软件体系结构演化实例,进一步论述SA-T演化的类E-R图描述方法。该方法对软件可信演化研究具有一定意义。 展开更多
关键词 软件体系结构 软件演化 可信属性 类E-R图 描述方法
在线阅读 下载PDF
动态自适应软件体系结构重配置研究 被引量:6
20
作者 陈向东 《计算机科学》 CSCD 北大核心 2015年第6期185-188,215,共5页
在当前的自适应软件研究中,人们将更多的关注点放在环境感知、服务质量建模、编程语言等方面,从而导致缺乏对自适应过程和原理的深入揭示的问题。关注体系结构,研究动态自适应过程,提出了一种软件体系结构重配置方法。该方法通过对构件... 在当前的自适应软件研究中,人们将更多的关注点放在环境感知、服务质量建模、编程语言等方面,从而导致缺乏对自适应过程和原理的深入揭示的问题。关注体系结构,研究动态自适应过程,提出了一种软件体系结构重配置方法。该方法通过对构件、连接子的添加、删除和替换等操作来调整体系结构。基于云计算的服务器池大小动态自适应调整实验表明,动态自适应能提高系统的可信度,降低运行费用。 展开更多
关键词 自适应 动态 重配置 软件体系结构 构件 连接子
在线阅读 下载PDF
上一页 1 2 53 下一页 到第
使用帮助 返回顶部