基于UML的ERP系统建模方法的分析

本文分析了统一建模语言UML对ERP系统建模的优势,论述了利用开发ERP系统的新手段——UML进行建模的方法,重点对基于用例图的功能建模方法作了详细的分析,并通过相应案例加以说明。

基于UML的MIS分析与设计方法

1引言 MIS系统开发一般须经过需求分析和系统设计两个阶段.传统需求分析对问题的认识和描述不是以问题域中的固有的事物作为基本单位并保持其原貌,而是在全局范围内以功能、数据或数据流为中心,例如数据流法把整个问题域看作一些数据流和处理,所以这些方法的分析结果不能直接地映射到同题域,而是经过了不同程度的转化和重新组合.

UML在医疗保险管理信息系统领域模型设计中的应用

该文详细描述了在医疗保险管理信息系统开发中,怎样使用UML犤1,2犦建模方法完成系统的分析与设计,建立领域模型的全过程,并与常规面向过程的PO(Process-Oriented)犤3犦方法进行了比较,说明了UML描述的应用系统模型的整体性能明显高于PO描述的整体性能。

基于UML模型的CTCS-3级列控系统功能安全分析方法

本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。

基于UML的CTCS-3级列控系统需求规范形式化验证方法

采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改。以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证。

UML在运输业务管理系统建模中的应用

以运输业务管理系统项目的开发为背景,探讨了UML在运输业务管理系统建模中的应用问题。在对系统进行需求分析的基础上,采用ROSE构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。

基于UML的系统需求分析

该文以高速公路征费系统软件为例,探讨了基于UML的系统需求分析的设计方法。意在说明UML的若干视图具有从多角度描述系统的优点,阐述了这种建模机制如何为实际业务系统应用中的需求分析提供新的技术和方法。

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。

UML在高校财务绩效管理系统设计中的应用

统一建模语言UML(Unified Modeling Language)是面向对象软件开发方法的重要技术。在对UML进行了简要的介绍和概括后,结合财务绩效管理模型实例,对UML的技术进行了研究。在对系统进行需求分析的基础上,采用建模工具构建了系统的用户需求模型、对象结构模型和行为模型,对面向对象软件项目的开发具有一定的指导作用。

基于B的UML形式化需求分析

为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。

基于形式化规格说明的UML状态图提取

为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。

基于UML的面向对象设计研究

1 引言瀑布模型曾经是使用得最为广泛的软件生命周期模型,基于该模型的结构化分析与设计是软件技术发展历史上的重要成就.但是,随着人们对应用需求的升级及技术的发展,基于这种模型的开发方法暴露出越来越多的弊端.主要表现在:

基于UML活动图的工作流建模方法

对工作流管理系统的功能特性进行了分析,提出了一种工作流执行系统的体系结构,并详细描述了用UML活动图为工作流建模的过程.

B方法与UML在软件设计中的结合应用

形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。

UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则,涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明,这套转换规则行之有效。

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·

用UML和IDEF方法对软件开发进行建模

文章介绍了可视化面向对象建模技术和IDEF结构化分析方法的基本概念和方法。并以锅炉CAD软件的开发为例,研究了这两种信息建模方法在软件开发中的应用,并对他们的特点进行了分析和比较。

基于UML模具网络化制造任务信息建模

模具产品快速开发的能力和对市场的响应速度已成为当前模具制造企业能否生存与发展的决定性因素,模具制造采用网络化的制造模式,能够快速响应客户及市场需求,提升企业的信息化水平,同时有效的缩短产品开发周期,降低生产成本。在对网络制造环境下模具制造任务分解与任务信息构成分析以及模具制造企业综合制造能力剖析的基础上,利用UML面向对象的统一建模语言,建立了模具制造任务与企业综合制造能力的信息模型,给出了它们与此相对应的对象关系数据库模型,实现了制造任务和资源的信息模型到关系数据库模型的转换。

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。