| 集成的Z实时扩展RT-Z及其应用模式 |
| |
| 引用本文： | 陈生庆,张立臣,陈广明.集成的Z实时扩展RT-Z及其应用模式[J].微电子学与计算机,2005,22(6):126-128,131. |
| |
| 作者姓名： | 陈生庆 张立臣 陈广明 |
| |
| 作者单位： | 1. 嘉应学院计算机系,广东,梅州,514015
2. 广东工业大学计算机学院,广东,广州,510090 |
| |
| 基金项目： | 国家自然科学基金(60474072、60174050)，广东省自然科学基金(04009465、010059)，广东省高校自然科学研究项目(Z03024)资助 |
| |
| 摘 要： | 将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如Timed CCS，Timed CSP相结合大大拓展了其在实时并发系统的中的应用能力，不但可以用于需求描述，也可应用于系统设计。在统一语义的背景下使用多种集成方法，其根本目的是适合应用领域的不同特点，本文以RT—Z为基础提出的基本扩展框架对类似集成工作具有普遍意义，最后结合RT—Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。
|
| 关 键 词： | 实时系统 形式化方法 RT—Z |
| 文章编号： | 1000-7180(2005)06-126-03 |
The Real-time Extension of Z and the Application Method |
| |
| CHEN Sheng-qing,ZHANG Li-cheng,CHEN Guang-ming.The Real-time Extension of Z and the Application Method[J].Microelectronics & Computer,2005,22(6):126-128,131. |
| |
| Authors: | CHEN Sheng-qing ZHANG Li-cheng CHEN Guang-ming |
| |
| Affiliation: | CHEN Sheng-qing1,ZHANG Li-cheng2,CHEN Guang-ming1 |
| |
| Abstract: | |
| |
| Keywords: | Real-time system Formalism method RT-Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
