基于OCL的模型转换语言

首先对模型驱动以及与模型驱动开发密切相关的元模型和模型转换两个问题进行了简要的说明,并介绍了模型转换框架的相关概念,然后对对象约束语言（OCL）进行了相关的讨论,并对基于OCL的模型转换语言的元模型进行了说明.最后,在讨论的基础之上,提出了基于对象约束语言的模型转换语言,为形式化及自动化的模型转换描述与实现提供了一种有效的方法.     

统一建模语言UML

1前言统一建模语言UML(Unified Model:ng Lan-guage)是由RatLonal公司的知名专家Gray BOoeh、Ivar JaCobson和J:m Rumbaugh三人联合开发的第三代面向对象的建模语言。它采纳和扩展了Booch标记法、OMT标记法和OOSE标记法,并包容了其它学者和软件厂商的建议,现己提交给OMG,将成为标准化的面向对象建模语言。UML是一种宽谱语言.适用于所有的应用领域,如:实时系统、     

用UML模拟对象模型

从分析传统开发方法的不适应性，提出克服传统方法缺点的新途径。UML是一种通用的标准的统一建模语言，支持从需求分析开始的软件开发全过程，UML中的图形标记，尤其适用于描述面向对象的软件设计。用面向对象方法开发软件，在任何情况下，对象模型始终都是最重要、最基本、最核心的。文中给出了一种用UML来模拟对象模型的有效方法，通过可视化建模，使软件设计工具发挥更大的效用，更好地提高模型的重用性。     

UML在软件开发中的应用与实践

统一建模语言(UML)是一个通用可视化的建模语言，用来对软件系统的制品进行定义、图形化、构造和文档化。系统被建模成离散的对象集合．这些对象之间相互交互并最终完成满足外部使用者要求的动作。对系统从几个分离但有联系的视角进行建模。便于不同用途的理解。UML不是编程语言，UML工具可提供代码生成器把UML转换成不同的编程语言。也可把已有的程序通过反向工程构造模型。     

UML在CAD软件系统开发中的应用

首先简要介绍了UML（统一建模语言）,并以具体CAD软件系统为例阐述了在CASE工具支持下,如何使用UML中的用户用例图和活动图进行CAD软件系统的分析和设计,此方法可以在一定程度上弥补对象化方法和结构化方法各自的不足。     

关于统一建模语言——UML

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

UML系统模型的组织

用UML对系统建模，可能要产生大量的描述系统模型的制品。说明了如何从系统的观点组织模型，并阐述了系统、子系统、视图和模型间的关系。     

分布式SCADA系统的UML建模分析与设计

对一个分布式SCADA系统的控制中心的软件系统,运用面向对象的方法,采用UML作为建模语言进行分析设计,开发了分布式的、面向对象的、可维护性好的系统.研究了应用UML开发大型分布式SCADA系统过程中的一些关键策略.     

UML/OCL工具的一致性检查研究

UML作为一种通用的可视化建模语言已被广泛应用,但UML模型的一致性问题一直限制着在软件开发中更有效地应用UML。本文阐述了UML模型一致性的相关概念,介绍了一种以OCL表示模型的一致性规则、并基于这些对模型进行一致性检查的方法。将此方法实现为一致性检查工具,提供了模型分析、语法检查和模型一致性检查等功能。     

基于UML和GSP规范的医药连锁综合管理系统的模型设计

从实际开发的一个符合GSP管理规范的医药连锁综合管理系统为背景，简要分析了系统的开发背景、开发意义、开发方法，阐述了系统的主要功能及运行平台，阐述了如何利用统一建模语言UML对系统建模。     

Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key activities to ensure the quality of the system under development. This paper presents a framework to reason about the satisfiability of class models described using the Unified Modeling Language (UML). The proposed framework allows us to identify possible design flaws as early as possible in the software development cycle. More specifically, we focus on UML Class Diagrams annotated with Object Constraint Language (OCL) invariants, which are considered to be the main artifacts in Object-Oriented analysis and design for representing the static structure of a system. We use the Constraint Logic programming (CLP) paradigm to reason about UML Class Diagrams modeling foundations. In particular, we use Formula as a model-finding and design space exploration tool. We also present an experimental Eclipse plug-in, which implements our UML model to Formula translation proposal following a Model Driven Architecture (MDA) approach. The proposed framework can be used to reason, validate, and verify UML Class Diagram software designs by checking correctness properties and generating model instances using the model exploration tool Formula.     

基于UML的迭代式软件开发过程

UML（Unified Modeling Language）作为第三代面向对象开发方法,它是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。Rational Unified Process（RUP）是一种软件工程方法,它提供了一种严谨的途径来分派开发组织的任务和职责。它的目标是确保在预定的时间和预算内得到一套的最终用户所需要的高质量的软件产品。文章讨论了依据RUP利用UML建立应用系统模的方法。     

On the verification of UML/OCL class diagrams using constraint programming

Assessment of the correctness of software models is a key issue to ensure the quality of the final application. To this end, this paper presents an automatic method for the verification of UML class diagrams extended with OCL constraints. Our method checks compliance of the diagram with respect to several correctness properties including weak and strong satisfiability or absence of constraint redundancies among others. The method works by translating the UML/OCL model into a Constraint Satisfaction Problem (CSP) that is evaluated using state-of-the-art constraint solvers to determine the correctness of the initial model. Our approach is particularly relevant to current MDA and MDD methods where software models are the primary artifacts of the development process and the basis for the (semi-)automatic code-generation of the final application.     

基于UML的适应调度知识系统开发

对复杂制造系统进行有效的适应调度，构建性能优良的知识系统是基础和核心。采用统一建模语言对适应调度知识系统的分析、设计和实现进行描述，建立了反映知识系统静态结构和动态行为的各种视图，使用对象约束语言对在系统设计中出现的类对象进行精确语义约束。使用这种建模技术减小了对领域知识专家的严重依赖，提高了知识系统开发的质量和效率。最后给出了应用实例验证该方法的可行性。     

带OCL的活动图多态性测试用例生成方法

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。     

带OCL约束的多态路径测试线索生成方法

统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。     

UML建模在高校社团管理系统中的应用

利用UML建模工具对高校社团管理系统的功能模型进行详细分析,给出面向对象系统的分析方法和模型,为应用UML建模技术进行面向对象软件开发提供参考范例和借鉴。     

基于UML的本体表示方法研究

研究本体表示相关技术,并且从表达和推理能力等方面对当前本体表示方法进行分析和比较,总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言（UML）和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方法进行应用。     

UML在游戏系统分析与设计中的应用

游戏的开发迫切需要设计一个具备通用性、可复用性以及可扩展性的高性能游戏引擎。运用面向对象技术,基于统一建模语言（UML）、设计了应用于第一人称射击类游戏的三维游戏引擎。在确定系统开发目标的基础上,对系统进行了需求分析及用例建模,并完成了作为静态结构的类图和包图以及作为动态行为的顺序图和协作图的设计,最终进行了系统实现。     

基于扩展UML的作战信息需求描述方法研究

在广泛研究需求描述方法的基础上,提出了一种基于扩展UML的作战信息需求描述方法。该方法通过作战目标的静态和动态描述,满足了战前和作战过程中的敌情信息需求。通过构建作战功能需求体系,对我方作战单元信息需求进行定性分析和定量描述。最后,与其他信息需求描述方法进行了对比。基于扩展UML的信息需求描述方法对于消除战场“迷雾”,增强战场透明性,实现作战指挥、控制、决策的扁平化、自动化具有重要意义。