| Z实时扩展及基于多视点的应用模式 |
| |
| 引用本文： | 陈广明,陈生庆,张立臣.Z实时扩展及基于多视点的应用模式[J].计算机应用,2005,25(2):362-364,373. |
| |
| 作者姓名： | 陈广明 陈生庆 张立臣 |
| |
| 作者单位： | 1. 嘉应学院,计算机科学与技术系,广东,梅州,514015
2. 广东工业大学,计算机学院,广东,广州,510090 |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 60174050 )，广东省自然科学基金资助项目 ( 010059 )，广东省高校自然科学研究基金资助项目(Z03024) |
| |
| 摘 要： | RT—Z是由Z和经实时扩展的通信顺序进程timed CSP集成的用以描述实时系统的规格说明语言，它将Z对状态描述的优点和timed CsP对时序关系和并发描述的优点相结合，具有强大的描述能力；而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点，最后在分析RT—Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。
|
| 关 键 词： | 实时系统 形式化方法 RT-Z |
| 文章编号： | 1001-9081(2005)02-0362-01 |
Real-time extension of Z and the application mode based on multi-viewpoint |
| |
| CHEN Guang-ming,CHEN Sheng-qing,ZHANG Li-cheng.Real-time extension of Z and the application mode based on multi-viewpoint[J].journal of Computer Applications,2005,25(2):362-364,373. |
| |
| Authors: | CHEN Guang-ming CHEN Sheng-qing ZHANG Li-cheng |
| |
| Affiliation: | CHEN Guang-ming~1,CHEN Sheng-qing~1,ZHANG Li-cheng~2 |
| |
| Abstract: | RT-Z is the specification language integrating Z language with timed CSP, which is the extension of sequential communication processes in real-time aspect. RT-Z combines the advantages of the state expression in Z with the advantages of the temporal relation and concurrent expression in timed CSP. Thus, RT-Z has powerful expressive abilities suitable for states specification. The classified principles for the extension to Z in real-time aspect and its applied features were discussed. Based on the analysis of semantic integration of RT-Z, a multi-viewpoint applied pattern with the extension of Z in real-time aspect was put forward. |
| |
| Keywords: | real-time system formalism method RT-Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
