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

• 作者: 于康 周戈 徐姣
• 来源期刊: 中国电子商情·通信市场
• 关键词: JAVA-MOP 逻辑库 反射机制 线性时序逻辑 三值语义 ltl3逻辑库
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 2014全国计算机网络与通信学术会议大会优秀论文集
• 页码范围: 35-37
• 页数: 3页
• 字数: 1590字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于康	国防科学技术大学计算机学院	2	11	1.0	2.0
2	周戈	国防科学技术大学计算机学院	1	0	0.0	0.0
3	徐姣	国防科学技术大学计算机学院	2	0	0.0	0.0