UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

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.     

UML-G:针对地理信息应用的面向对象建模语言

在分析其他学者的针对GIS的建立的OO(Object-oriented)模型基础上,基于目前已经成为建模技术标准的UML,并利用其扩展机制,包括构造型、标记值和约束,对UML进行扩展,定义了针对地理信息应用的面向对象建模语言UML-G,描述了UML-G的元模型,并采用UML-G对空间对象和空间关系的模型表达进行了研究,包括简单空间对象、覆盖对象、复合空间对象、时态空间对象以及空间关系的表现.通过分析以及相关实例的表述,表明UML-G可以很好地在GIS开发过程中使用,从而使得模型更加简洁并具有更好的表现能力.最后指出了进一步的研究方面.     

Development and application of phase diagrams for Li-ion batteries using CALPHAD approach

Phase diagrams provide fundamental knowledge about design map of new electrode materials for Li-ion batteries. The CALPHAD (CALculation of PHAse Diagrams) approach is widely applied to the development of phase diagrams and property diagrams in a thermodynamic language. Within the CALPHAD framework, the theoretical modeling can be performed to predict phase equilibria, thermodynamics, electrochemical and physical properties of electrodes. This review provides the successful application of high quality calculated phase diagrams and thermodynamic property diagrams in CALPHAD investigation to both cathodes and anodes of Li-ion batteries, including Li–Co–O, Li–Ni–O, Li–Co–Ni–O, Li–Mn–O, Li–Cu–O, Li–Si, Li–Sb and Li–Sn systems with. The intensive CALPHAD-type research may also predict electrochemical properties, cell performance of the Li-ion batteries to achieve more efficient development of electrode materials.     

UML建模和实时多线程编程探讨

面对对象开发技术中的视觉技术能非常有效地把软件开发过程视图化，并有助于实现软件的可再用性和封装性．UML建模本来是为面对对象理论而设计，但已经产生许多分枝并被广泛地应用于其他领域．包含12种模型图表的UML可以为各种应用结构建模，实时系统是其中之一．实时系统编程是很复杂的，许多实时应用系统是并行处理，要求多线程编程，本丈探讨了面向对象的视图技术．UML应用于实时系统的实用性及其怎样清晰地描述复杂的多线程进程．实时系统采用嵌入式Linux是因为它在工业当中的广泛应用，把嵌入式Linux的实时系统同UML建模结合起来是有价值的．     

基于系统动力学的交叉口通行能力测算模型的仿真与分析

交叉口作为车辆汇集、转向和疏散的枢纽,是一个复杂的动态系统,影响其通行能力的因素众多.为直观反映系统参数变化对交叉口的影响趋势,采用系统动力学方法,在分析交叉口各因素相互关系的基础上,构建了影响交叉口通行能力的各元素的因果关系图和系统流图,建立了交叉口通行能力的测算模型,并利用Vensim软件进行仿真.仿真结果显示,进口道宽度、交叉口有序度和行驶速度是影响交叉口通行能力的主要因素,可从这3个方面着手以提升交叉口通行能力.其中,控制交叉口行驶速度可成为新的交叉口扩容途径.     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

钢的连续冷却转变图的预测研究进展

对钢的连续冷却转变图的预测方法进行了综述,指出：物理模拟法根据相变理论建立物理模型,然后进行数值计算,它具有坚实的理论基础;Scheil法根据等温转变图推算连续冷却转变图;统计方法包括经验公式法和人工神经网络法,它们不考虑问题的物理意义,只根据实验数据本身进行预测。几种方法各有所长,但也都存在一些不足,在实际工作中应综合使用。     

用面向对象的框架语言实现离散事件仿真

利用面向对象的框架语言实现了知识基离散仿真模型的表达、推理和实施。首先用面向对象框架语言构造仿真模型类库，然后用活动循环图将仿真类库连接成仿真的概念模型，最后通过推理产生仿真模型的行为。这种基于知识的仿真建模方法能快速有效地实现复杂系统和病态结构系统的仿真。     

New Voronoi Diagram Algorithm of Multiply-Connected Planar Areas in the Selective Laser Melting

