基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究

发布时间：2023-10-18 19:42

　　在统一建模语言(Unified Modeling Language)UML2.0规范中，模型的语法是通过元模型以类图形式定义的，静态语义用对象约束语言(Object Constraint Language)OCL描述，动态语义直接用英文的自然语言表达。采用这种方法描述的动态语义，存在着不完全、不一致、模糊性等缺陷，为软件开发的后续工作带来了不利影响：不利于对复杂系统的模型进行严格的语义分析和正确性验证。顺序图是统一建模语言UML定义的动态图中最重要的图形之一，给出其准确、完整、一致的语义将有利于对复杂系统的模型进行严格的语义分析和正确性验证，从而给软件的后续开发提供帮助。 UML 2.0版本定义的顺序图用来描述对象之间的动态交互关系，着重体现对象间消息传递的时间顺序却没有严格的时间限制，因此用一个合适的时序逻辑描述语言来给出它的语义是可行的。XYZ／E是一个可执行线性时序逻辑语言，既可描述系统的动态行为又可表示程序性质。对顺序图进行形式化规约后，就可在统一的时序逻辑框架下分析顺序图的性质。 UML2.0顺序图的组成元素用XYZ／E很难直接表示出准确、完整、一致的语义，因此本课题的一个关...

【文章页数】：54 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 前言
    1.1 综述
    1.2 研究现状介绍
    1.3 研究方法和目标以及本文的组织安排
第二章 形式化方法与时序逻辑语言XYZ/E
    2.1 形式化方法与规范语言
    2.2 线性时序逻辑语言XYZ/E简介
    2.3 XYZ/BE的组成成分介绍
第三章 统一建模语言UML及其顺序图
    3.1 统一建模语言UML
    3.2 UML2.0顺序图介绍
    3.3 对象约束语言OCL(Object Constraint Language)
第四章 从顺序图到并发控制流图的转换
    4.1 为顺图选择合适的控制流模型
    4.2 UML2.0活动图
    4.3 并发控制流图(CCFG)
    4.4 从顺序图到并发控制流图CCFG的转换规则
第五章 用 XYZ/E描述基于 CCFG的UML2.0顺序图的语义
    5.1 CCFG的语法与约束
    5.2 CCFG的形式化语义
    5.3 案例研究:图书管理系统
第六章 总结
参考文献
攻读学位期间的研究成果
致谢



本文编号：3855072