The invention discloses a method and a
system for cylindrical surface calculation based on a modeling
simulation verification language (MSVL), and belongs to the technical field of formal modeling and
verification of a computer
system. According to the method and the
system, a multi-core parallel program
syntax and a semanteme are defined, the concurrent execution of one or more processes is described, and a cylindrical surface
computational model is constructed. An expression of basic
time sequence interval is expanded into an arithmetical expression and a
time sequence expression, the descriptive power is strong, and the processes can be controlled accurately; the explanation of the processes comprises the explanation of a process execution body and the explanation of a
time sequence interval expression, and the time sequence interval expression of the progresses controls the sustaining time sequence interval
granularity of an execution effect of the progress execution body; and the system takes part in parallel explanation of a plurality of progresses by using an MSVL
parallel projection method, and each parallel program is controlled to communicate at an end state point of one explanation of each progress. By the method and the system, a
shared object can be described, multi-core parallel programs can be composed in a convenient and fast controllable mode, and
simulation, modeling and
verification can be performed on the multi-core parallel programs.