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

《自动化技术与应用》2016年第35卷第4期 行业 应 用 与交流 ndustdalApplicationsandCOmmunicatiOns 基于Pi验算的流程建模方法探讨 谢 字 ，何雪锋 (四川信息职业技术学院信息工程系 ，四川 广元 608040) p 摘 要 ：传统的软件开发在需求阶段多是采用自然语言描述 ，因为 自然语言 自身的矛盾性和语义的模糊性等 ，在后期的运行中， 难以避免软件的很多漏洞。本文针对这一现状 ，分析和探讨了形式化方法的优势 ，以形式化语言Pi验算描述交互为例 ， r 演示了形式化方法的准确性和采用形式化方法的必要性。 关键词 ：自然语言 ；形式化语言 ；Pi验算 f 中图分类号 ：TP399 文献标识码 ：A 文章编号 ：1003—7241(2016)04—0118—03 P DiscussionOnProcessModelinflMethodBasedOnPi XIEYu，HEXue-feng e (Departmentofinformationengineering，SichuanInformationTechnologyCollege，Guangyuan608040China) l Abstract：Thetraditionalsoftwaredevelopmentinthedemandstageistheuseofnaturallanguagedescription，becauseofthenature o ofthecontradictionbetweenthelnaguageitselfandtheambiguityofsemanticsinthelaterunning，itisdifficulttoavoid alotofsoftwraevulnerabilities．Thispaperanalyzesanddiscussestheadvantagesofformalmethods，demonstratesits i accuracy,itsnecessiytofusinganddescribestheadvnatagesofformallanguagePi． Keywords：naturallanguage；fomr allna guage；Picheckingcomputations g 1 引言 的威胁 。 软件的开发过程大致有如下步骤 ：需求分析、功能 可以通过建立严格的编程规范 ，早期及时的沟通 ， 设计、编码和调试、维护和升级。我们都期望开发的软 尽早发现设计缺陷 ；可 以研究好用的开发语言 ，提供开 s发人员的开发素养等。但是这样仍然不彻底解决软件开 件质量稳定 ，可靠性高 ，并且开发成本低、效率高。但 P 发的问题。因为前期设计是 自然语言编写的文档 ，后期 是现实却不太乐观 ，经常有项 目超 出预算 ，延误时间 ， 尤其在后期的使用中发现前期设计的错误 ，需要花费很 结果是形式化的程序 ，好的文档只能保证用户容易理解 大的代价更正。发布运行的软件总会存在着很多错误 ， 系统的需求和方便沟通 ，但是难以进行严格的分析和推 时长崩溃 ，维护成本特别大。 理。包括后期的测试也不可能完全排查系统的缺陷。因