作者：陈广明; 张立臣; 陈生庆形式化开发方法实时系统面向系统开发方法软件工程方法规格描述语言组件模型功能接口系统复杂性形式化方法可重用性可配置性设计阶段框架结构可信性rt部件
摘要：实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统.本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持.本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
