基于进程代数的软件体系结构建模、检测与评价研究

来源 :东北大学 | 被引量 : 0次 | 上传用户:lklqlk
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于计算机软件系统规模不断扩大,使得软件系统结构也越来越复杂.软件系统的质量和性能已不再仅仅取决于软件实现算法和数据结构的设计与实现,软件系统体系结构设计和组织在一定程度上决定软件系统的优劣.通过对典型软件体系结构风格的深入剖析,发现不同风格软件体系结构的基础属性特征,并结合Taylor提出的软件体系结构特征框架,给出软件体系结构中组件、连接器和软件体系结构的形式化定义,提出软件体系结构抽象模型.把进程代数(processalgebra)引入到软件体系结构建模中来,把连接器解释成组件运算,并定义了六种组件基本运算,进一步提出了软件体系结构的代数模型.软件体系结构抽象模型和代数模型构成了软件体系结构模型理论体系.给出PEADL建模工具原型PEADL_Kit设计方案和实现方法,重点介绍了编辑_编译器、状态分析器和回报分析器设计思想和实现策略.
其他文献
信息网络设计和信息网络性能评价是网络研究的重要领域,而网络仿真技术是开展网络研究的重要方法。本文针对网络仿真技术在网络设计、网络性能评价方面开展了研究工作,并完成了
面向对象技术作为区别于传统结构化软件技术,由于其在可重用性、可维护性等方面的优点,已被广泛认可,但面向对象的分析和设计技术一直滞后于面向对象的编程技术,许多系统采用
随着网络发展的逐步深入,日常生活中的各种资源信息与网络的关系日益密切,人们对资源共享和资源交换的需求越来越广,快速而有效地交换和共享资源成为人们迫切需要解决的问题之一
随着网络技术的快速发展,网络上涌现了各种信息资源,使得资源共享、网上交易等已成为一种趋势,同时也使得网络的健壮性、稳定性等问题变得越来越突出。搭便车、合谋等恶意攻击已
该论文主要介绍了在实时操作系统iRMX下开发HT-7U数据采集系统中的PCI数据采集系统的工作,PCI数据采集系统具有采集数据量大,实时性要求高等特点,因此在实时操作系统下开发PC
配置管理系统是软件能力成熟度模型(CMM)开发环境中一个重要的基础性工具,它在工作流管理系统的支持下,与项目管理系统相互配合,完成CMM中可重复级的管理活动.配置管理系统由
反绎推理是一种基于逻辑的自动推理技术,并且已经在系统诊断、系统设计、产品规划等领域得到了应用。在人工智能中,反绎推理被作为一种非单调推理模式以弥补经典逻辑中演绎推理
随着因特网用户数量的剧增、多媒体业务的不断普及和信息流量的持续高速增长,利用PSTN网络的传统接入方式的缺陷越来越明显,因此,建设宽带IP城域网,为用户提供宽带接入方式,
移动子集技术是我们的主要研究内容.包括:移动子集在系统中所处的位置和应起的作用;基于语义的移动子集的定义和构造;移动子集的查询处理;移动子集的替换策略和一致性维护策
病虫害预测预报在农业生产中具有重要的地位。本论文采用近年来迅速发展的一种全局优化方法—遗传程序设计(Genetic Programming,简称GP)的原理和思想,结合地理信息技术,设计出