基于UML的网络远程教学系统设计分析

在当前的计算机软件设计中，大型软件系统基本上是采用面向对象方法采进行设计的，统一建模语言UML是面向对象分析和设计过程中重要的建模工具。此文以网上远程教学系统的开发为背景，对UML的建授机制作了系统的概括，研究了基于UML1的应用软件系统开发过程以及UML各图形之间的内在联系．介绍UML如何辅助完成用例建模、静态建模和动态建模。     

利用UML建模设计EJB应用系统

从EJB构件模型出发，分析了EJB应用系统建模的特殊性。以开发一个网上书店的EJB系统为例，结合EJB构件模型特点，使用统一建模语言（UML）来建模和设计，展示了UML在开发EJB应用系统中的运用。     

UML在专卖店管理系统开发中的应用

统一建模语言UML是面向对象软件开发方法的重要新技术，在介绍UML的基础上，给出了UML技术在专卖店管理系统开发中分析和设计阶段的应用，根据项目特点，侧重选用了用例图、顺序图和类图。最后总结了用UML进行系统需求分析和设计的优越性。     

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

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

基于UML系统分析的关系数据库设计

针对系统开发中业务分析、软件开发与数据库开发之间的协同问题，从统一建模语言（Unified Modeling Language，UML）系统分析的角度，提出业务建模、系统分析与设计、模型映射构成的面向对象的关系数据库设计流程，通过UML可视化模型，实现软件开发周期中的需求统一．     

UML和ROSE工具在某损伤评估系统开发中的应用

在已有的某损伤评估系统原型基础上，着眼于开发快速评估系统时的软件质量控制问题，利用UML建模技术及ROSE工具进行系统开肯和设计。文中采用UML统一建模语言进行了系统分析建模，并用ROSE工具描述了具体分析过程。     

基于UML的铁塔结构设计和分析软件的开发

标准建模语言UML(Unified Modeling Language)是可视化面向对象建模的新技术，也是近来软件工程环境中对象分析和设计的重要工具。简要介绍了高压输电铁塔设计和分析软件系统，以及统一建模语言UML在开发系统前处理系统中的具体应用。     

基于rCOS的UML状态图语义研究

统一建模语言（UML）中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。     

基于UML的消防接处警系统开发建模研究

接处警系统作为城市消防通信指挥系统的核心组成部分,系统结构复杂,功能强大。统一建模语言UML是一种表达能力丰富的、强有力的建模语言。该文首先简要介绍了UML几技术及其在开发应用程序中的一般框架,并以此为依据,使用UML对接处警系统开发进行建模,给出了基于UML的接处警系统开发分析阶段描述。     

利用UML建模设计指挥自动化软件系统

指挥自动化系统是C4ISR的重要组成部分，主要用于系统的指挥、控制和协调，指挥自动化应用系统的开发是一个复杂的软件工程，结合一个指挥自动化系统工程项目，利用统一建模语言(UML)来对该系统建模和设计，展示了UML在开发指挥自动化系统的运用，表明软件工程的方法可以有效地运用于指挥自动化系统的开发。     

基于UML的审计系统的分析与设计

UML是一种标准的建模语言，它支持面向对象的分析与设计。审计是安全数据库系统的一个重要组成部分，它在监督系统正常运行、控制用户行为、检测潜在攻击、分析事故原因等方面有非常重要的作用。通过对基于UML的审计系统的分析与设计，展示了UML建模在系统开发中的应用，对B1级审计系统的开发也有一定的借鉴作用。     

使用UML对μC/OS-II建模与分析

使用统一建模语言（UML）对嵌入式实时操作系统C/OS-II做静态建模和动态建模,进而利用UML的可视化模型来描述和分析C/OS-II的系统结构和工作机理。通过UML静态建模,为基于C/OS-II的嵌入式系统设计,提供了一个运用面向对象技术的框架;通过UML动态建模,详细分析了嵌入式实时操作系统（ERTOS）的关键方面,包括实时内核的调度机理、优先级反转问题及其解决办法等。     

基于UML的嵌入式指纹识别系统软件建模

标准建模语言UML是广泛使用的可视化面向对象系统的建模方法。该文介绍了使用UML对嵌入式指纹识别系统进行面向对象软件分析与建模设计的过程。论述了利用UML的各种标准符号进行需求分析、系统整体设计的整个过程。     

