PAR方法应用于管理信息系统开发方法初步研究.pdf

PAR力法应埘f管理信息系统开发，心法灼初步研究 摘要 形式化方法对提高软件的正确性、可靠性意义重大，可大幅度减少软件的后 期维护费用，但由于设计周期和人员素质的限制，以及使用形式化符号系统进行 迁骥接理是一j：i{穗当霆难豹王佟，影式纯方法未麓在实羯软{孛开发中褥到广泛应 用。 为了研究形式化方法在实用软件丌发当叶『的应用，本文以薛锦云教授提出的 算滋程序设计、攘导和证明的PAR方法及其语言翻转按工具为基磁，选取江西 省魏然辩学基金管理信息系统{乍为研究瘸铡，研究了PAR方法在管王鏊信患系统 (MIS系统)开发中的应用，从系统需求规范的形式化摘述，核心算法的形式化 丌发和转换，扩充Apla语言中数据库描述机制并研制Apla—SQL自动程序转换 系绞等蔻令方嚣搏了霹步熬磅究帮援索。 在MIS系统的需求建模方面，我们尝试肴采用PAR方法中严格定义的形式 化谱占Radl描述MIS系统及其行为模式，刻画MIS系统的性质，建立MIS系 绫的数学模型，从丽提高了MIS系统需求娥范的清晰憔秘精确性，及早发现需 求中隐藏静趣范和设计缺陷，在系统梅建敬初期柱绝了大部分错误的产生。这部 分研究为构建高质量的软件需求模型做出了有益的探索。 在MIS系统昀核心算法开发方面，我们以PAR方法中严格定义的抽象程序 没诗语言Apla添富为源语言，麓可靠洼郝磐蓐为支转鏊继，r开发了MIS系统戆 几个智能算法，并利用Apla—Delphi自动程序转换系统将抽象算法谱苦Apla描 述的智能算法自动转换到了可执行高级语言Delphi描述的智能算法。由于在抽 象鼷次上关注黧法豹棱心实骥，这磅_开发方法极大地提*凌了软{串的开发效率，荠 绦诞了系统的话确性和可靠髓。 在MIS系统的数据库丌发方而，作为PAR方法的探索性研究方向，我们分 柝了数据库应用的特点以及标准查询语言SQL的特征，在得到Apla谗言和SQL 豹对应关系懿綦疆土扩充了Apla语言中懿数舞瘁接盂叁瓿潮，劳聿奄建了Apla— SQL自动程序转换系统。我们将Apla—SQL自动程序转换系统应用到了实际 MIS系统的开发当中。在转换器的帮助卜，我们不再需要编写大量为操作数据库 丽孬矮动工作瓣代鸦，提高了王{睾效率。 我们的研究溅孵：将PAR方法应用予MIS系统玎发，既降低了软件开发的 复杂度，又提高了软件本身的正确性和l叮靠性。 关键试：PAR方法管理信患系统开发方法 黎蛰弗静、导耀弼澈 船套文酋右 PAR方法应州】i管理信息系统开发方法的初步研究 Abstract Itis offormalmethodto correctand of important improve softwareand reliability decreasemaintenancecostof greatly software．Becauseoflimitationof designcycle and and of and with personalability formal difficultyprovingreasoning symbol methodhasnot used in system，formal been software widelypracticabledevelopment． Base