基于UML的旅游信息系统建模研究

分析了统一建模语言(unified modeling language,UML)的建模机制,通过对综合性旅游信息系统组成及开发过程的研究,提出了一种基于UML综合性旅游信息系统的建模方法,并采用Rose工具对其进行面向对象的可视化建模,给出了详细的建模过程.结果表明,该方法能有效支持系统需求分析,快速捕获系统的设计缺陷,降低系统的开发成本.     

基于UML的选课信息系统的建模

简要介绍了选课信息系统的基本功能,给出了使用UML语言进行系统建模的主要模型,最后提出用Java工具对模型进行代码实现的方法.     

UML在多层分布式系统建模中的应用

UML统一建模语言已受到工程界广泛的关注，但采用UML对多层分布式应用系统进行建模没有统一的标准，本文介绍在工程实践中采用的建模方法，并采用UML为多层分布式系统建模，该方法已在工程应用中取得较好的效果。     

基于UML和Petri网的系统服务获取流程建模

在流程建模中,UML技术和Petri网技术各自发挥着十分重要的作用.分析了UML技术和Petri网技术各自的优缺点及在流程建模中的应用,提出了一种基于UML技术和Petri网技术相结合建立系统流程模型的方法,并给出了相应的技术路线.在此基础上,以兵团空间信息系统服务获取流程建模为例,对所提出的方法和技术路线进行了验证.     

基于UML的信息融合系统自适应敏捷建模

敏捷建模是面向实践的建模过程。研究了基于UML的自适应敏捷建模方法。结合信息融合系统分析,敏捷建模使用UML的一个子集,从域模型出发,进行健壮性和自适应分析,将系统动态建模和静态建模结合起来,快速、有效地构建系统模型。通过关联算法模块的建模证明:该方法可以大大方便设计人员和使用人员的沟通,缩短研发周期,提高研发效率,对信息融合系统的研究具有实际意义。     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法（简称EPN）将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统。由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模。同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真。本文主要对列车控制系统中的连挂和解编过程进行建模。通过模型验证采用EPN分析系统的有效性和便捷性。     

基于J2EE/UML的ERP动态建模研究

ERP(企业资源计划)是企业进行现代化管理的一个工具,介绍了企业资源计划动态建模的必要性,UML标准建模语言的主要模型视图及其特点,J2EE的体系结构和优点。然后提出一种结合J2EE/UML两者特点的建模方法,并且通过实例详细了J2EE/UML建模体系应用于ERP系统的建模过程和软件实现,最后展望了企业建模领域未来的研究方向。     

基于UML的Web建模在高校资产管理系统中的应用

本文以开发高校资产管理信息系统为实例,应用UML初步探讨分析了Web建模在高校资产管理信息系统在开发过程中的模型应用。在阐述UML的相关知识的同时提出了对UML的技术应用研究,解决了在B／S软件系统开发过程中领域专家、软件设计人员和客户之间交流的难题,加快了Web应用系统的开发进程,提高了开发质量。     

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

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

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

针对UML在建模方面的优势,结合一个具体的实例,从系统的功能分析、系统设计到系统实施,介绍了应用UML建模的方法,重点描述了基于UML软件系统开发的建模过程,并通过软件设计平台Power Designer 15,构建了系统的需求模型、静态模型和动态模型,从而可以自动生成特定语言的代码框架,使程序的开发效率和成功率得到提高。     

基于UML的三层分布式图书馆管理系统开发设计

UML是一种面向对象的统一建模语言,本文以UML为工具对三层分布式原理的信息管理系统进行建模分析,给出了系统用例图,序列图等.     

统一建模语言UML在管理信息系统开发中的应用

简要介绍了基于面向对象思想的统一建模语言UML的基本概念,并简要介绍了标准建模语言UML工具———RationalRose,并通过一个学校图书馆系统的UML建模,说明了UML在管理信息系统开发中的应用     

基于UML的图书管理系统建模与设计

统一建模语言UML是面向对象分析和设计过程中重要的建模工具,以图书管理系统为例,探讨应用UML对系统的需求分析、详细设计及实现的不同阶段的分析和建模过程。     

本体在UML建模中的应用研究

本体作为一种能够有效表达概念层次结构和语义的模型,被广泛地应用到计算机科学的众多领域.UMI 作为一种通用的建模语言,已成为面向对象建模领域公认的工业标准.在介绍本体和统一建模语言基本概念的基础上,比较分析了面向对象建模与本体建模的异同,提出用本体技术来弥补UML 规范中存在的缺陷,使得uML能够更加规范地表达建模信息.     

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.     

面向高校学生个人信用评价系统的UML建模方法

统一建模语言UML (Unified Modeling Language)是一种标准的图形化建模语言,它是面向对象分析与设计方法的表现手段,适用于不同的开发环境和软件生命周期.文中主要讨论如何使用UML完成高校学生个人信用评价管理信息系统的用例建模、静态建模和动态建模,以提高该系统的文档化、可视化和标准化,并保证系统的可靠性和可用性.     

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

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

基于统一建模语言的分布式企业信息系统软件体系结构模型

讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和约束组成 ,采用 UML的一个子集作为体系结构建模语言 ,用例视图、逻辑视图、构件视图和配置视图是表示 UDESAM的 4个视图 .给出了基于 UDESAM的软件开发过程和以体系结构为中心、以面向对象为指导思想、基于构件、由用例驱动的软件开发策略 ,并以一个基于 Web的销售系统开发实例辅证     

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

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