基于Pi验算的流程建模方法探讨

Discussion on Process Modeling Method Based on Pi

传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多漏洞。本文针对这一现状,分析和探讨了形式化方法的优势,以形式化语言Pi验算描述交互为例,演示了形式化方法的准确性和采用形式化方法的必要性。

The traditional software development in the demand stage is the use of natural language description, because of the nature of the contradiction between the language itself and the ambiguity of semantics in the late running, it is difficult to avoid a lot of software vulnerabilities. This paper analyzes and discusses the advantages of formal methods, demonstrates its accuracy, its necessity of using and describes the advantages of formal language Pi.