程序属性的UniNet描述

UniNet Description of Program

在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序。为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序。

In classic modeling methods, there is no any relationship between operation and self-control of program that results in more than one specification for program in design phase, and thses specifications describe one aspect from one point of view. To overcome these disadvantages, this paper uncovers the fact that operations and states as well as operations and controls are coexist, meanwhile, the program can be described completely and soundly by UniNet.