（计算机应用技术专业论文）基于构件的形式化方法在软件开发中的应用研究

《（计算机应用技术专业论文）基于构件的形式化方法在软件开发中的应用研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、’_^f，●ClassifiedIndex：U．D．C：ADissertationfortheDegreeofM．EngResearchofApplicationonComponent·-BasedFormalMethodonSoftwareDevelopmentCandidate：WangYongweiSupervisor：Prof．YangJingAcademicDegreeAppliedfor：MasterofEngineeringSpeciality：ComputerAppliedTechnol

2、ogyDateofSubmission：January7th，2010DateofOralExamination：March12th，2010University：HarbinEngineeringUniversity—d，，，▲哈尔滨工程大学学位论文原创性声明本人郑重声明：本论文的所有工作，是在导师的指导下，由作者本人独立完成的。有关观点、方法、数据和文献的引用已在文中指出，并与参考文献相对应。除文中已注明引用的内容外，本论文不包含任何其他个人或集体已经公开发表的作品成果。对本文的研究做出重要贡献的个

3、人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。作者(签字)：王豪形日期：≥口fp年f月7日学位论文授权使用声明本人完全了解学校保护知识产权的有关规定，即研究生在校攻读学位期间论文工作的知识产权属于哈尔滨工程大学。哈尔滨工程大学有权保留并向国家有关部门或机构送交论文的复印件。本人允许哈尔滨工程大学将论文的部分或全部内容编入有关数据库进行检索，可采用影印、缩印或扫描等复制手段保存和汇编本学位论文，可以公布论文的全部内容。同时本人保证毕业后结合学位论文研究课题再撰写的论文一律注

4、明作者第一署名单位为哈尔滨工程大学。涉密学位论文待解密后适用本声明。本论文(口在授予学位后即可＼g在授予学位12个月后口解密后)由哈尔滨工程大学送交有关部门进行保存、汇编等。作者(签字)：王象节导师(签字)：彳锄日期：力oI口年f月-＼日)oto年1月．1日，，j一}l-哈尔滨丁程大学硕十学位论文摘要基于构件的软件开发是提高软件生产率、提高软件质量、解决软件危机的重要方法，是软件复用领域的研究热点；解决软件危机的另一方面是如何建立严格的数学方法，如何进行形式化软件开发。如何将基于构件的软件开发和形式化方

5、法相结合是软件开发发展的重要方向。鉴于基于构件的软件开发缺少严密的数学推理，没有形式化的规格说明，大部分开发过程采用自然语言进行描述，本文给出了基于构件的形式化软件开发模型，重点研究该模型中需求分析的形式化、设计阶段软件体系结构、形式化构件模型及形式化构件交互。针对传统软件开发中需求分析不准确和二义性等问题，使用Z语言对需求分析形式化表示进行了扩充，并通过实例对形式化表示进行了说明，其具有消除需求分析的二义性和不一致性的能力。需求分析关注如何刻画问题空间，软件体系结构关注如何刻画解空间，如何根据需求分析

6、获得软件体系结构没有定论，文中给出了一种基于功能和三层开发框架获取概要设计软件体系结构的方法。针对现阶段构件接口定义中构件行为和交互协议信息缺乏，利用形式化语言sessiontype定义了构件、连接子以及构件交互语义，完成了详细设计阶段软件体系结构的精化，增强了构件接口信息的描述能力。最后，将基于构件的形式化软件开发模型应用于某公司OA中的办公用品管理系统开发，结果表明该模型具有一定的可行性和适用性，且具有一定的实际应用价值。关键词：构件模型；连接子；形式化；2语言；sessiontype．．0■．j●

7、0哈尔滨T稗大学硕十学位论文AbstractComponent·basedsoftwaredevelopmentisarlimportantmethodtoimprovesoftwareproductivityandquality,andsolvesoftwarecrisis．Itisaresearchfocusoftheareaofsoftwarereuse，anditskeytechnologyisthesoftwarearchitectureandcomponentmodel．Itistheoth

8、erwaytosolvesoftwarecrisisbowtoestablishastrictmathematicalmethodstoconductformalsoftwaredevelopment．Itisanimportantdirectionofsoftwaredevelopmentthatbowtocombinecomponent-basedsoft：waredevelopmentandformalmethods．Componen