面向方面的实时系统形式化开发方法  

Aspect-Oriented Formal Development Method for Real-Time Systems

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

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

出　　处：《计算机科学》2005年第7期189-192,217,共5页Computer Science

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

摘　　要：实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。Increasing complexity of real time system, and demands for enabling their configurability and reusability are strong motivations for aspect-oriented and component-based development, and dependability of real time systems requires that formal development methods are taken during real-time development cycle. This paper attempts to estab- lish an aspect-oriented formal development method for real-time systems with the component-based and aspect-orient- ed extension of RT-Z, its model of real time component can be used for CBSD and ASD. The framework,syntax, weaving aspects,and interface of function and non-function are defined in this article, the healtthess conditions of AO-RT-Z is emphasized and a proof is made.

关 键 词：形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 RT 部件 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论] TP316.2[自动化与计算机技术—计算机科学与技术]