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

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

UML技术在关口电能计量系统中的应用

从软件过程的需求出发，结合统一建模语言，重点讨论了迭代式软件开发技术，以及基于模型架构的软件设计技术。以关口电能计量系统的实际开发过程为例，详细论述了UML技术在软件系统开发中建立实用模型的方法，提出了一种基于设计模式的软件系统建模方法，该方法以成熟的设计模式为中心，实例证明该方法可提高软件系统设计效率并保证设计质量。     

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

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

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

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

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

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

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

基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

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

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

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.     

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

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

基于三层架构和电子封签的运油管理系统设计与实现

针对传统运油车"黑盒子"管理方式的缺点与不足,设计出了基于IC卡的电子封签综合管理系统.该综合管理系统将智能IC卡的强大功能与计算机网络的数字化理念相结合并融入石油运输企业的整个管理体制中.该系统为石油运输企业提供了贴身的专业解决方案,断绝了大多数易发事故的源头,既经济又有效地解决了油罐汽车的安全问题,有利于企业实现多部油罐车的统一集中管理.提出了三层结构设计的框架,并结合实例详细讨论了系统结构和功能模块的设计思路.在设计中,采用统一建模语言UML对系统进行建模,并给出一个油库MIS实例,很好的体现了UML在MIS的优势.     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

基于UML的软件结构规范与精化(英文)

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

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

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

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

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

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

基于统一建模语言和多色集合的并行设计过程研究

在分析现有并行设计过程建模研究的基础上，提出了一种基于统一建模语言（UML）和多色集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构．采用多色集合理论，将UML活动图节点间的连接关系和基本模型结构形式化，结合基于特征的零件和工艺并行设计过程，建立了UML活动图模型，从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程，实现了该模型到多色集合围道矩阵的映射．研究表明，该方法具有面向对象且易于被非专业人员理解和使用的特点，可以为产品设计过程建立形式化模型．通过对设计活动进行布尔运算和定量分析，发现了影响产品设计进程的关键环节，从而为并行设计的组织和实施提供了理论指导．     

基于UML网络化标准零件库系统的分析与设计

在分析和研究标准零件库信息系统的组成和统一建模语言(unified modeling language,UML)的建模机制的基础上,提出了一种基于UML网络化标准零件库信息系统的建模方法,并采用Rational Rose工具对其进行面向对象的可视化建模,详细地给出了系统用例模型、静态模型和动态模型的建模过程。采用该方法建立的系统模型,模块划分清晰,功能明确。     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

基于UML的信息系统业务建模方法

利用统一建模语言UML的扩展机制，提出了一个基于UML的业务建模方法．首先对UML模型及其扩展机制进行了简要的描述．然后提出了一个基于UML的多视图业务模型，该模型是由功能视图、资源视图、组织视图、信息视图和工作流视图构成的．针对每个视图模型的特点，采用相应的UML扩展机制对其进行描述．基于UML的业务建模方法为信息系统业务建模提供一个新的解决思路．