【作者】 黄正宝；

【导师】 张广泉；

【作者基本信息】 苏州大学 ， 计算机应用技术， 2006， 硕士

【摘要】 软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的描述。研究软件体系结构的首要问题是如何描述一个软件系统的体系结构。基于此,本文通过把UML 2.0与XYZ/ADL结合起来描述软件体系结构,探索一种将可视化建模语言与形式化方法有效结合的软件体系结构描述的新途径。本文分析和比较了当前国内外常用的软件体系结构描述方法,指出了它们各自存在的问题;分析了UML 2.0与UML 1.X相比在软件体系结构描述方面的优势,确定了用UML 2.0描述软件体系结构概念元素所使用的相关模型元素,给出了UML 2.0与XYZ/ADL在体系结构描述中的元素对应关系;提出了一种通过定义UML 2.0相关视图的XYZ/E语义,把UML 2.0与XYZ/ADL结合起来描述软件体系结构的新方法,并分别定义了UML 2.0的顺序图和状态图的XYZ/E时序逻辑语义;最后通过对一个简单的任务管理系统的体系结构进行描述,把本文提出的结合思想运用到实例系统的描述当中。本文通过将面向对象的可视化建模语言与基于时序逻辑的形式化方法结合起来描述软件体系结构,对软件体系结构描述研究、UML形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。更多还原

【Abstract】 Software architecture is an important research field of Software Engineering and it rises in the 90s of 20th century, It is concerned with the global structure as well as the high-level abstraction description of the software system.The most importment research of software architecture is how to describe software architecture. Based on these,this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining UML 2.0 and XYZ/ADL.In this paper,the disadvantage of several main methods of software architectural description is analysed,the advantage of UML 2.0 compared with UML 1.X in the software architecture description is analysed, the corresponding relationship between UML 2.0 and XYZ/ADL in the architectural description is given and UML 2.0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine UML 2.0 and XYZ/ADL through defining the semantics of XYZ/E for UML 2.0 is composed.In order to realize this method ,the formal semantics of UML 2.0 sequence diagram and state diagram based on XYZ/E are defined.In final,the arcitectural description of a simple dask manager system which uses our method is given.This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic.It contributes to the research of software architecture description and the research of formal semantics of UML as well as the application of formal method in the software development.更多还原