A function calling method based on temporal logic language msvl

Abstract

The invention discloses a function call method based on a temporal logic language MSVL (modeling, simulation and verification language). The method includes: firstly, judging whether a called function is an MSVL function, an external function with a return value or an external function without a return value in type, and defining the called function or modifying the definition thereof according to different function types; secondly, judging the position of the called function, and calling the function via different modes according to different function call positions and the corresponding called function type. By the method, the called function is explained with different modes in the same program; the function compiled with the C language and the Java language can be called in the MSVL program, integration of various different programming language programs is facilitated, difficulty in program development is lowered effectively, and code reuse rate is increased.

Description

technical field [0001] The invention belongs to the technical field of formal modeling and verification of computer systems, and mainly relates to the realization of logic programming language, in particular, a method of calling functions based on sequential logic language MSVL, which can be used to call other various programs in MSVL programs. Language program is conducive to code reuse and integration, and simplifies program design. Background technique [0002] In 1977, A. Pnueli introduced temporal logic into the field of computer science, mainly for modeling and verification of real-time and concurrent systems. After nearly 40 years of research, the field of temporal logic has been greatly developed, forming three branches: linear temporal logic (Linear Temporal Logic), branching temporal logic (Branching Temporal Logic) and interval temporal logic (Interval Temporal Logic) . [0003] Projection Temporal Logic is a kind of interval temporal logic. The meaning of an in...

AI Technical Summary

Problems solved by technology

Function is a very useful building block in program design. Function can effectively encapsulate data and operations, and only provides a simple function interface to the outside world. When the program needs to perform the same function, it can directly call the written function. Instead of rewriting the code, thereby improving the code reuse rate, simplifying the program design, and making the program more concise and refined, but the implementation method of function definition and calling has not been given in MSVL, this defect brings inconvenience to MSVL program design, and at the same time Causes MSVL programs to be lengthy and difficult to understand

Images