This paper studies the practical generation of Voronoi diagrams for multiply-connected planar areas bounded by line segments. The core of the algorithm was calculating Voronoi polygon of every Voronoi object in planar areas independently. The main approach had two steps. The first step was calculating all relevant bisectors of every Voronoi object. The second was combining obtained bisectors into completed Voronoi polygons individually. All code was implemented in Visual C++ platform. The resulting code was extensively tested in real-world data and its practical running time grew only linearly. Three statistical CPU-consumption charts had been drawn with the Voronoi diagrams computation data, and compared with other published codes for computing Voronoi diagrams. The algorithm was applied to compute offsetting of slice area consisting of large-scale line segments for the selective laser melting (SLM) trajectory scanning technology which is a kind of rapid prototyping (RP). The experimental results of offsetting for slice area based on Voronoi diagrams show that the approach is effective and simple for polygon offsetting problems. The method is helpful to those offsetting work and can provide more effective offsetting solution.     

基于UML的手机网络对战游戏系统设计分析

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

应用NGGPS的CAx集成系统的数学逻辑建模与实现

CAx信息表达方式不统一导致 “信息孤岛” 的出现,NGGPS为CAx系统间实现数据和功能的集成统一提供良好的基础平台。采用UML对NGGPS与CAx集成系统进行建模分析,获得集成系统的用例图、顺序图和类图等UML图,结果指出NGGPS对象是NGGPS与CAx集成系统的关键。提出利用逻辑建模依据NGGPS理论构建应用NGGPS的数学逻辑模型,研究使用面向对象技术实现NGGPS对象模型的方法及应用实施。结果表明,该NGGPS与CAx集成系统建模方法具有结构清楚、条理清晰、信息及功能完备、实现容易等特点,且具有良好的扩展性、移植性,方便实现网络化的数据共享与协同操作。     

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

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

应用SVG实现基于Web的UML图形编辑

在XML技术的基础上,应用SVG技术实现了一种基于Web的UML图形编辑方法．该方法是以XML数据文件表示UML图,然后通过XSLT变换程序把XML数据文件在服务器端变换为SVG代码,SVG代码在浏览器中显示．对图形的编辑操作包括放大、缩小和移动等,该方法的最大优势在于允许用户随时随地通过Web进行编辑．     

支持业务流程管理的组织建模及约束描述

针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模、为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类．给出了业务流程过程模型和组织元模型的集成实现过程,从而有利于描述和分析工作流驱动的动态组织行为．     

基于UML的动态企业建模的研究与实现

应用扩充UML元模型定义企业建模,建立企业工作流视图、功能视图和信息视图．工作流建模,采用状态机(state machine)描述业务流程;功能建模,采用用例图(Use Case diagram)表达功能需求;信息建模,采用类图(class diagram)建立逻辑模型．建立了一个典型的离散型制造企业的企业模型,实现了相应的应用软件框架及动态企业建模在生产管理中的应用．     

基于TRICHOTOMY模型的可视化建模工具软件测试实例

本文通过总结大量的实例测试,提出了基于TRICHOTOMY模型的可视化建模系统测试方法。对于该方法,文中主要介绍了其在可视化建模工具软件测试中的实例应用。同时为了展示测试的过程与结果,文中给出了两例具体的应用测试图示。     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

IFO模型在数据库逻辑设计中的应用

反映信息系统的结构语义是数据库设计的主要目的之一。这一目的一般采用语义数据模型来达到。我们考察这一问题的逆问题:识别关系数据库模式中IFO结构。本文描述了将无语义的关系模式转换成IFO图的方法,同时给出了该方法的具体应用。     

多井约束条件的宽频速度建模方法

针对南海东部珠江口盆地目前勘探遇到的低幅构造难以落实的问题,应用基于多井约束条件下的宽频速度建模技术建立区域速度模型,落实靶点构造形态。讨论了该方法的思想、技术路线和应用步骤,并与PSDM方法得到的深度构造图进行了对比分析。实测数据处理结果表明：多井约束条件下的宽频速度建模技术受断层的影响存在一定的绝对误差,但同一层位的相对误差较小,研究工区速度体刻画更为准确,能更好地刻画低幅构造形态。探索出了一套针对南海东部珠江口盆地低幅构造的宽频速度建模分析方法。