浅谈在实现阶段的软件体系结构研究.docVIP

浅谈在实现阶段的软件体系结构研究 　　摘要:软件体系结构的研究已经超出传统的对软件设计阶段的支持,扩展到软件生命周期的实现阶段。在实现阶段的研究有基于SA的开发过程支持、寻求从SA向实现过渡的途径、基于SA的测试技术等 　　关键词:软件体系结构;软件生命周期;实现阶段 　　 　　On Stage in the Realization of Software Architecture Research 　　LIAO Lei 　　(Hunan International Economics University Experimental Center, Changsha 410205, China) 　　Abstract: Software architecture research has gone beyond the traditional design phase of software support, extended to the implementation phase of software life cycle. In the realization phase of the study the development of SA-based process support and seek to achieve the transition from SA to the way SA-based testing technology 　　Key words: software architecture; software life cycle; implementation phase 　　作为控制软件复杂性、提高软件系统质量,支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。如今,软件体系结构的研究也开始超出传统的对软件设计阶段的支持。最初的软件体系结构SA(software chitecture,简称SA) 往往只关注较高层次的系统设计、描述和性质验证,而对缩小从体系结构层次到系统实现(如代码)层次的鸿沟关注不够。为了有效实现从SA设计向实现的转换,实现阶段的体系结构研究在以下几个方面进行探索:1) 研究基于SA的开发过程支持,如项目组织结构、配置管理等;2) 寻求从SA向实现过渡的途径,如将程序设计语言元素引入SA阶段、模型映射、构件组装、复用中间件平台等;3) 研究基于SA的测试技术。下面主要谈论从SA设计模型到系统实现的过渡。 　　1 从SA设计模型到系统实现的过渡 　　为了填补高层SA 模型和底层实现之间的鸿沟,研究者们提出了若干方法,其主要思想是尽量封装底层的实现细节,并通过模型转换、精化等手段缩小概念之间的差距。有以下几类典型的方法:1) 在SA模型中引入实现阶段的概念,如引入程序设计语言元素等;2) 通过模型转换技术,将高层的SA模型逐步精化成能够支持实现的模型;3) 封装底层的实现细节,使之成为较大粒度构件,在SA指导下通过构件组装的方式实现系统,这往往需要底层中间件平台的支持。 　　1.1 在SA模型中引入实现阶段的概念 　　设计阶段模型一般用ADL来加以描述,为了促进从设计模型向实现阶段的转化,可以在设计阶段引入实现阶段的概念,即在ADL 中引入与实现相关的元素.文献[1]提出了一种新型的体系结构描述语言ArchJava,该ADL是Java语言的扩展,在Java语言中增加了构件、连接子、端口等建模元素用于描述SA模型,文献[2]又将ArchJava和Acme结合起来,并提供支持工具AcmeStudio,可以在设计阶段直接采用Java语言元素进行建模,从而缩短了ADL与程序设计语言的距离。文献[3]将面向对象的类型系统引入到C2 SADL中,并可以在设计阶段通过OO的类、子类型化等概念来规约SA建模元素。在文献[4]所提出的xADL2中,在构件、连接子等基本建模元素的基础上引入了抽象实现的扩展机制作为实现细节的占位符,允许SA 设计人员定义与平台或语言(如CORBA,Java等)相关的数据类型、函数声明等,从而可以在自动化工具的支持下,从SA模型无缝过渡到系统实现。文献[5]中所提出的ABC/ADL,借鉴程序设计语言中的类型。实例关系,区分类型图和(实例)配置图,从而有利于体系结构模型到程序设计语言的转换。上述4种ADL将实现相关信息引入ADL的描述之中,虽然有利于从设计到实现的转换,但需要在ADL中引入诸如类型系统等细节信息,增加了ADL的复杂程度;另一方面也要求设计人员必须考虑到实现细节,在一定程度上增加了设计人员的工作量。 　　1.2 代码生成和模型转换 　　从设计阶段的