UNITY与典型程序设计模型的比较

Compared with Typical Programming Models in UNITY

UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。

UNITY is a simple unified theory,computational model and proving system,and has expressive power in rep-resenting programs for a variety of architectures.This paper firstly introduces UNITY,secondly analyzes the differences between UNITY and the typical programming models(say Functional,Imperative,Logical,Rule-based,Petri,CSP),and gives their equivalent program transforms compared with UNI TY,UNITY is not versatile,the improving strategy is pur-posed in Seuss.