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

Discussion on Process Modeling Method Based on Pi

作　　者：谢宇[1] 何雪锋[1] 

机构地区：[1]四川信息职业技术学院信息工程系,四川广元608040

出　　处：《自动化技术与应用》2016年第4期118-120,共3页Techniques of Automation and Applications

摘　　要：传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多漏洞。本文针对这一现状,分析和探讨了形式化方法的优势,以形式化语言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.

关 键 词：自然语言 形式化语言 Pi验算 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]