论文部分内容阅读
软件体系结构作为20世纪90年代国际软件工程领域出现的一个新兴的重要研究方向,已经成为软件工程界的一个研究热点,同时也已发展成为软件工程的一个独立研究分支。软件体系结构描述是软件体系结构中一个非常重要的研究内容。如何用适当的方法把软件体系结构详细精确地描述出来,这不仅影响着开发人员之间对软件体系结构的理解和交流,更影响到后续分析、求精、验证等工作。目前主流的软件体系结构描述方法有两类,分别是形式化描述和可视化描述。形式化描述严格精确,以软件体系结构描述语言ADL为代表;可视化描述清楚直观,以UML为代表,两者在描述软件体系结构方面具有很强的互补性,于是对ADL和UML结合问题的研究成为目前软件体系结构描述领域的热点。基于此,本文开展了对基于时序逻辑的软件体系结构描述语言XYZ/ADL和UML之间的双向转换问题的研究,通过研究二者之间的转换,实现将基于时序逻辑的形式化方法与面向对象的可视化建模语言相结合描述软件体系结构,来探讨如何将形式化方法应用于实际的软件开发过程中,这样不但能促进对当前软件主流技术的研究,而且能促进对形式化开发方法的研究。本文具体工作如下:从XYZ/ADL到UML的转换,首先定义了XYZ/ADL的语义基础——XYZ/E的基本结构到UML的转换规则,接着通过分析XYZ/ADL的设计元素和UML建模元素之间的语义相似,定义了二者之间的转换规则,并用UML的扩展机制和对象约束语言OCL描述进一步的约束来完善相应的转换过程;另外对于从UML到XYZ/ADL的转换,本文着重对UML类图进行研究,定义了从UML类图到XYZ/ADL的转换机制,也对UML2.0新增加的组成结构图到XYZ/ADL的转换进行了定义,同时亦对国内已经开展的UML状态图、活动图、顺序图到XYZ/E的转换机制研究作了简要介绍。相应的,本文分别以蒸汽锅炉系统和运输业务管理系统为例来说明了本文定义的转换规则的可行性和实用性。