UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径.着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精.     

基于XYZ/ADL描述的选修课管理系统体系结构

XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选课这一事件进行了详细描述。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

可视化软件体系结构描述工具XYZ／ADL的设计与实现

在时态逻辑语言XYZ／E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ／ADL,它采用组件,连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程度设计方法和基于规范的逐步求精方法有机地结合起来。     

用XML表示UML模型元素

提出了一种将XML技术与UML技术相结合的思想——在UML建模工具中用XML，表示UML模型元素，设计基于XML的UML建模工具数据结构，并用该建模工具将模型信息保存到XML文档中。     

可视化软件体系结构描述工具XYZ/ADL的设计与实现

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来.     

面向对象的本体建模应用研究

UML在面向对象的软件开发中有广泛的应用,将UML应用于构建本体是实现面向对象的本体建模的有效途径.分析了UML应用于本体建模的理论依据,通过扩展UML将本体建模元语映射到UML元素集,从而实现面向对象的本体建模.并且针对不同的应用领域的实际需要,给出了扩展UML的不同方法,以及相应的实现机制.     

分布式模型访问决策支持系统的UML静态建模

统一建模语言UML(Unifled Modeling Language)是面向对象软件开发方法的重要技术．在介绍UML的基础上，以基于C／S模式下的分布式DSS模型库管理系统系统的建模作为实际例子，描述了通过UML来进行静态建模的详细过程．     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用

统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。     

嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

A UML profile for framework modeling

The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.     

面向可靠性评估的软件架构描述语言图形化研究

为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提.在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素(组件、连接件、配置及复合组件,连接件)与可靠性评估相关属性的图形表示,便于架构的验证和分析.     

虚拟装配系统及其关键技术

基于约束识别和混合建模思想开发了一个虚拟装配系统(VAE)．分析并构建了系统的功能模块和体系结构，研究了特征和网格混合建模、约束识别和求解以及实时碰撞检测等支撑VAE的关键技术，据此开发了基于PowerWall硬件系统的VAE原型系统．该原型系统可以完成产品的装配工艺规划和装配操作培训，并具备简单的参数化几何建模功能．     

本体在UML建模中的应用研究

本体作为一种能够有效表达概念层次结构和语义的模型,被广泛地应用到计算机科学的众多领域.UMI 作为一种通用的建模语言,已成为面向对象建模领域公认的工业标准.在介绍本体和统一建模语言基本概念的基础上,比较分析了面向对象建模与本体建模的异同,提出用本体技术来弥补UML 规范中存在的缺陷,使得uML能够更加规范地表达建模信息.