应用形式化与实时语言的面向方面方法  

AOSD employing formal development mothed and real-time language

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

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

出　　处：《计算机工程与设计》2006年第22期4213-4215,4221,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(60474072;60174050);广东省自然科学基金项目(04009465;010059);广东省高校自然科学研究基金项目(Z03024)

摘　　要：面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。Aspect-oriented software development is the evolution of OOSD, the method based on aspect-oriented programming abstract the crosscut concerns through the whole software, and weaving the crosscut concerns into the core code of software system. AOSD reduce the complexity in software development and increase flexibility and maintainability. Application FM and realtime language make for employing a framework of aspect-oriented on the all stages in real-time software development, the aspect-oriented realtime software development framework is established based on AO-RT-Z and real-time language PEARL, this framework can reduce the complexity and increase dependability of software development, at the same time, the realtime system development can become a seamless processes among the stages of the software lifecycle.

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

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