UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

基于UML与Struts的客户合同管理子系统设计与实现

运用基于UML的面向对象开发方法以及Struts体系结构，对B／S模式的某港口物流系统中客户与合同管理信息系统进行了分析、设计与实现．分析了客户与合同管理的信息需求，利用Rational Rose对系统进行建模，给出了系统模型和实现的总体类图，并予实现．     

高校青年科研基金项目立项表决的建模设计

本文简要介绍了利用UML工具,对高校青年科研基金项目立项表决信息化模型进行了探讨,初步构建了该项目立项表决模型。其建模过程和方法,对面向对象的软件开发项目有一定的指导作用。     

基于UML的面向对象分析与设计方法

统一建模语言UML(unified modeling Language)是面向对象开发中一种通用的图形化的模型语言,文章以UML为基础,以网上购物系统为背景,系统全面阐述了基于U M L的面向对象的分析和设计方法。     

UML 2.0通信图的一种测试用例生成方法

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

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

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

结合案例分析基于UML的面向对象可视化建模教学

面向对象软件可视化分析与设计建模(OOVM)已成为一个较为成熟的技术,而UML是目前高校软件工程教学中广泛使用的一个图形建模工具。基于一个案例,描述了面向对象软件分析与设计的全过程,指出了基于UML建模方法所需输出的必要制品,讨论了OOVM集成的完整技术。     

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

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

Software Maintainability Prediction with UML Class Diagram

Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability.