用Z语言形式化扩展事件踪迹图

• 作者: 刘玲 童翠玲 缪淮扣
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 软件体系结构 扩展事件踪迹图 规格说明语言Z 形式化 组件和组件交互
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 3-5
• 页数: 3页
• 分类号: TP3
• 字数: 2634字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2004.11.002

摘要

软件体系结构被看成是现代软件技术的重要因素之一,而一个软件系统结构的的规格说明.扩展事件踪迹图(Extended Events Traces,EETs)是一种用来描述组件交互的图形技术,它允许我们用图来定义结构中经常发生的交互模型,并且在多种上下文中可实例化,因而可以重用.虽然EETs的图形表示很直观,但是语义不够精确,因此,在本文中将使用形式规格说明语言Z来形式化EETs.并且,给出了形式描述EETs的几个应用例子.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	刘玲	上海大学计算机工程与科学学院	20	211	8.0	14.0
3	童翠玲	上海大学计算机工程与科学学院	1	3	1.0	1.0