基于TCOZ的UML用例图的形式化模型

基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。     

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

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

数据仓库中物化视图的选择方法

对数据仓库环境中物化视图的选择问题进行了研究,利用有向无环图表示查询处理过程,给出了有向无环图的形式化描述方法和等价重写的概念,定义了一种物化视图增益计算模型。在考虑空间约束的基础上,提出一种物化视图选择方法,并给出了切实可行的算法步骤。     

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

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

医院药房药品微机网络管理

程序系统分析方案 整个系统采用面向对象方法开发系统,在分析过程中采用统一建模语言（UML）技术为系统建模和代码生成强有力的支持。UML在软件开发过程中,采用面向对象技术设计系统时,首先是描述需求,然后根据需求建立系统的静态模型,构造系统的结构。其中主要用例图、类图、对象图、构件图和部署图等5个图形表现。通过静态建模,描述所建立的模型是否可以执行或者执行时的时序状态和其交互关系,     

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

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

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

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

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

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

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

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

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

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

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

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

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample

Medical monitoring systems are useful aids assisting physicians in keeping patients under constant surveillance; however, taking sound decision by the systems is a physician concern. As a result, verification of the systems behavior in monitoring patients is a matter of significant. The patient monitoring is undertaken by software in modern medical systems; so, software verification of modern medial systems have been noticed. Such verification can be achieved by the Formal Languages having mathematical foundations. Among others, the Z language is a suitable formal language has been used to formal verification of systems. This study aims to present a constructive method to verify a representative sample of a medical system by which the system is visually specified and formally verified against patient constraints stated in Z Language. Exploiting our past experience in formal modeling Continuous Infusion Insulin Pump (CIIP), we think of the CIIP system as a representative sample of medical systems in proposing our present study. The system is responsible for monitoring diabetic’s blood sugar.     

基于UML技术的医院检验信息管理系统的设计

根据医院实际需求,采用对象建模语言（UML）开发了医院检验信息管理系统。本文详细介绍了该系统各模块的功能及其应用效果。该系统的应用提高了检验科设备的利用率,缩短了标本控制时间及故障响应时间,提高了医院检验设备的工作效率。     

基于UML状态图的测试用例自动生成方法

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。     

一元线性回归模型设计及C++实现

针对统计方法中一元线性回归问题,详细描述了其建模方法。根据建模方法设计了一元线性回归模型类,同时给出了统一建模语言(UML)类图;再利用C++语言实现了一元线性回归模型类:最后给出了测试实例,测试结果表明了本文设计以及实现的一元线性回归模型类具有较好的可靠性以及较高的精度。为工程应用奠定基础。     

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.