This paper discusses formal description style of communication protocol for computer networks.

研讨计算机网络通信协议的形式描述风格.

Ontology as a share concept of a particular area of the formal description is widely used in many areas.

本体作为某个特定领域重要概念共享的形式化描述被广泛应用于多个领域。

The structure of its supporting process is introduced firstly, and then the formal description is given, so a new SPM (software process model) is constructed.

介绍了该方法支撑过程的基本构造，对其进行了形式化的描述，形成了新的软件过程模型。