基于实时语言和面向方面的形式化开发方法  

Formal development method based on real-time language method and aspect-oriented

作　　者：陈生庆[1] 张立臣[2] 陈广明[1] 

机构地区：[1]嘉应学院计算机科学与技术系,广东梅州514015 [2]广东工业大学计算机学院,广东广州510090

出　　处：《计算机应用》2006年第1期240-242,248,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)

摘　　要：面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。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.

关 键 词：面向方面 实时系统 形式化方法 RT—Z AO—RT—Z PEARL语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]