基于UML状态图的协议文本转换技术

利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.     

扩展UML状态图在状态时限描述中的应用

由于常规的UML状态图难以描述对象的状态时限，故需在建模时对其进行扩展。在概述UML状态图模型及扩展机制的基础上，以期刊编辑部稿件状态时限描述为例，探讨如何通过持续时间、最早开始时间、最早完成时间、最迟开始时间、最迟完成时间、总时差、自由时差等时间参数扩展UML状态图，以增强UML状态图描述对象活动及状态时限的能力。     

基于UML状态图的测试用例自动生成方法

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向.在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例.实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率.     

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

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

一种基于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是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

基于DL-Safe规则的UML状态图形式化和一致性验证

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.     

UML状态图测试充分性准则的公理化评估

描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

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

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

基于UML的工作流建模研究

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

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

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

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

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

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

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

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

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

基于UML的需求分析与建模

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

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

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