| 面向方面的实时系统形式化开发方法 |
| |
| 引用本文： | 陈广明,张立臣,陈生庆.面向方面的实时系统形式化开发方法[J].计算机科学,2005,32(7):189-192. |
| |
| 作者姓名： | 陈广明 张立臣 陈生庆 |
| |
| 作者单位： | 1. 嘉应学院计算机系,广东,梅州,514015
2. 广东工业大学计算机学院,广州,510090 |
| |
| 基金项目： | 国家自然科学基金(No.60474072、No.60174050)，广东省自然科学基金(No.04009465、No.010059)，广东省高校自然科学研究项目(No.Z03024)基金 |
| |
| 摘 要： | 实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高，需要如面向方面和基于组件的软件工程方法的支持，同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法，这种方法对RT—Z进行了面向方面和面向部件的扩展，并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO—RT—Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义，重点讨论并证明了面向方面的实时Z(AO—RT—Z)作为规格描述语言的健全性。
|
| 关 键 词： | 形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 RT 部件 |
Aspect-Oriented Formal Development Method for Real-Time Systems |
| |
| CHEN Guang-Ming,ZHANG Li-cheng,CHEN Sheng-qing.Aspect-Oriented Formal Development Method for Real-Time Systems[J].Computer Science,2005,32(7):189-192. |
| |
| Authors: | CHEN Guang-Ming ZHANG Li-cheng CHEN Sheng-qing |
| |
| Affiliation: | CHEN Guang-Ming,ZHANG Li-Cheng,CHEN Sheng-Qing Computer Department of Jiaying College,Guangdong,Meizhou 514015 Computer College,Guangdong University of Technology,Guangzhou 510090 |
| |
| Abstract: | 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. |
| |
| Keywords: | Aspect-oriented Real-time system Component Formal method RT-Z AO-RT-Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
