期刊文献+
共找到72篇文章
< 1 2 4 >
每页显示 20 50 100
一种面向动态软件体系结构的在线演化方法 被引量:31
1
作者 余萍 马晓星 +1 位作者 吕建 陶先平 《软件学报》 EI CSCD 北大核心 2006年第6期1360-1371,共12页
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系... 为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果. 展开更多
关键词 动态软件体系结构 在线演化 反射 一致性 完整性 追溯性
在线阅读 下载PDF
自省的动态软件体系结构描述与实现 被引量:9
2
作者 马晓星 张小蕾 吕建 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第2期146-155,共10页
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建... 软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。 展开更多
关键词 动态软件 体系结构 可追溯性 动态重配置 图文法 抽象描述 自省设施
在线阅读 下载PDF
基于图文法的动态软件体系结构支撑环境 被引量:13
3
作者 马晓星 曹春 +1 位作者 余萍 周宇 《软件学报》 EI CSCD 北大核心 2008年第8期1881-1892,共12页
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图... 使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境. 展开更多
关键词 动态软件体系结构 可视化 图文法 开发环境
在线阅读 下载PDF
基于π演算的动态软件架构研究 被引量:3
4
作者 任洪敏 张敬周 杨志应 《计算机科学》 CSCD 北大核心 2009年第9期127-130,共4页
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并... 动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。 展开更多
关键词 软件架构 动态软件架构 架构描述语言 Π演算
在线阅读 下载PDF
动态软件体系结构研究综述 被引量:4
5
作者 李琼 姜瑛 《计算机应用研究》 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
基于组合连接器的动态软件体系结构规范方法
6
作者 熊惠民 应时 虞莉娟 《计算机科学》 CSCD 北大核心 2007年第8期250-253,265,共5页
动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将... 动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法。由于该方法基于组合的机制,从而适用于体系结构重用。 展开更多
关键词 组合连接器 动态软件体系结构 动态角色 重用 体系结构描述语言 WRIGHT
在线阅读 下载PDF
适用于动态软件体系结构的扩展的Z描述语言
7
作者 周绪川 《计算机应用研究》 CSCD 北大核心 2012年第9期3338-3340,共3页
动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析... 动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。 展开更多
关键词 软件工程 动态演化 动态软件体系结构 Z语言描述
在线阅读 下载PDF
基于改进双归档进化算法的多目标动态软件项目调度 被引量:3
8
作者 陈志远 伍章俊 +1 位作者 童珊珊 刘晓 《计算机集成制造系统》 EI CSCD 北大核心 2021年第9期2565-2574,共10页
项目需求变化和开发人员流动使得软件项目管理具有动态性的特征。鉴于此,建立了包含持续时间、项目成本、调度鲁棒性和调度稳定性的多目标动态软件项目调度模型,并提出一种改进的双归档进化算法。双归档进化算法在优化多目标约束问题时... 项目需求变化和开发人员流动使得软件项目管理具有动态性的特征。鉴于此,建立了包含持续时间、项目成本、调度鲁棒性和调度稳定性的多目标动态软件项目调度模型,并提出一种改进的双归档进化算法。双归档进化算法在优化多目标约束问题时可以同时平衡收敛性、多样性和可行性。但随着目标维度增加,双归档进化算法的性能会下降。本文提出的改进算法采用佳点集和启发式策略进行种群初始化,利用评价函数自适应地对两种交叉和变异方法进行概率选择,分别采用质量指标和动态拥挤度距离对收敛性档案和多样性档案进行更新。对比实验基于仿真的和真实的软件项目进行。结果表明,改进的双归档进化算法具有良好的性能,可以获得质量更高的帕累托解集。 展开更多
关键词 软件项目调度 动态软件项目调度 多目标进化算法 双归档进化算法
在线阅读 下载PDF
生成式人工智能与动态可视化软件整合:原理、应用与展望
9
作者 邵铭宇 魏亮 +2 位作者 李均强 苏洪雨 谭枫 《数学教育学报》 北大核心 2025年第4期27-35,共9页
生成式人工智能赋能数学教育是当前研究的热点课题,但是大语言模型的逻辑推理能力有待提升,在数学解题上经常表现不佳.研究尝试将大语言模型与动态可视化软件整合,在基于自然语言环境的数学可视化方面做开拓性探索.把二者结合并在专业... 生成式人工智能赋能数学教育是当前研究的热点课题,但是大语言模型的逻辑推理能力有待提升,在数学解题上经常表现不佳.研究尝试将大语言模型与动态可视化软件整合,在基于自然语言环境的数学可视化方面做开拓性探索.把二者结合并在专业数据库上训练所生成的技术产品统称为AI数学助手,在介绍整合原理的基础上,以GPT3.5和GeoGebra为代表,给出实现AI数学助手的一个实例.AI数学助手在数学教育中的可能应用是自动生成图形化支架、明确解题/作图步骤、帮助解读GeoGebra指令等.AI数学助手会为人工智能时代下的教育公平发展、跨学科课程建设、数学教学设计和教师专业发展带来启示. 展开更多
关键词 人工智能 动态可视化软件 大语言模型数学定制 数学教育
在线阅读 下载PDF
基于非功能性特征的软件动态自演化框架 被引量:3
10
作者 王雷 彭鑫 赵文耘 《计算机工程》 CAS CSCD 北大核心 2008年第24期74-76,共3页
针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该... 针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。 展开更多
关键词 动态软件体系结构 动态演化 特征模型 非功能性需求
在线阅读 下载PDF
软件体系结构动态演化的Z描述语言扩展方法 被引量:1
11
作者 段玉春 朱小艳 《兰州理工大学学报》 CAS 北大核心 2013年第1期88-91,共4页
针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后... 针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性. 展开更多
关键词 动态软件体系结构 Z描述语言 动态演化
在线阅读 下载PDF
软件动态度量及其在逆向工程中的应用
12
作者 王玉英 李青山 +1 位作者 陈平 王学龙 《西安石油大学学报(自然科学版)》 CAS 2006年第1期64-70,共7页
在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性... 在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统. 展开更多
关键词 逆向工程 动态软件度量 植入范围 程序依赖图
在线阅读 下载PDF
Artemis-COOR:一个基于Agent的软件动态协同支撑平台
13
作者 曹春 马晓星 陶先平 《计算机工程与科学》 CSCD 北大核心 2010年第5期1-5,9,共6页
针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向... 针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。 展开更多
关键词 动态软件协同 软件AGENT 软件体系结构 多模式交互
在线阅读 下载PDF
电力系统全过程动态仿真中的长过程动态模型——电力系统全过程动态仿真软件开发之三 被引量:43
14
作者 汤涌 宋新立 +1 位作者 刘文焯 周孝信 《电网技术》 EI CSCD 北大核心 2002年第11期20-25,52,共7页
电力系统全过程动态仿真除了需要详细模拟电力系统动态元件的机电暂态过程外,还要有详细的中长期过程的动态模型。电力系统全过程仿真所需要的火电厂动力系统的数学模型、水电厂动态模型、压水堆核电站模型以及发电自动控(AGC)模型等已... 电力系统全过程动态仿真除了需要详细模拟电力系统动态元件的机电暂态过程外,还要有详细的中长期过程的动态模型。电力系统全过程仿真所需要的火电厂动力系统的数学模型、水电厂动态模型、压水堆核电站模型以及发电自动控(AGC)模型等已在电力系统全过程仿真软件中得到实现。 展开更多
关键词 电力系统 全过程动态仿真 长过程动态模型 全过程动态仿真软件 开发
在线阅读 下载PDF
电力系统全过程动态仿真的实例与分析——电力系统全过程动态仿真软件开发之四 被引量:15
15
作者 汤涌 刘文焯 +1 位作者 宋新立 周孝信 《电网技术》 EI CSCD 北大核心 2002年第12期5-8,共4页
经过3年多的研究开发,电力系统全过程动态仿真软件的主体框架结构的设计、机电暂态过程和中长期过程主要模型的建模、软件主要算法的编程都已完成。3个算例的仿真与分析表明,电力系统全过程动态仿真软件的暂态稳定计算功能仿真结果准确... 经过3年多的研究开发,电力系统全过程动态仿真软件的主体框架结构的设计、机电暂态过程和中长期过程主要模型的建模、软件主要算法的编程都已完成。3个算例的仿真与分析表明,电力系统全过程动态仿真软件的暂态稳定计算功能仿真结果准确;中长期动态过程仿真结果合理。说明软件所采用的积分方法棗Gear法可以用来仿真电力系统从快速暂态到慢速中长期动态过程的转换,可以自动变阶变步长,算法数值稳定性高,所开发的电力系统全过程动态仿真软件具备了仿真电力系统从机电暂态到中长期动态过程的能力。 展开更多
关键词 电力系统 全过程动态仿真 实例 分析 全过程动态仿真软件
在线阅读 下载PDF
电力系统全过程动态仿真的数值方法——电力系统全过程动态仿真软件开发之一 被引量:41
16
作者 汤涌 宋新立 +1 位作者 刘文焯 周孝信 《电网技术》 EI CSCD 北大核心 2002年第9期7-12,28,共7页
电力系统全过程动态仿真是把电力系统的机电暂态过程、中期过程和长期过程有机地统一起来进行仿真。其特点是实现快速的暂态过程和慢速的中长期动态过程的统一仿真。这是典型的刚性系统,需要采用具有自动变阶变步长技术的刚性数值积分... 电力系统全过程动态仿真是把电力系统的机电暂态过程、中期过程和长期过程有机地统一起来进行仿真。其特点是实现快速的暂态过程和慢速的中长期动态过程的统一仿真。这是典型的刚性系统,需要采用具有自动变阶变步长技术的刚性数值积分方法。在分析了刚性系统求解实质的基础上,采用适用于求解刚性微分方程的数值积分方法棗Gear法作为电力系统全过程仿真软件的基本算法,并研究了根据积分的截断误差控制进行自动变阶变步长技术,构造了基于Gear法的电力系统全过程仿真程序的总体结构。 展开更多
关键词 软件开发 电力系统 全过程动态仿真 数值方法 软件开发 全过程动态仿真软件
在线阅读 下载PDF
基于Petri网的面向动态演化的软件体系结构建模 被引量:7
17
作者 谢仲文 李彤 +4 位作者 代飞 秦江龙 张璇 莫启 朱锐 《计算机应用与软件》 CSCD 北大核心 2012年第10期36-39,127,共5页
为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接... 为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。 展开更多
关键词 软件动态演化 软件体系结构 PETRI网 构件 连接件
在线阅读 下载PDF
面向软件动态演化的需求建模及其模型规范化 被引量:6
18
作者 谢仲文 李彤 +3 位作者 代飞 钱晔 罗溦 王娟 《计算机科学与探索》 CSCD 2012年第6期557-576,共20页
针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式... 针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。 展开更多
关键词 需求工程 软件动态演化 特征 通信进程代数 规范化
在线阅读 下载PDF
软件的动态维护与实现 被引量:10
19
作者 安军社 刘艳秋 孙辉先 《计算机工程》 CAS CSCD 北大核心 2003年第2期238-239,共2页
对于长寿航天器,软件的动态在轨维护(OBSM,On-board Software Maintenance)是非常重要的,该文对这一问题的实现进行探讨,并重点介绍了一种灵活、方便的软件在轨维护的方法。
关键词 操作系统 文件系统 软件动态维护 软件维护 软件工程
在线阅读 下载PDF
基于Petri网的软件动态演化的一致性分析 被引量:3
20
作者 谢仲文 明利 +3 位作者 林英 秦江龙 莫启 李彤 《计算机科学》 CSCD 北大核心 2016年第11期234-241,共8页
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对... 在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。 展开更多
关键词 软件动态演化 软件体系结构 行为模拟 一致性保持
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部