【摘 要】
：
体系结构在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述，但这些建模语言的缺点是语义不够精确，难以对它们所表示的模
论文部分内容阅读
体系结构在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述，但这些建模语言的缺点是语义不够精确，难以对它们所表示的模型进行分析，如何结合直观与形式化方法对软件建模以提高软件的可靠性，是工业界和学术界共同关心的问题。
作者在系统论的指导下研究并描述一种自顶向下的基于体系结构的软件开发方法，从系统的整体结构入手，在明确系统的各个组成部分的同时限定各部分间的交互方式，从高层次上抽象出体系结构模型及约束，并以此为核心自顶向下地指导软件开发和评估系统各个组成部分的实现过程。
本文研究一种软件体系结构的元建模模式，通过这种模式来支持一种基于XML、形式化、可扩展的体系结构描述元语言对软件体系结构进行描述；支持多种软件体系结构风格与样式的综合应用及演化；支持不同建模工具间无信息丢失的模型交换。
本文还研究了一种支持UM12.0的建模工具间模型交换的标准，讨论Schema的生成规则及模型交换原理，提出XMI-DI作为模型交换的标准。
其他文献
大型水轮发电机中,阻尼条是影响电机起动及稳定运行的重要因素之一。在当发电机转速有忽高忽低变化时,阻尼绕组会产生反向阻尼转矩以阻止转子转速的摆动;不对称运行时,阻尼绕组中可使负序旋转磁场产生的电磁转矩减小,从而电机的振动和噪音相应地减小。因此,阻尼条根数的选择成为了研究电机动态运行时的重要内容。此外不同阻尼条根数对交、直轴同步电抗、稳态参数、电压调整率及电网并联运行时有功和无功功率的调节也会产生直接
“房客寻找的是与当地人和当地文化产生连接的经验。”切斯基说,“殷勤招待是无法自动化的。”2015年被誉为中国的“共享经济元年”。以优步、滴滴快车为代表的新模式在为居
随着智能化电气设备飞速发展,特别是智能化开关、光电式互感器等机电一体化智能设备的竞相出现,变电站综合自动化技术迈入了数字化发展的新阶段,数字化变电站是电力系统自动化发展的方向。电流差动保护原理作为母线保护的基本原理已经非常成熟并普遍应用,但在数字化变电站中,电流差动原理遇到了一些新的问题,比如网络延时和数据传输过程中的丢包现象。这有可能造成电流差动保护误动。本文提出了一种新的母线保护方案：有功功率
变电站是构成电力系统主网络的一个重要环节,承担着电能转换、调配和控制等重要的作用,是推动区域经济发展的重要能源基础,随着国家“一路一带”经济发展战略的实施,包头市区
高校资源的配置和使用一直是社会广泛关注的问题。本文通过建立数据包络分析模型对2005～2007年教育部直属高校的投入产出指标进行了评估。首先采用的是能够测算决策单元规模和
分布式电源系统DPS以其电源单元模块化、可以实现冗余供电、便于扩容以及易于维护而越来越受到业界的重视,交流分布式供电系统的核心技术之一是逆变器并联技术。而在所有的逆变器并联控制技术中,无互联线并联系统方式以配置方便、并联时接线少、冗余度高、抗干扰能力强等优点而优于其它并联运行方式。但无互联线并联系统也存在一些问题有待解决,如功率不均和环流等问题。为了解决功率不均的问题,首先要能准确计算出每周期输出
近些年，复杂网络已经成为科学研究特别是复杂性研究的一个重要领域。网络描述的方法被广泛应用在各种实际系统的研究中，并逐渐成为了研究社会、经济、生物等复杂系统的主要研究
电子文件数据中心系统建设是以电子文件信息为主,包容各种相关资料、语音、视频、图形、图像等广阔领域的各类数字信息资源库；其建设难点为：一是归档的数据格式多；二是集成众多
概念形成作为人类大脑最基本的认知功能之一，其具体的形成过程目前并不清楚。本文在复杂性理论研究的框架下，以汉字概念(马)、具体概念(苹果)和数量概念(1、2、3、4、5)等为例，
大型楼宇建筑内设备种类繁多、数目巨大、分布较为分散,传统的单层通信网络不能很好地进行数据通信和信息交换,因此,本文以某大型绿色智能楼宇设备自控系统的实现为背景,通过