UML在实时系统中的应用

统一建模语言ＵＭＬ是近年来面向对象技术领域中所出现的最重要的建模语言。本文首先对ＵＭＬ的内容,特点进行简单扼要的介绍,然后阐述ＵＭＬ在实时系统构造中的应用。     

关于统一建模语言——UML

ＵＭＬ是面向对象开发中一种通用的、图形化的模型语言,是近代软件工程环境中对象分析和设计的重要工具。ＵＭＬ严格地定义了对象无模型的语义,提供了描述对象结构和行为的表示法。本文介绍了ＵＭＬ产生的技术背景、无模型的主要思想、表示法,以及应用系统建模的一般过程和对ＯＯ世界的意义。     

标准建模语言UML简介

ＵＭＬ是面向对象的标准建模语言,是面向对象技术领域中的重要成果。它的内容包括ＵＭＬ语义和ＵＭＬ表示法两个部分。本文简要地介绍了ＵＭＬ语义和表示法的内容,并总结了它的主要特点和应用领域。     

UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

UML在分布式系统中的应用与研究

ＵＭＬ（Ｕｎｉｆｉｅｄ　 Ｍｏｄｅｌｉｎｇ 　Ｌａｎｇｕａｇｅ）是一种标准的、功能强大的建模语言。ＩＳＯ ＲＭ－ＯＤＰ（ＩＳＯ开放分布式处理参考模型）为开放、灵活的分布式系统提供了主框架。文章提出了一种用ＵＭＬ为ＯＤＰ系统建模的方法,它以ＯＤＰ的概念和ＵＭＬ的符号为基础。     

UML与JAVA的应用

本文介绍了统一建模语言ＵＭＬ及其建模过程,并使用ＵＭＬ和ＪＡＶＡ语言分析,设计和实现了一个具体应用。     

EUCLID—IS几何模型向MSC／XL的转换方法

本文提出了一种ＥＵＣＬＩＤ－ＩＳ几何模型向ＭＳＣ／ＸＬ的转换方法，通过该方法，用户可方便地利用造型功能相当完善的ＥＵＣＬＩＤ－ＩＳ来构造ＭＳＣ／ＸＬ的几何模型。     

UML建模方法在TMN开发中的应用研究

文章研究如何将ＵＭＬ建模方法应用于ＴＭＮ的软件开发中。     

统一建模语言UML述评

最近由美国Ｒａｔｉｏｎａｌ公司发起并与其它十几家公司共同的“统一模型语言”ＵＭＬ在ＯＯ领域受到广泛的关注。     

Ｗeb应用程序对象建模方法研究

Ｗeb应用程序对象建模方法的研究重点是其演示层。根据其特点,利用ＭＵＬ较好地解决了如何把ＨＴＭＬ,ＡＳＰ等Ｗeb应用演示层要素映射为类这一难题。进而讨论对三层Ｗeb应用的建模。     

集成化UML建模环境研究

提出了集成化UML建模环境的思路,讨论了其基本组成,并在结构化图形编辑生成工具SGEG等的基础上研究了UML集成建模环境的实现。     

基于规则的UML设计模型的一致性检验

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。     

UML可视化建模工具中模型一致性检查机制的研究与实现

采用统一建模语言UML进行系统建模的过程中,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性,不仅给开发人员造成很大负担,而且容易出现差错或遗漏。因此,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析,识别出这些图之间的一些基本的一致性规则;在此基础上,提出了UML可视化建模工具中模型一致性检查机制的实施框架,并对实现该框架的主要思路进行了详细介绍。     

基于UML的高校科研管理系统建模

以高校科研管理系统开发为背景,探讨了UML在该系统建模中的应用问题。在对系统进行需求分析的基础上,采用Rational Rose工具对系统进行了需求模型、静态模型、动态模型及实现模型的建模。此过程中,UML为面向对象系统的开发和支持环境的建造提供了一种丰富、严谨、扩充性强的表达方式。     

基于容器中间件的组件系统体系结构性能评价

对组件系统性能建模时,需要考虑中间件平台的影响.基于体系结构模式,分析了容器风格中间件对组件系统结构和性能的影响,并提出了一种在组件系统UML描述中集成中间件组件及交互关系的方法.从该集成UML模型导出的性能模型,能够有效地反映中间件的影响.这样,在对组件系统性能建模时,无须了解中间件内部细节.这种基于体系结构模式的方法可以方便扩展以处理不同风格的中间件,且易于实现自动化.以EJB容器中间件为例说明并验证了所提出方法的有效性.     

元建模在电子商务开发平台中的研究与应用

为了提高电子商务系统开发效率,通过元建模机制提出一种电子商务开发的建模语言——EBP建模语言。EBP建模语言在UML上进行扩展,添加了MVC模式的电子商务元数据及SQL建模结构,实现了元数据的支撑框架,适用于支持模型驱动的网站开发和数据库应用。开发人员通过建模和设置元数据值,可获得应用框架与程序代码,快速有效地构建电子商务系统。     

基于重写逻辑的UML模型一致性检查方法

在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML／MDA工具仪提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的没讣时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。     

UML在数字图书馆系统中的应用

简述了高校图书馆的基本现状及运作过程。引入了一种可视化建模工具——统一建模语言(UML)，阐述了它的要点和特点与可视化建模的方法，围绕高校数字化图书馆的系统予以相应建模分析。这些模型将有利于系统的设计和开发人员对目标系统进行需求分析、系统设计以及源代码的自动生成，并部署到相关合适的硬件环境中，通过往返工程修改、优化，满足了需求的变化要求，提高系统的性能，缩短了开发周期。     

UML模型的协调性检查

本文融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型，给出了这个需求模型的各个元素及相互间协调性检查的一种方法，这样。可以从软件开发的需求分析阶段检查模型的协调性，减少开发成本，最后再从协调的需求模型生成代码。     

基于UML的集成化CASE平台的研究和实现

统一建模语言提供了研制和开发面向对象软件集成化开发环境的理论基础,指出UML本质上是一套文档符号,提出UML增减原则:是否有利于自动文档生成;是否有利于自动程序生成。提出一个“开环”的集成化开发平台的构造框架。最后,基于上述设计思想和结合软件项目实际情况,开发出一个集成化CASE平台,平台具有数据库文档自动生成、界面自动生成、代码自动生成和构件重用等功能。