论文部分内容阅读
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件.本文讨论如何通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.
基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述
【摘 要】
：
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构
【机 构】
：
重庆师范学院数学与计算机科学系,重庆,400047中国科学院计算机科学重点实验室,北京,100080;中国科学院计算机科学重点实验室,北京,100080;
【出 处】
：
重庆师范学院学报(自然科学版)
【发表日期】
：
2004年期
其他文献