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.