摘要
实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对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.
出处
《计算机科学》
CSCD
北大核心
2005年第7期189-192,217,共5页
Computer Science
基金
国家自然科学基金(No.60474072
No.60174050)
广东省自然科学基金(No.04009465
No.010059)
广东省高校自然科学研究项目(No.Z03024)基金
