| 用Z语言形式化扩展事件踪迹图 |
| |
| 引用本文： | 童翠玲,缪淮扣,刘玲. 用Z语言形式化扩展事件踪迹图[J]. 计算机应用与软件, 2004, 21(11): 3-5 |
| |
| 作者姓名： | 童翠玲 缪淮扣 刘玲 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072;上海大学计算机工程与科学学院,上海,200072;上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金项目(批准号:60 1 730 30 )，上海市教委科学与技术发展基金(批准号:0 2AK0 8)资助 |
| |
| 摘 要： | 软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 ,给出了形式描述EETs的几个应用例子
|
| 关 键 词： | 软件体系结构 扩展事件踪迹图 规格说明语言Z 形式化 组件和组件交互 |
| 修稿时间： | 2003-07-15 |
FORMALIZING EXTENDED EVENTS TRACES USING FORMAL SPECIFICATION LANGUAGE Z |
| |
| Tong Cuiling Miao Huaikou Liu Ling. FORMALIZING EXTENDED EVENTS TRACES USING FORMAL SPECIFICATION LANGUAGE Z[J]. Computer Applications and Software, 2004, 21(11): 3-5 |
| |
| Authors: | Tong Cuiling Miao Huaikou Liu Ling |
| |
| Abstract: | |
| |
| Keywords: | Software architecture Extended events traces Specification language Z Formalizing Component and component interactions |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
