基于时态逻辑的UML交互模型检测研究

发布时间：2021-09-03 21:59

　　该文详细介绍了统一建模语言和模型检测技术,在此基础上,该文研究了基于交互自动机和时态逻辑的UML交互模型性质检测方法,提出了模型检测所需的Marking算法。该算法通过对交互自动机全部状态的遍历,检测各状态的时态逻辑公式（CTL公式）的真值,以判断用户设计的UML交互模型是否符合计算机软件系统应满足的性质及规范。 

【文章来源】：电脑知识与技术. 2008,4(34)

【文章页数】：3 页

【部分图文】：

。过继承 UML::定义即可知道息序列。 在一

测试了算法的随记录的增加时间的变化(时间复杂性)，将测试数据库的元组数从 1000 开始，逐渐递增到 5000。 两算法的时间复杂性数据曲线如图 1 所示，从图中矿业发现，两个算法的时间复杂性均较好， 不过随数据库规模的增大， 针对 FP 算法的改进OLAP 结构算法在执行时间更为迅速， 而且在时间的增长上更为平缓一些，所以本论文提出的改进算法是可行的。5 结语该文中首先对数据仓库、OLAP、 相关规则的挖掘进行了总体的介绍，其次全面讨论了 OLAP 相关规则挖掘的结构，最后讨论了基于 FP 算法改进

【参考文献】：
期刊论文
[1]基于B语言的UML形式化方法[J]. 周欣,魏生民.  计算机工程. 2004(12)
[2]基于TCOZ的UML用例图的形式化模型[J]. 许维新,虞慧群.  华东理工大学学报. 2004(01)



本文编号：3381934