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

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

UML到SDL在地铁售票机系统中的应用

介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。     

基于UML的职业医士考试系统建模设计

本文主要食绍了一种新型的面向对象的软件设计、分析和实现技术的语言——UML（统一建模语言）。以职业医士考试系统为例分析了UML的特点和基本的应用方法。     

统一建模语言在住院信息管理系统中的应用

统一建模语言是一种面向对象、定义明确的可视化系统建模语言。在信息系统的分析和设计中已逐渐被采用，并以住院收费信息系统为例，分析了UML在实际中的应用。     

基于UML的电子病历系统分析与建模

以电子病历的开发为例,以UML为工具对电子病历系统进行初步分析,并在此基础上对电子病历系统的功能进行设计规划,将电子病历系统划分为五大模块,即登录认证和加密模块、数据录入模块、数据库管理模块、电子病历管理模块、电子病历发布和远程调用模块。分析过程采用UML语言进行建模的方法,并以具体的实例介绍UML的八类图。最后阐述UML语言作为一种统一建模语言在复杂项目的合作开发上的重要意义。     

基于DEVS的目标跟踪系统UML建模

目标跟踪系统的建模是信息融合研究的热点之一.本文在目标跟踪系统分析的基础上,将DEVS的形式化描述和UML图形化描述结合起来,研究DEVS的数学模型到UML类模型的映射关系和建模过程,为目标跟踪系统的设计和实现提供了一种可行的方法,并通过EclipseUML环境下的建模和JAVA编程证明其有效性.     

基于UML的网上考试系统的设计

UML(Unified Modeling Language)是Rational Software公司研制的用于描述、可视化和构架软件系统以及商业建模的语言，它是一种定义良好、易于表达、功能强大且普遍适用的建模语言。它涵盖了面向对象的分析、设计和实现，融合了早期面向对象建模方法和各种建模语言的优点，为面向对象系统的开发、软件自动化工具与环境提供了丰富的、严谨的、扩充性强的表达方式。     

UML顺序图的COSMIC-FFP度量方法

COSMICFFP是新一代软件功能规模度量方法,但由于其规则过于抽象导致较难推广。本文研究UML顺序图的COSMIC-FFP度量方法,通过给出COSMIC-FFP与UML顺序图概念之间的对应关系,提出了贯穿于整个度量过程的11条规则和从UML顺序图到度量结果矩阵的度量过程。通过实例验证了所提方法能使COSMIC-FFP更具有实用性。     

基于扩展ITCPN的UML状态图建模

在ITCPN (Interval Timed Colored Petri Nets) 模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。     

一种基于UML的面向方面模块动态特性编织方法

在面向方面软件开发Theme方法的基础上引入用例驱动技术,其中用例技术实现软件模块化,面向方面技术封装横切关注点,从而形成一种用例驱动的面向方面软件开发(UCD/Theme)方法。通过分析面向方面模块的动态特性在编织过程中可能产生的冲突,提出了一种扩展UML的面向方面模块动态特性编织时的冲突解决方法。通过ATM案例说明了该方法的应用。     

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

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

UML建模方法及其在 HIS开发中的应用

目前,医院信息化建设已成趋势,现有的管理系统不能满足应用要求,医院信息管理系统设计成为迫待解决的问题。文章首先使用UML建模工具对系统进行了分析,介绍了UML的静态和动态建模机制,给出了UML分析过程主要模型及相互关系图。并就其中一个重要组成部分-门诊子系统进行了详尽的设计和实现。在此过程中,进行了问题领域的分析,确定了医院管理系统功能模块图,采用了用例建模、顺序图建模的方法,来完成系统各模块层的实现,同时对用户界面层的功能进行了介绍,最后对系统的未来发展趋势进行了展望。     

The application of the unified modeling language in object-oriented analysis of healthcare information systems

This paper concerns itself with the beneficial effects of the Unified Modeling Language (UML), a nonproprietary object modeling standard, in specifying, visualizing, constructing, documenting, and communicating the model of a healthcare information system from the user's perspective. The author outlines the process of object-oriented analysis (OOA) using the UML and illustrates this with healthcare examples to demonstrate the practicality of application of the UML by healthcare personnel to real-world information system problems. The UML will accelerate advanced uses of object-orientation such as reuse technology, resulting in significantly higher software productivity. The UML is also applicable in the context of a component paradigm that promises to enhance the capabilities of healthcare information systems and simplify their management and maintenance.     

基于统一建模语言的新型决策库模型

通过对MUL语言和DSS中模型的研究,给出了茯于UML模型库模型的建模方法,并提出了可重用的DSS模型库体系结构。     

一种基于UML的智能导检系统设计方法

目的/意义 探索建立带有智能导检功能的系统,为检验患者提供智能引导。方法/过程 以检验科患者为调查对象,采用调查问卷获取并分析患者难点、痛点,利用Enterprise Architect软件、统一建模语言设计导检系统的用例图、时序图、部署图等,以测定尿微量蛋白肌酐比为例,设计智能导检系统知识库,依据评价问卷结果优化智能导检系统。结果/结论 基于统一建模语言的智能导检系统设计方法可行,智能导检系统形式得到广泛认同,为推进结构化、智能化、知识化电子病历,提升医疗质量提供新思路。     

社区健康档案的数据模型与参考指标研究

目的 构建社区健康档案数据模型,建立社区健康档案基本内容的参考指标及其元模型,为信息系统开发和信息交换提供依据.方法 依据国际和国家标准以及我国目前社区健康档案的研究成果,采用统一建模语言(UML),对社区健康档案的观察指标进行数据建模.结果 社区健康档案概念数据模型包含4个维度,20个子维度,包含参考指标84个,其中健康状况10个,非医学影响因素25个,卫生系统绩效22个,社区及卫生系统27个;观察指标的元模型包含定性观察、定量观察和描述3个基本数据类型.结论 社区健康档案概念数据模型可以作为各地设计社区健康档案内容的基本依据,逻辑数据模型和参考指标可指导居民健康档案信息系统的开发,观察指标的元模型可作为社区健康档案内容的元数据标准,用于不同健康档案系统之间的信息交换.     

PSC:软硬件协同设计的一种中间模型

提出了一种软硬件协同设计的系统模型－－PSC（进程状态控制）。建立PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次文化建模方法，它可以将系统控制逻辑和功能实现分离，有利于将模型转换为物理实现，并在转换过程中结构和功能可以分别采用不同的技术和实现方法。