UML顺序图的鲁棒性分析

鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language, UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义,随后讨论顺序图在组合与精化条件下的保存问题。最后,在原型工具支持下进行实例研究。实验结果表明,设计阶段的顺序图能保持分析阶段顺序图的鲁棒性,从而可以给予从事面向对象的开发人员相关帮助及支持。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

以UML顺序图为导向的人事管理系统设计

以人事管理系统的设计为例,以UML顺序图为导向,引申出其他的UML图,从而为各种UML图在整个软件设计开发中的作用进行了完整的描述.     

形式化表示UML顺序图的结构操作语义

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.     

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

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

基于消息语义的UML2.0顺序图控制流分析

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.     

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

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

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

基于对象模式关系图的测试顺序生成方法

类的测试顺序对于面向对象的集成测试有着重要的作用．在基于对象关系图（ORD）的测试顺序生成方法上,改进了对象关系图,结合设计模式提出了对象模式关系图（OMRD）,并在对象模式关系图的基础上提出了基于对象模式关系图的测试顺序生成方法．基于对象模式关系图的测试顺序生成方法能在一定程度上解决基于对象关系图的测试顺序生成方法所存在的不足．     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

应用SVG实现基于Web的UML图形编辑

在XML技术的基础上,应用SVG技术实现了一种基于Web的UML图形编辑方法．该方法是以XML数据文件表示UML图,然后通过XSLT变换程序把XML数据文件在服务器端变换为SVG代码,SVG代码在浏览器中显示．对图形的编辑操作包括放大、缩小和移动等,该方法的最大优势在于允许用户随时随地通过Web进行编辑．     

基于语义和结构的UML类图的检索

以软件重用为背景提出基于语义和结构的UML类图检索.构建了UML类图的重用模型,定义了存储UML类图的重用库结构.提出将本体的概念语义距离应用到UML类图的语义相似性度量和使用图表示UML类图的结构进行结构相似性度量.基于检索流程形式化检索需求,提出了UML类图的检索算法.基于提出的衡量标准,从语义、结构和混合三种检索类型对提出的算法进行了验证.实验结果表明,所提出的检索算法在检索质量和检索效率上要优于其他方法.     

基于UML和MVC的远程教育网站设计

网站是现代远程教育的平台,实现远程教育网站设计的可重用、提高网站的开发效率具有重要意义.使用UML统一软件建模语言和MVC模型、视图、控制方法来设计远程教育网站,用UML用例图做需求分析,用类图设计系统静态模型,用顺序图设计系统动态模型,用MVC设计系统组件结构.用这种方法设计的远程教育网站易于代码化,具有良好的可重用...     

UML应用于ERP系统建模的分析和设计

介绍了统一建模语言（UML）的规范和主要内容，UML和软件开发过程结合的映射方法，并结合ERP下的生产控制系统介绍了应用UML的系统建模分析和设计的过程，从而证实了UML对开发大型软件的质量保证起着极其重要的作用。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。