检索结果-南通市图书馆

一种基于形式化规约生成软件体系结构模型的方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2010年第11期21卷 2738-2751页

作者：祝义黄志球曹子宁周航刘亚萍南京航空航天大学信息科学与技术学院江苏南京210016 徐州师范大学计算机科学与技术学院江苏徐州221116

使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提... 详细信息

使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提高实时系统软件体系结构设计的可信性.

关键词：形式化规约软件体系结构 LOTOS UML-RT 实时系统

一种面向网构软件体系结构的信任驱动服务选取机制

在线全文

学校读者我要写书评

暂无评论

软件学报 2008年第6期19卷 1350-1362页

作者：王远吕建徐锋张林南京大学计算机软件新技术国家重点实验室

基于信任度评估的思想,从软件服务选取的角度对此问题进行了探讨,提出一种面向网构软件体系结构的信任驱动的服务选取机制:首先,给出一种通用的、机器可理解的应用需求及信任演化策略描述规范;其次,采用一种基于反馈的信任形成及决策机... 详细信息

基于信任度评估的思想,从软件服务选取的角度对此问题进行了探讨,提出一种面向网构软件体系结构的信任驱动的服务选取机制:首先,给出一种通用的、机器可理解的应用需求及信任演化策略描述规范;其次,采用一种基于反馈的信任形成及决策机制,并给出一个信任驱动的服务选取算法;最后,给出一种面向网构软件体系结构的信任驱动的服务选取支撑框架.初步实践表明,上述机制为开发可信网构软件提供了有效支持.

关键词：网构软件信任可信性服务软件体系结构

基于随机进程代数的软件体系结构建模与性能评价

在线全文

学校读者我要写书评

暂无评论

东北大学学报（自然科学版） 2002年第1期23卷 16-19页

作者：赵会群徐凌宇王国仁高远东北大学信息科学与工程学院辽宁沈阳110004

软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相... 详细信息

软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。

关键词：软件体系结构随机进程代数性能评价 Markov过程回报结构软件设计建模机制

基于可达矩阵的软件体系结构演化波及效应分析

在线全文

学校读者我要写书评

暂无评论

软件学报 2004年第8期15卷 1107-1115页

作者：王映辉张世琨刘瑜王立福北京大学信息科学技术学院软件研究所陕西师范大学计算机学院陕西西安710062 北京大学信息遥感与地理信息系统研究所

构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条... 详细信息

构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.描述了SA的构件棗连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础.

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

智能接口在电力系统构件复用软件体系结构中应用

在线全文

学校读者我要写书评

暂无评论

电力自动化设备 2006年第7期26卷 81-83页

作者：张惠山宋玮华北电力大学电气工程学院河北保定071003

通过对当前基于构件复用技术的电力系统软件体系结构的研究,指出了当前多层次的电力系统构件复用软件体系结构在进行构件间接口协议设计时存在的问题,即构件的安全性、构件对象模型的管理及构件之间的互操作方面。针对存在的不足之处,... 详细信息

通过对当前基于构件复用技术的电力系统软件体系结构的研究,指出了当前多层次的电力系统构件复用软件体系结构在进行构件间接口协议设计时存在的问题,即构件的安全性、构件对象模型的管理及构件之间的互操作方面。针对存在的不足之处,提出了基于软件总线控制的体系结构,并设计了相应的接口协议标准。有效地解决了多层软件体系结构存在的问题,实现了构件对象模型的智能化管理,且更利于软件系统的升级与更新。

关键词：软件体系结构构件复用接口协议总线控制

一种基于规则的软件体系结构层性能演化优化方法

在线全文

学校读者我要写书评

暂无评论

电子学报 2016年第11期44卷 2688-2694页

作者：倪友聪叶鹏杜欣陈明肖如良福建师范大学软件学院福建福州350117 伦敦大学学院计算机科学学院武汉纺织大学数学与计算机学院湖北武汉430200 湖南师范大学数学与计算机科学学院湖南长沙410081

目前基于规则的软件体系结构(Software Architecture,简记为SA)层性能优化方法大多未充分考虑优化过程中规则的使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更优的性能改进方案.针对这一问题并以最小化系统响应时间为优... 详细信息

目前基于规则的软件体系结构(Software Architecture,简记为SA)层性能优化方法大多未充分考虑优化过程中规则的使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更优的性能改进方案.针对这一问题并以最小化系统响应时间为优化目标,文中首先定义一种基于规则的SA层性能优化模型RPOM,以将SA层性能优化抽象为求解最优规则序列的数学问题;然后设计一种支持SA层性能改进规则序列执行的框架RSEF;进一步提出一种采用约束检查、修复及统计学习机制的演化求解算法EA4PO;最后以Web应用为案例与已有方法进行实验对比.结果表明:(1)本文方法较已有方法可以获取更短的系统响应时间;(2)EA4PO所引入的统计学习机制可显著提高演化求解算法的收敛速度和解质量.

关键词：性能评估性能优化软件体系结构基于搜索的软件工程

Bigraph理论在自适应软件体系结构上的应用

在线全文

学校读者我要写书评

暂无评论

计算机学报 2009年第1期32卷 97-106页

作者：常志明毛新军齐治昌国防科学技术大学计算机学院长沙410073

现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整... 详细信息

现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求,而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状,利用Big-raph理论对自适应软件体系结构进行了形式化规约,分析和验证了系统动态演化的性质,并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向.

关键词： Bigraph Bigraph反应系统自适应软件软件体系结构形式化方法