In this paper, an extended projection temporal logic(EPTL), based on a primitive operator prj , is formalized. Further,
as an executable subset of EPTL, an object-oriented MSVL is presented, which extends the temporal logic programming
language MSVL to support object, class, aliasing, inheritance and overloading features. An example of modeling and
simulating digital signal processing is given to illustrate how to use and execute the language.