【摘 要】
：
软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的描述。研究软件体系结构的首要问题是如何描
论文部分内容阅读
软件体系结构是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形式语义研究和形式化方法在软件开发中的应用等方面都有一定的推动作用。
其他文献
随着社会的进步与经济的快速发展,城市交通拥挤甚至堵塞现象日趋严重,成为现代城市发展的主要瓶颈之一,交通安全事故频发亦引起各国社会的普遍关注。在这种情况下,人们开始进
现代互联网每日产生大量的数据,引发了对大规模数据处理的需求。面对海量的数据,研究者们提出了新形式的分布式文件存储系统,并且基于文件系统之上提出了并行的计算方式解决
物联网作为继计算机互联网之后第三次世界信息产业浪潮,通过各种信息传感设备与互联网联系在一起,按约定的协议,让所有物品都能够被感知和控制,实现智能化的识别、定位、跟踪
目前，P2P已经作为一种流行的网络技术被越来越多地应用于文件共享、分布式计算、资源搜索等领域。P2P系统以其资源共享程度高、节点独立、自适应性强等优点吸引着越来越多的用
中间件的研究与发展为开发分布式应用提供了有效的支持,但随着应用的深入,在许多分布式系统中,比如军事指挥系统、电信监管系统、多媒体系统等等都提出了对实时的需求。传统
随着基于用户位置的服务(Location-Based Service, LBS)研究的日益深入,用户对LBS的需求日趋丰富。例如在智能交通领域,自动驾驶技术不仅需要解决普通的位置定位技术,更重要
程序设计语言考试中的自动化试卷评分技术是一项非常有意义的研究课题,是在线考试系统的关键技术,因其涉及多方面的理论知识而成为技术难点,目前在该领域内,实用性好而且功能
随着对存储系统的存储容量、IO速度、系统安全性和可用性等方面要求的不断提高,传统的网络存储技术(如NAS,SAN等)由于存在诸多局限性,不能很好的满足大规模分布存储系统的需
随着网络应用的快速增长，用户对通信系统提出了快速、支持多业务并发和支持多协议的要求，致使现代通信设备中的嵌入式系统十分复杂。针对3GBSS软件系统的模块测试、集成测试以
公共对象请求代理体系结构(Common Object Request Broker Architecture, CORBA)技术是一种面向分布对象计算的中间件技术,具有很好的互操作性、平台无关性等优点,特别适用于