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

作　　者：周戈[1] 于康[1] 徐姣[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《中国电子商情（通信市场）》2014年第1期35-37,共3页

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

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

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]