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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于标准建模语言的国家卫生信息系统评估框架体系构建

国家卫生信息系统是在国家层面运行的结构复杂、功能强大的信息系统,主要用于支持决策,改善当前国家卫生状况。分析了国家卫生信息系统对综合全面反映卫生领域运行情况的重要性以及目前发展中国家卫生信息系统建设存在的问题,指出了需要建立完善的评估框架和体系。通过比较研究发展中国家卫生信息系统评估框架,提出了基于标准化建设语言（UML）的国家卫生信息系统评估框架体系,以期为卫生政策制定者提供决策支持和依据。     

基于J2EE政务管理系统的研究与设计

目的对地市级教育电子政务管理系统进行研究和设计。方法UML语言和J2EE技术。结果生成类,类和类之间的关系图和数据库。结论本研究对电子政务系统的应用和发展有研究意义。     

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

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

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

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

医疗设备呼叫配送中心管理系统

目的 设计并开发基于医疗设备呼叫配送中心工作流的信息化管理系统.方法 利用UML建模语言进行系统需求分析,开发来电管理、工单管理、汇总报表和系统管理等功能模块.结果系统的运行使医疗设备呼叫配送中心管理规范化,提高了工作人员的工作效率.结论 该系统提高了医疗设备维修的服务质量,对其它医院的医疗设备租用和维修管理也具有一定的参考意义.     

基于UML的国家卫生信息系统评估框架体系构建研究

国家卫生信息系统是在国家层面运行的结构复杂,功能强大的信息系统,它集成了卫生领域大量信息资源,主要用于支持决策,目的在于改善当前我国卫生状况。对国家卫生信息系统的评估需要建立完善的评估框架和体系,确保综合全面的反映卫生领域的信息。本文通过比较研究发展中国家卫生信息系统评估框架,提出了基于UML的国家卫生信息系统评估框架体系,以期为卫生政策制定者提供决策支持和依据。     

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

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