| 多视点实时形式化方法的应用模式 |
| |
| 引用本文： | 陈生庆,陈广明.多视点实时形式化方法的应用模式[J].青海师范大学学报(自然科学版),2005(3):32-36. |
| |
| 作者姓名： | 陈生庆 陈广明 |
| |
| 作者单位： | 嘉应学院,计算机系,广东,梅州,514015 |
| |
| 摘 要： | RT-Z结合了Z的状态描述能力和Timed CSP对并发实时进程的描述能力，成为一种有效的实时并发软件的开发手段。RT-Z不但是一种规格说明语言，也可以用于建模．多视点的软件开发方法的研究从不同的视点观察系统，分离各自的关注点。简化了系统的设计．本文在形式化方法RT-Z的基础上扩充语法框架，以支持多视点工程的思想，充分利用形式化方法的精化推理机制，同时具有对实时约束的描述能力，可作为并发实时系统开发中的基本模式．
|
| 关 键 词： | 实时系统 形式化方法 RT-Z 多视点 |
| 文章编号： | 1001-7542（2005）03-0032-04 |
| 收稿时间： | 2005-03-12 |
| 修稿时间： | 2005年3月12日 |
Multi- viewpoint Formal Method Application Pattern |
| |
| CHEN Sheng-qing,CHEN Guang-ming.Multi- viewpoint Formal Method Application Pattern[J].Journal of Qinghai Normal University(Natural Science Edition),2005(3):32-36. |
| |
| Authors: | CHEN Sheng-qing CHEN Guang-ming |
| |
| Abstract: | |
| |
| Keywords: | real - time system formalism method RT - Z multi - viewpoint |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
