印刷企业供应物流信息系统中库存子系统的分析与设计

利用UML建模工具对印刷企业供应物流信息系统中库存管理子系统进行了分析与设计.采用用例和用例图进行系统分析,采用顺序图和活动图进行系统动态建模,通过定义类和类图进行了系统静态建模,分析了数据的存储结构并通过定义SQL SERVER数据库中的过程存储进行数据库的设计.     

UML时间顺序图的实时系统建模及验证

实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.     

中小型印刷企业采购管理信息系统设计

利用UML建模工具对中小型印刷企业采购管理信息系统进行了系统设计.采用活动图进行系统动态建模,通过定义类和类图进行了系统静态建模,并通过定义数据的存储结构和存储过程对数据库进行设计.     

基于UML的网上图书销售系统的建模与设计

运用基于UML的面向对象分析方法,按照软件工程的思想,借助于统一建模语言,使用Rational Rose为建模工具对网上图书销售系统进行建模设计,利用表示系统静态特征的UML类图、用例图和描述系统动态行为特征的时序图对其进行详细描述。     

中小型印刷企业采购管理信息系统分析

利用UML建模工具对中小型印刷企业采购管理信息系统进行了分析.通过定义系统中的角色、用例和用例图对中小型印刷企业采购管理信息系统进行了分析.     

系统开发中的UML建模应用

本文探讨了系统开发中基于UML进行面向对象的系统分析及设计方法,包括静态建模和动态建模：提出了一种实用的基于UML的需求分析及其建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以应用例图表达系统需求：讨论了需求分析及其建模的过程概念。     

基于图文法的产品族配置及其建模研究

根据产品族生成机理与图语言生成机理的相似性,提出了一种产品族的图文法表达方法,并根据产品族的图文法模型构建了基于图文法的产品族配置系统的体系结构.用UML对基于图文法的产品族配置系统进行用例建模、静态建模、动态建模以及编码与部署分析,从而为系统的具体开发做准备.     

基于UML的学生信息管理系统建模

本文介绍了UML的建模过程及建模特点,首先描述了高校学生信息管理的需求分析及功能模块划分,然后重点以学生的学习管理模块为例,建立了系统主要的用例图、类图、顺序图。     

UML模型与Java语言之间的代码映射关系分析

UML是在多种面向对象建模方法的基础上发展起来的建模语言,它不是一门程序设计语言。但却可以将UML模型映射为多种程序设计语言代码,也可以使用逆向生成器工具将程序源代码转换为UML模型。本文浅析了类图、状态图、组件图三种模型与Java语言之间的代码映射关系。     

基于UML的社区警务管理系统的需求分析

UML(Unified Modeling Language)是用于开发系统的可视化建模语言,研究目的是使用UML对社区警务管理系统进行系统建模,期间也结合UP(统一过程)作为方法论。针对本系统软件开发中的需求分析阶段,分析出一系列的功能需求模型。首先确定系统的用例,然后在此基础上从静态和动态两方面分别建立时序图和活动图的系统模型。     

网络印刷服务平台功能模型的分析及建立

对网络印刷服务平台的功能需求进行了分析,并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功能,以UML时序图描述了网络印刷服务平台的动态业务流程,二者共同构成网络印刷服务平台的功能模型,为今后网络印刷服务平台的开发提供了依据。     

光电干扰系统基于UML的C3I系统软件建模

将C^3I系统实时获取信息、传输信息、处理信息进行态势分析与估计,然后自动决策应用于光电干扰系统软件设计,能大幅度提高光电干扰系统的效能,从而提高战区C^3I系统的攻击与防卫效能。首先描述光电干扰系统的功能需求,利用C^4ISR与UML体系结构的高层处理过程提出UML建模的框架;接着应用UML遵循RUP的核心思想和基本原则对光电干扰系统软件进行了建模,逐步进行了需求收集、系统分析与系统设计,在每个过程均用一系列UML图来形象化地表示;最后提出了在建模过程中应注意的问题。利用已成为事实上标准并且符合人们思维习惯的UML进行系统建模,开发周期相对短,产品较丰富并且保证了系统开发和维护人员对系统的理解,系统分析、系统设计以及系统维护的一致性,更重要的是模型建立后可直接编程实现。     

印刷品个性化制作平台类模型的分析与建立

首先对基于B/ S 模式的印刷品个性化制作平台进行了功能上的需求分析。在此基础上,建立了印刷品个性化制作平台的功能模型。然后依据所构建的功能模型,采用面向对象方式建立了个性化印刷品制作平台的UML 类模型,并采用交互图来补充和描述所建立的类模型。     

基于UML和SystemC的嵌入式系统集成开发方法的研究

针对嵌入式系统的特点，提出了一种基于UML和SystemC的集成开发方法。在这种方法中，UML用于嵌入式系统的分析与设计，SystemC用于建立软硬件协同仿真模型。UML模型到C 语言自然而直观的映射提供了连接系统分析阶段和实现阶段的桥梁，而通过SystemC模型的执行可以对系统的高层分析、抽象和定义提供尽可能早的验证。     

非线性转子-轴承系统的动力学降维分析与试验研究

应用有限元法建立转子-轴承试验系统的非线性动力学模型,采用固定界面模态综合降维法将原高维系统转换为低维少自由度系统,采用Newmark-β法对降维后模型进行求解,在和全自由度模型对比满意的前提下,得出转子系统的三维谱图、分岔图、三维振幅图、轴心轨迹图以及Poincare截面图,并和试验结果进行对比,结果表明本文所建立的动力学模型,较为真实地反映了试验系统的非线性特性,为计算复杂转子-轴承系统的深层次动态设计提供理论依据。     

模具特许连锁制造网格体系的物流系统研究

分析了模具特许连锁制造网格体系之物料供应系统的特点和功能要求,运用holonic制造系统的基本原理,参考PROSA模型的思想方法,结合具体企业的应用实际,提出了基于holon的物流系统基本模型(Holonic Logistic System,HLS),对HLS的三类基本holon做了详细分析;运用HLS原理对特许连锁制造体系的物流系统进行了建模分析,用UML活动图对其运作机制作了说明,并用实例验证了该模型与控制机制的正确性。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.