判断题 出现在过程定义中的某些名字是特殊的，它们被称为该过程的形式参数，简称形参。

判断题 过程名出现在调用语句中则称这个过程在该点被调用。

判断题 过程定义是一个声明，它的最简单形式是将一个名字和一个语句联系起来，该名字是过程名，而这个语句是过程体。