UML交互图到Contract规格说明的转换及其程序实现

发布时间：2021-05-15 14:55

　　Contract是一种形式化规格说明语言,用于说明相互协作完成某种功能的一组对象间的行为依赖关系。在面向对象软件开发中可用于作为系统的簇级规格说明,说明系统中类间的交互。它显式地说明了对象之间的消息传递,方便于用来进行面向对象的软件测试。一种系统性的面向对象软件测试方法——TACCLE,就基于它作为簇级规格说明,进行面向对象软件的簇级测试。但作为形式化规格说明,它要求使用者（包括系统分析员、设计员和测试员）的数学训练较好,因此在产业界较难普及。UML是当前主流的建模语言,比较直观,方便理解,正在被越来越多的开发人员掌握。UML交互图（包括Sequence图和collaboration图）说明了系统中的对象之间的交互,通过从UML交互图到Contract规格说明的转换,就可以使用TACCLE方法对以UML为规格说明的软件系统进行测试。 本文给出了从UML交互图到Contract规格说明的转换算法。考虑到目前各UML工具都没有完全实现UML所有语法,本文也同时给出了在UML的普遍实现形式下的转换算法,以及在此实现形式下,用XML表示的UML模型的交互图到Contract规格说明的转换... 

【文章来源】：暨南大学广东省 211工程院校

【文章页数】：61 页

【学位级别】：硕士

【文章目录】：
一、前言
二、本文的主要工作和结构安排
三、Contract规格说明
四、UML
    4.1 简介
    4.2 UML交互图
        4.2.1 Sequence diagram
        4.2.2 Collaboration diagrama
五、UML交互图到Contract规格说明的转换算法
    5.1 与转换相关的元模型元素
    5.2 转换算法
六、普遍的UML实现形式下的转换算法
    6.1 普遍的表示法以及实现形式
        6.1.1 Sequence图和Collaboration图中消息的标注
        6.1.2 Action和Operation
    6.2 转换算法
七、从XML表示的UML交互图到Contract规格说明的转换算法
    7.1 XMI的运用
        7.1.1 XML
        7.1.2 XMI
    7.2 UML交互图中模型元素在XML文档中的表示
    7.3 转换算法
八、原型实现及实例
    8.1 实现算法
    8.2 数据结构
    8.3 试验结果
九、结论
参考文献
致谢


【参考文献】：
期刊论文
[1]一种基于UML序列图的状态图合成方法[J]. 褚华,李青山,陈平,郭俊丽.  系统工程与电子技术. 2005(03)
[2]基于元模型架构的UML类图到PVS规范的转化方法[J]. 潘乐云,刘飞,马范援.  上海交通大学学报. 2004(S1)
[3]基于MDA的UML模型转换技术——从顺序图到状态图[J]. 史耀馨,崔萌,李宣东,郑国梁.  计算机工程与应用. 2004(13)
[4]UML序列图的Z形式规范[J]. 李景峰,李琰,陈平.  西安电子科技大学学报. 2002(06)



本文编号：3187838