| 基于实时语言的多视点形式化实时开发模式 |
| |
| 引用本文： | 陈广明,陈生庆,丘金元.基于实时语言的多视点形式化实时开发模式[J].嘉应学院学报,2005,23(3):63-66. |
| |
| 作者姓名： | 陈广明 陈生庆 丘金元 |
| |
| 作者单位： | 1. 嘉应学院,计算机科学与技术系,广东,梅州,514015
2. 嘉应学院,计算中心,广东,梅州,514015 |
| |
| 摘 要： | 实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
|
| 关 键 词： | 实时系统 语言 PEARL 形式化方法 RT-Z 面向方面 AOSD |
| 文章编号： | 1006-642X(2005)03-0063-04 |
| 修稿时间： | 2005年3月18日 |
The Application Method for Multi-viewpoint Formal Real-time System Development Based on Real-time Language |
| |
| CHEN Guang-ming,CHEN Sheng-qing,QIU Jin-yuan.The Application Method for Multi-viewpoint Formal Real-time System Development Based on Real-time Language[J].Journal of Jiaying University,2005,23(3):63-66. |
| |
| Authors: | CHEN Guang-ming CHEN Sheng-qing QIU Jin-yuan |
| |
| Abstract: | The real-time languages provided the mechanisms for real-time constrains. The refinements and logic of the formalism methods may ensure the correctness and consistency between the requirment stoge and design stage. The application method of Multi-viewpoint can reduce the complexity of the processes in software development. A method we set out in the paper is based on multi-viewpoint mean, and PEARL's characteristic and RT-Z's grammar and semantic and construct. It is not difficult to apply the method in development of real-time software because of the separation of real-time constraints. |
| |
| Keywords: | real-time system language PEARL formalism aspect Oriented RT-Z AOSD |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
