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

作者：王小兵; 段振华

来源：西安电子科技大学学报, 2010, (03): 559-564+575.

• 框架
• 时序逻辑
• 时序逻辑语言
• 面向对象程序设计
• 解释器 framing
• temporal logic
• temporal logic language
• object oriented programming
• interpreter

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

• 单位
  武汉大学; 综合业务网理论及关键技术国家重点实验室; 软件工程国家重点实验室; 西安电子科技大学