基于JAVA-MOP添加逻辑库的方法和策略

摘要：

本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对出现的若干问题如多进程的调试等提出了自己的解决方案,最后作者示例如何添加基于线性时序逻辑三值语义监控器生成的ltl3逻辑库.

关键词：JAVA-MOP、逻辑库、反射机制、线性时序逻辑、三值语义、ltl3逻辑库

分类号：G4;TQ028.8;TP311.5

在线出版日期：2014-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：35-37