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

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

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

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

以活动为中心的软件过程建模及其作用的研究

从分析以活动为中心的软件过程的特点以及活动之间的规则、关系和分类出发,抓住了过程活动的特点与度量活动的难点.通过实例研究将以活动为中心的软件过程模型特点应用到软件过程度量中,通过活动图抓住度量关键域,并分析了两种方法具体结合对企业实际项目开发过程中的过程度量与改进的意义,不仅简化了软件过程度量,同时避免了过程度量的盲目性.     

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

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

基于UML的网络课程教学系统模型设计

UML是定义良好的、易于表达的、功能较强的且普遍适用的建模语言,使用UML方法开发网络课程网站,用UML例图进行需求分析,用UML类图进行系统静态设计,用UML顺序图进行系统动态设计,最终实现网络课程教学系统的建模过程。     

有序加权平均算子在UML类图度量中的应用

随着面向对象技术在软件理论和应用的快速发展,如何科学合理的度量面向对象软件质量已成为软件工程中一个热点问题。目前,针对软件度量的研究很多,但是关于类图度量的研究较少。类图作为软件开发中一种非常重要的模型图,其复杂性对软件质量有着明显的影响。为研究类图的复杂性,将已有的基于OWA算子的多属性决策方法应用于UML类图的度量,提出一种度量UML类图复杂性的新方法,通过OWA算子度量的计算结果,可以有效的对面向对象软件的复杂性进行科学合理的度量。     

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

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

UML建模技术在实验管理系统中的应用研究

统一建模语言UML是面向对象分析和设计过程中重要的建模工具。以实验管理系统的开发为背景,介绍基于UML的分析和建模过程,其中对UML中的用例图、顺序图进行了深入研究。     

UML类图的度量分析与评价

运用CK度量方法和MOOD度量方法分别从类和系统两个角度对UML类图实例实施定量计算,对度量结果进行分析、评价,并提出改进措施.以此衡量UML类图模型质量的好坏,可以及时有效地对有缺陷的类进行调整.     

UML 2.0的新特性以及在选课系统中的应用

介绍了UML2．0规约的修订过程和一些新特性,并且以高校的选课系统为例子,描述了UML2．0中的活动图,用况图,类图,顺序图以及通讯图相对于UML1．0的改进．最后还对UML的未来发展做了客观的分析。