基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述* (2002年)

【文件属性】：

文件名称：基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述* (2002年)

文件大小：512KB

文件格式：PDF

更新时间：2024-06-15 07:56:22

自然科学 论文

XYZ/E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构，文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合，来表示几种重要的软件体系结构风格。