基于描述逻辑的UML行为图的形式化研究

发布时间：2021-03-13 15:25

　　统一建模语言（Unified Modeling Language, UML）是一种通用的图形建模语言,它已成为面向对象分析和设计的工业标准。UML采用元模型、对象约束语言（Object Constraint Language, OCL）和自然语言来描述抽象的语法和语义。元模型的使用严格地描述了UML建模技术的抽象语法，可用于语义描述的基础。OCL适合于表达约束规则，但用于描述动态语义则不容易被理解，也缺乏语义的形式描述。UML在动态语义方面采用直接的自然语言来表达。由于上述三者分别用不同的结构来定义，因此存在着模糊和不一致性等问题。针对上述问题，学者们提出了对UML进行形式化。本文采用扩展后的描述逻辑来对UML活动图进行研究，提高了UML活动图语义的精确性。本文的工作主要有以下3个方面：（1）扩展时序算子。将时序上限和时序下限引入到时序逻辑的时序算子中，使得时序算子可以描述事件的执行过程，并给出了扩展后时序算子的表达形式和线性运算。（2）对活动图进行时间约束。对活动图的边和节点进行时间约束，给出了具有时间约束后的活动图的语法的定义，并引入时间约束区间的概念，扩大了活动图的应用范围。（3... 

【文章来源】：兰州理工大学甘肃省

【文章页数】：56 页

【学位级别】：硕士

【部分图文】：

UML视图的分类下面对上述视图分别做一个简单的介绍

UML+SDL建模过程

扩展子系统的使用(5)FORTS技术[45]

【参考文献】：
期刊论文
[1]基于通信序列进程的UML序列图形式化方法[J]. 邓建波,张立臣,邓惠敏,徐碧红.  计算机应用. 2010(10)
[2]顺序图与状态图的递归语义一致性研究[J]. 周翔,邵志清.  计算机科学. 2010(08)
[3]描述逻辑研究进展[J]. 张燕.  江南大学学报(自然科学版). 2010(01)
[4]一类扩展的动态描述逻辑[J]. 常亮,史忠植,陈立民,牛温佳.  软件学报. 2010(01)
[5]基于SHOIN（D）的UML类图形式化方法[J]. 陈振庆.  计算机工程. 2009(19)
[6]基于CSP的形式化方法研究[J]. 孙麒,张云华.  浙江理工大学学报. 2009(04)
[7]基于rCOS的UML状态图语义研究[J]. 张晓蒙,戎玫,张广泉.  计算机工程. 2009(02)
[8]动态描述逻辑的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  计算机学报. 2008(06)
[9]基于Petri网的UML状态图的形式化模型[J]. 郭峰,姚淑珍.  北京航空航天大学学报. 2007(02)
[10]扩展描述罗辑ALC+到谓词逻辑的转换研究初探[J]. 文斌,甘健侯,夏幼明,徐天任.  云南大学学报(自然科学版). 2006(S2)



本文编号：3080466