Implementation of objected-oriented mechanism in framed temporal logic language MSVL
Zhenhua Duan · Journal of Xidian University · 2010
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.