框架时序逻辑语言MSVL中面向对象机制的实现

• 作者: 段振华 王小兵
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 框架 时序逻辑 时序逻辑语言 面向对象程序设计 解释器
• 年，卷（期）: 2010,（3）
• 页码范围: 559-564,575
• 分类号: TP311
• 字数: 5976字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2010.03.031

摘要

针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,绐出了MSVL解释器的实现方案.并发访问共享资源的实例表明,MSVL比其他时序逻辑语言更接近高级语言,并且解释器的实现方案是切实可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小兵	西安电子科技大学计算理论与技术研究所	60	484	12.0	18.0
7	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0