基于元模型架构的UML类图到PVS规范的转化方法

UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.     

UML扩展机制在嵌入式实时建模中的应用

在嵌入式实时系统建模中,针对UML没有专门的图来描述实时性,对时间约束的建模能力不强的情况,提出了一种使用UML扩展机制进行嵌入式实时系统建模的方法,并介绍了该方法的一个应用实例。     

基于UML的BBS论坛系统建模

通过将UML应用于BBS的系统分析构建，介绍了由此而带来的优点，如加速开发进程、建模快捷易懂、界面更为人性化等。     

基于UML的电子拍卖系统的分析与建模

简单介绍了UML的基本概念及其建模优点,重点对电子拍卖系统进行了比较全面的需求分析,并用UML语言实现了系统的动态建模.     

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

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

基于UML的门诊预约挂号系统建模

首先对医院门诊预约查询系统开发背景进行了简要的介绍,其次运用UML对系统进行了需求分析、确定系统范围和系统边界、定义活动者、定义用例,画出系统的静态结构图并建立系统动态行为模型,最后实现了门诊预约挂号系统。该系统可以作为医院的信息化建设和信息化管理的一个部分。解决了医院门诊预约挂号的实际问题,可以通过网络实现门诊预约,免去病人在医院排队和等待的时间,使得医院更好地服务病人。     

基于多移动代理的网络故障管理系统的UML建模

基于移动代理的网络故障管理利用移动代理的移动性、智能性、灵活性和强大的扩展能力,通过对整个网络进行本地和全局的故障监测、告警和排除,能够对网络实施高效、实时和准确的故障管理,而且移动代理的平台无关性又可方便地实现跨平台的网络管理,在复杂网络的管理方面有着极大的优势。根据多移动代理的设计模式,借助于UML建模工具构建了一个故障管理系统,清晰地描述了该系统的静态和动态结构,克服了传统的集中式网络故障管理的诸多缺点。     

融合UML和XACML的医院信息系统建模

系统建模是软件开发的前提.UML是根据需求建模,但是安全性没有考虑充分.现以医院信息系统为例,首先通过用例图清晰描述出医院内部的总体结构;然后对医院信息系统的病历子系统进行了安全性方面的分析;最后根据存在的问题,在UML建模的基础上,结合可扩展的访问控制建模语言XACML及视图策略语言VPL相关元素,实现软件系统安全建模.     

网络考试系统的UML建模

本文采用面向对象的设计方法,并以UML为建模语言,使用PowerDesigner作为分析、设计工具,对基于B/S结构的网络考试系统进行静态和动态建模。     

基于RUP的UML建模方法在用户管理系统中的应用

以用户管理系统的开发为背景,介绍在面向对象应用系统的分析与设计过程中,应用基于RUP的UML建模技术进行系统建模的方法。在对系统进行需求分析的基础上,灵活选用UML提供的语言丰富的可视化表达元素,构建了系统的用户需求模型、B/S模式体系架构模型、分析设计模型和实现模型。     

基于UML的任务规划系统建模与设计

任务规划系统是提供辅助决策的一种科学而有效的手段。由于系统包含要素的开放性和复杂性特点,需要采用面向对象的分析与设计方法进行建模。UML建模技术提供了一种比较好的解决方法。通过UML建模,能够清晰描述系统的需求、功能、要素、组成、内部关系等,致使仿真软件的扩充性与重用性好,且开发效率高。本文描述了任务规划系统的用例视图、类视图和动态建模,并讨论了作战任务的描述方法和想定建模。     

基于UML的J2EE体系结构系统建模

分析了基于UML的可视化建模的重要性，提出了基于UML的J2EE模型分析方法。阐述了用UML建立J2EE体系结构系统的功能模型、工作流模型、信息模型、行为模型和静态模型。并以一个网上书店系统为例，建立了一个典型J2EE体系结构的系统模型。     

基于UML的工作流建模研究

统一建模语言UML是面向对象分析和设计过程中的重要的建模工具.文章在介绍UML的基础上,以公文流转系统为背景,使用UML进行过程建模,分析了UML图与系统开发生命周期各阶段的对应关系,讨论了UML的建模机制和建模过程.     

基于UML保险公估系统的建模与分析设计

UML作为统一建模语言,使软件开发人员专注于建立系统的模型和结构,而不是选用具体的程序设计语言和算法来实现．采用面向对象分析方法UML来实现保险公估系统的开发,探讨如何利用UML对系统进行分析设计和建模的过程,以提高该系统可视化和标准化,并保证系统的可靠性和可用性．     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

基于UML的面向对象编程在直接转矩控制系统中的应用

把面向对象的方法运用于控制系统设计，并利用UML的建模机制和特点，以UML为建模语言，同时以Rational ROSE为工具对直接转矩控制系统进行面向对象建模。     

基于UML的需求分析与建模

在GRAPPLE指导原则下,以库存管理信息系统的实际需求为例,阐述运用面向对象技术进行需求分析的过程,并且将UML作为工具建立模型,从多个视角描述系统的业务处理流程。     

基于UML的Web应用程序建模的具体实现

介绍了Web应用程序的特点，采用UML方法设计了一个Web应用程序．该程序给出了UML在开发Web站点中的具体实现，体现了UML在提高软件开发效率和质量方面的重要作用．     

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

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

基于UML的网上作业系统分析与设计

采用了面向对象的方法分析和设计了一个网上作业系统,分析了该系统的功能需求,建立了系统的用例模型,描述了重要用例的事件流,设计了系统的静态结构模型、动态结构模型和物理模型。