| 基于实时语言和面向方面的形式化开发方法 |
| |
| 引用本文： | 陈生庆,张立臣,陈广明.基于实时语言和面向方面的形式化开发方法[J].计算机应用,2006,26(1):240-0242. |
| |
| 作者姓名： | 陈生庆 张立臣 陈广明 |
| |
| 作者单位： | 1. 嘉应学院计算机科学与技术系,广东,梅州,514015
2. 广东工业大学计算机学院,广东,广州,510090 |
| |
| 基金项目： | 中国科学院资助项目;广东省博士启动基金;广东省高校自然科学基金 |
| |
| 摘 要： | 面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL，它基于经面向方面扩展的形式化方法AO RT Z，在编码阶段应用实时语言PEARL，实现了软件开发各个阶段对面向方面的无缝支持。
|
| 关 键 词： | 面向方面 实时系统 形式化方法 PEARL语言 |
| 文章编号： | 1001-9081（2006）01-0240-03 |
| 收稿时间： | 2005-07-16 |
| 修稿时间： | 2005-07-162005-11-10 |
Formal development method based on real-time language method and aspect-oriented |
| |
| CHEN Sheng-qing,ZHANG Li-chen,CHEN Guang-ming.Formal development method based on real-time language method and aspect-oriented[J].journal of Computer Applications,2006,26(1):240-0242. |
| |
| Authors: | CHEN Sheng-qing ZHANG Li-chen CHEN Guang-ming |
| |
| Abstract: | Aspect-oriented Software Development and real-time Language Programming can reduce the complexity of realtime software. The formal methods can increase dependability of Software Development. The aspect-oriented formal development method AOSDBRTL was established. The real-time language PEARL was used in implementing stage and the A0- RT-Z - the Aspect-Oriented formalism based on RT-Z was used in designing stage. AOSDBRTL was a seamless process on the phases of the software development. |
| |
| Keywords: | RT-Z AO-RT-Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
