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

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

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

基于Petri网和UML的流水作业调度模型设计及实现

为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。     

浅谈双代号网络计划时间参数的计算在桥梁施工工程中的应用

工作持续时间(符号是Dij,)是指对一项工作规定的从开始到完成的时间。最迟开始时间(LSij,ij表示工作,LS代表英文Latest Start),在不影响整个任务按期完成的情况下,工作必须开始的最迟时刻。须开始时间以及时差。我国目前在建筑工程中常采用工作计算法,只计算各项工作的最早可能开始时间和最迟必须开始时间以及时差。     

浅谈双代号网络计划时间参数的计算在桥梁旋工工程中的应用

工作持续时间(符号是Dij,)是指对一项工作规定的从开始到完成的时间.最迟开始时间(LSij,ij表示工作,LS代表英文Latest Start),在不影响整个任务按期完成的情况下,工作必须开始的最迟时刻.须开始时间以及时差.我国目前在建筑工程中常采用工作计算法,只计算各项工作的最早可能开始时间和最迟必须开始时问以及时差.     

基于UML的面向对象的软件测试方法

分析UML状态图的组成、标准事件和嵌套、并发的优点,给出利用UML状态图产生测试用例的软件测试方法.该方法可以把状态的复杂度控制在和状态属性相关的线性级别,可以尽早发现与状态相关的错误.     

基于UML状态图的工作流时序约束一致性研究

通过对UML状态图进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，接着用时序逻辑公式定义时序约束，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证．     

UML 2.0的形式化语义研究

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

UML状态图到形式化B语言转换的实例研究

使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。     

基于扩展ITCPN的UML状态图建模

在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。     

基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少．     

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

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

基于RUP的UML在课程登记系统中的应用分析研究

文章探讨了基于RUP的UML进行面向对象的系统分析及设计方法,提出了一种实用的基于UML的需求分析及其建模方法,在获取系统的实际需求的基础上以应用例图表达系统需求并构建了需求模型;在此基础上,根据需求模型进行系统分析和设计,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,由此完成了包括系统的分析建模、设计建模以及实施建模过程;讨论了需求分析及其建模的过程概念,并以课程登记系统模型作为案例示范。     

基于组件的软件系统的接口测试

软件测试在整个软件开发过程中占有非常重要的地位，现代软件系统越来越复杂，基于组件的软件工程方法为开发者提供了一个设计软件的方法。利用有限状态自动机可以描述组件各状态及状态间转换，程序执行状态图（PESC）及各种覆盖准则可用来描述程序执行状态及其变化，对于展开的状态图，由它来产生一棵测试树，该树包含了所有的测试路径。     

基于扩展I~*框架的嵌入式系统需求建模方法

系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在扩展的UML顺序图中实现对非功能属性"实时性"的描述。采用ATM实例,对上述建模方法进行分析并验证可行性。通过上述研究,最终完成了对嵌入式系统需求的完整描述,并结合UML顺序图的扩展实现对"实时性"的描述。     

基于UML的整体与部分关系的可视化表示研究

整体／部分（whole／part，简称为WP）关系在计算机领域建模中无处不在。在WP关系中，整体对象具有管理和控制部分对象的功能，所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外，UML没有直接提供除此以外的其它更多的语义特征。因此本文通过分析WP关系的特征，阐明UML在描述WP关系方面的不足之处，扩展UMI。使其能清晰、准确地描述WP关系。     

一种基于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建模和C#实现

开发一个自动提款机模拟系统.系统的分析、设计和实现以UML建模为驱动力;类图、用例图、状态图、顺序图和活动图从几个视角描述系统的静态结构和动态行为.     

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

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

基于UML的面向对象软件测试框架

统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言，基于UML，统一软件开发过程(USDP)提出了软件开发的过程方法。目前，基于UML的软件测试研究中，很少有研究将开发过程和测试过程结合的系统研究。笔者提出了一个基于UML的面向对象软件测试框架，该框架有效地结合了UML和统一软件开发过程。所提出的测试框架将软件测试分为系统测试、类族测试和类测试，其中，系统测试根据use-case和系统序列图生成测试用例，类族测试根据集成的状态图生成测试用例，类测试根据类的状态图生成测试用例。介绍了UML与软件测试的层次关系，并讨论了各类测试用例的生成方法。