基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

• 作者: 张广泉 舒明 郑建丹
• 来源期刊: 重庆师范学院学报(自然科学版)
• 学科: 工学
• 关键词: 时态逻辑语言 XYZ/E 软件体系结构 组件 连接件
• 年，卷（期）: 2001,（3）
• 所属期刊栏目: 理论与应用研究
• 页码范围: 1-4
• 页数: 4页
• 分类号: TP311
• 字数: 2907字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6693.2001.03.001

摘要

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	重庆师范学院数学与计算机科学系	65	658	13.0	24.0
5	郑建丹	中国科学院软件所计算机科学开放研究实验室	4	116	4.0	4.0
6	舒明	中国科学院软件所计算机科学开放研究实验室	1	4	1.0	1.0