软件体系结构求精研究new

《软件体系结构求精研究new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、维普资讯http://www.cqvip.com第l8卷第9期计算机技术与发展V【)ll8N0．92008年9月(X)MPL兀1FRTECHN{)IX；YANDDEVEL)PMENTD．2008软件体系结构求精研究李伟，李长云(湖南工业大学计算机与通信学院，湖南株洲412008)摘要：为了保证软件质量，提高软件可靠性、可重用性和可维护性，软件体系结构这一概念自提出以来就得到广泛关注，成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法，连接了体系结构分析到具体实现之间的鸿沟，从而有效地保证了软件体系结构的层次性和可跟踪性。良好

2、的软件体系结构求精方法使得软件开发自动化．加速软件产品的交付过程，降低软件成本，以及提高软件质量。针对体系结构求精研究的主要内容，较系统地阐述了几种体系结构求精分类方法，并对求精检测的相关内容作了介绍，最后是对体系结构求精以后工作的展望。关键词：软件体系结构；求精；模型检测中图分类号：11)311文献标识码：A文章编号：1673—629X(2008)09—0079—04Research0nSoftwareArchitectureRefinementLIWei，LIChang—yun(CollegeofComputerandConmmnication，Huna

3、nUni、，ersityofTechnology，Zhuzhou412008，China)Abstract：Inordertoimprovethequality，reuseandmaintenanceofsoftware，softwarearchitecturegraduallybecom~animportantre—searchfieldofsoftwareenginesinceitwaspresented．Asafomaalmethodfmmabstractiontoconcretion．architecturerefinementcould&,kstt

4、rethelevelandtracea1)ilityofsoftwarearchitectureandwellrefinementmethodcanspeedupthesoftwaredeliveryandcutdownthecc：~t，．soastoimprovethequalityofsoftware．Severalmethodsofarchitecturerefinementareillustratedandrefinementcheckingisintro—ducedinthispaperIntheend，theresearchofarchitect

5、urerefinementisforecasted．Keywords：softwarearchitecture；refinement；modelcheckingO引言实现的软件体系结构J。由于求精是由抽象到具体的随着用户对软件产品性能需求的不断增加，软件一个过程，抽象层次和具体层次之间的求精关系能够的规模也越来越大，复杂性也越来越高，从而使得开发保证应用的完整性和一致性。同时，对SA的求精研具有高可靠性、强适应性的软件产品也越来越难。为究支持软件的动态演化，并且可为其提供理论基础。了保证软件质量，提高软件可靠性、可重用性和可维护体系结构求精方法一般都以形式化

6、方法为基础，性，软件设计的核心从“算法+数据结构=程序”的传为能够将形式化方法应用于实践，除了要有描述语言统模式转向对系统的总体结构即软件体系结构(Soft—和开发方法之外，还需要有一种工具来支持整个求精wareArchitectures，SA)的设计和规范，软件体系结构过程。然而用于语法和类型检测的工具仅在描述阶段研究发展成为软什工程的一个重要领域一J，体系结构有用，在分析阶段则采用理论验证和模型检测两种方求精为其中的一项重要工作。体系结构求精(Archi—法来支持形式化方法的应用。文中从几个方面较系统tectureRefinement)是指在对软件体系结

7、构进行抽象地介绍了体系结构求精方法，并展望了以后的研究。描述之后对其分层细化、逐层求精，直至形成具体的可l体系结构求精的重要性收稿日期：2007—1：一21最初设计得到的体系结构模型是对系统的高层抽基金项目：国家自然科学基金资助项目(60773110)；湖南省教育厅象，是非常粗糙的，需要对该模型进行逐步的求精从而优秀青年项Ej(06B023)；湖i柯省学位研究生研究课题(06B28)；湖得到比较精确的体系结构模型来满足对系统质量的较南1=业大学博I：基金资助项}1高要求，并且保证不同抽象层次的语义完整性和平台作者简介：李伟(1983一)，女．河萄沁阳人，硕士

8、研究生，研究方向一致性。这是因为最初的体系结构模型并