基于UML实时系统的分析和设计

介绍了统一建模语言的最新版本UML2及应用UML2进行实时系统设计的作用及意义.探讨了UML2中用在实时系统设计中的概念.结合一个使用UML2为家庭安全系统设计的例子,着重分析了系统的静态结构和动态行为,通过类图、顺序图、状态图等UML图描述系统的方法从整体上对系统建模,说明实时系统分析与设计过程.使用UML分析和设计系统能够提高软件设计的效率和质量增强软件的维护性和复用性.     

基于UML的环境空间决策支持系统的分析与设计

统一建模语言(UML)是一种面向对象，定义明确的可视化系统建模语言，在地理信息系统工程的分析和设计中已逐渐被采用。以福建省海岸带环境调控空间决策支持系统为例，简述了系统建设背景和基本功能需求，研究了统一建模语言(UML)在空间决策支持系统分析和设计中的应用。重点提出了以系统需求用例图、活动图，类图和序列图为核心的UML辅助空间数据建模的基本原理和方法，并结合具体示例给出了基本操作流程过程和软件文档制品，最后给出了系统实现结果的典型用户界面。     

基于UML和平台的嵌入式系统设计方法研究

针对嵌入式系统设计和开发的特点和需求的不断提高导致设计开发的复杂性,研究了将UML和平台结合进行嵌入式系统设计的一种方法,使用UML描述平台细节和所提供的功能;利用UML的扩展特性建立了一种UML平台profile,包含建立新的构造类、构造关系、标签值和约束;并将这种UML和平台相结合的设计方法应用在嵌入式系统实例上,选择了组成嵌入式系统实例的硬件和软件平台,针对实例平台不同的服务层次建立了面向应用建模服务的相应实例平台模型,使用了静态图和动态图表示了这种平台模型,并且描述了实例平台模型的一种应用.     

UML在图书馆管理系统建模中的应用

统一建模语言(UML)是一种可视化的面向对象的建模语言,可用于对软件系统进行描述和构造软件的系统结构.本文介绍了UML的主要内容,并以图书馆管理系统为实例,探讨了应用UML建模机制,对系统的需求分析、详细设计及实现的不同阶段的建模过程.     

Model transformations in the UPES/UPSoC development process for embedded systems

Model-based development (MBD) aims at combining modeling languages with model transformers and code generators. Modeling languages, like profiles of the Unified Modeling Language (UML), are increasingly being adopted for specific domains of interest to alleviate the complexity of platforms and express domain concepts effectively. Moreover, system development processes based on automatic model transformations are widely required to improve the productivity and quality of the developed systems. In this paper, we show how MBD principles and automatic model transformations provide the basis for the unified process for embedded systems (UPES) development process and its unified process for system-on-chip (SoC) (UPSoC) subprocess. They have been defined to foster in a systematic and seamless manner a model-based design methodology based on the UML2 and UML profiles for the C/SystemC programming languages, which we developed to improve the current industrial system design flow in the embedded systems and system-on-chip area. This work is supported in part by the project Model-driven methodologies and techniques for embedded systems design and analysis based on UML, Abstract State Machines, and SystemC at STMicroelectronics, AST R&I of Agrate Brianza (MI), Italy.     

Reconstructing a formal security model

Role-based access control (RBAC) is a flexible approach to access control, which has generated great interest in the security community. The principal motivation behind RBAC is to simplify the complexity of administrative tasks. Several formal models of RBAC have been introduced. However, there are a few works specifying RBAC in a way which system developers or software engineers can easily understand and adopt to develop role-based systems. And there still exists a demand to have a practical representation of well-known access control models for system developers who work on secure system development. In this paper we represent a well-known RBAC model with software engineering tools such as Unified Modeling Language (UML) and Object Constraints Language (OCL) to reduce a gap between security models and system developments. The UML is a general-purpose visual modeling language in which we can specify, visualize, and document the components of a software system. And OCL is part of the UML and has been used for object-oriented analysis and design as a de facto constraints specification language in software engineering arena. Our representation is based on a standard model for RBAC proposed by the National Institute of Standards and Technology. We specify this RBAC model with UML including three views: static view, functional view, and dynamic view. We also describe how OCL can specify RBAC constraints that is one of important aspects to constrain what components in RBAC are allowed to do. In addition, we briefly discuss future directions of this work.