基于OPN和UML的导航装备维修建模方法研究

探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.     

UML在航空电子系统中的应用研究

UML是使用最广泛的面向对象建模语言,它是信息技术的蓝图和详细描述系统结构的方法.象在非航空电子系统一样,UML在航空电子系统中也得到了普遍应用.不同的公司对UML在航空电子系统中的应用进行了不同的扩展.但是,OMG(Object Management Group)没有把任何一种扩展作为标准.本文通过应用研究对 IBM Rational的 B.Selic提出的 UML/RT进行扩展,将它应用到航空电子系统中,并且详细说明扩展的意义和结果。