%0 Journal Article
%T spardl模型的event-b解释
%A 綦艳霞
%A 沈慧丽
%A 陈朝晖
%A 顾斌
%J 计算机应用
%D 2012
%X ？针对由周期行为和模式转换机制组成的实时系统提出的spardl需求建模语言，详细阐明了其对应的spardl模型的event-b解释。通过event-b来解释spardl的语义，同时提出一种基于spardl模型特征的精化框架用于event-b模型的开发。最后，通过案例研究的分析展示用event-b对spardl模型建模和验证的方法的有效性。
%K spaceaircraftdescriptionlanguage(spardl)
%K event-b
%K 需求分析
%K 精化
%K 验证
%U http://www.joca.cn/CN/abstract/abstract16113.shtml