导 师: 唐稚松
学科专业: H12
授予学位: 博士后
作 者: ;
机构地区: 中国科学院软件研究所
摘 要: 随着软件系统愈来愈复杂,软件设计的核心已从"算法+数据结构"转向对系统总体结构的设计和规范,亦即软件体系结构这一层次上的设计.体系结构是软件系统的高层抽象,用于描述整个系统的结构和行为.目前,软件体系结构已发展为软件工程的一个重要研究领域.XYZ/E是一种可执行的时序逻辑语言,其最基本的特征是可以在统一的时序逻辑框架下表示从形式化规范到可执行程序的不同抽象层次的系统描述,亦即它既能表示程序的动态语义,又能表示规范的静态语义;XYZ/E的这一特征可以应用于软件体系结构的描述、求精与设计中.该文工作主要集中于软件体系结构的描述、求精与设计工具等方面的研究.