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

Implementation of objected-oriented mechanism in framed temporal logic language MSVL

作　　者：王小兵[1,2,3] 段振华[1] 

机构地区：[1]西安电子科技大学计算理论与技术研究所,陕西西安710071 [2]西安电子科技大学综合业务网理论及关键技术国家重点实验室,陕西西安710071 [3]武汉大学软件工程国家重点实验室,湖北武汉430072

出　　处：《西安电子科技大学学报》2010年第3期559-564,575,共7页Journal of Xidian University

基　　金：国家重点基础研究发展计划973资助项目(2010CB328102);国家自然科学基金重大国际合作资助项目(60910004);国家自然科学基金资助项目(60873018);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE20080713);陕西省科技攻关计划资助项目(2009K01-36);中央高校基本科研业务费专项资金资助项目(JY10000903004;JY10000903014)

摘　　要：针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解释器的实现方案.并发访问共享资源的实例表明,MSVL比其他时序逻辑语言更接近高级语言,并且解释器的实现方案是切实可行的.In order to overcome the shortages which the available temporal logic programming languages have such as existence of the frame problem, lack of object-oriented mechanisms and high formalization, the framed temporal logic language MSVL is defined, which includes some techniques such as new frame operator, await statement, nondeterministic choice statement, and object-oriented programming. The implementation plan for the interpreter for MSVL is proposed based on the normal form and normal form graph. An example for concurrent access to shared resources shows that MSVL is much more similar to high level programming languages than other temporal logic languages, and that the implementation plan for the interpreter is workable.

关 键 词：框架 时序逻辑 时序逻辑语言 面向对象程序设计 解释器 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]