计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2012年
12期
3525-3528,3539
,共5页
綦艳霞%沈慧丽%陈朝晖%顾斌
綦豔霞%瀋慧麗%陳朝暉%顧斌
기염하%침혜려%진조휘%고빈
需求建模语言%周期性控制系统%Event-B%需求分析%精化%验证
需求建模語言%週期性控製繫統%Event-B%需求分析%精化%驗證
수구건모어언%주기성공제계통%Event-B%수구분석%정화%험증
针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释.通过Event-B来解释SPARDL的语义,同时提出一种基于SPARDL模型特征的精化框架用于Event-B模型的开发.最后,通过案例研究的分析展示用Event-B对SPARDL模型建模和验证的方法的有效性.
針對由週期行為和模式轉換機製組成的實時繫統提齣的SPARDL需求建模語言,詳細闡明瞭其對應的SPARDL模型的Event-B解釋.通過Event-B來解釋SPARDL的語義,同時提齣一種基于SPARDL模型特徵的精化框架用于Event-B模型的開髮.最後,通過案例研究的分析展示用Event-B對SPARDL模型建模和驗證的方法的有效性.
침대유주기행위화모식전환궤제조성적실시계통제출적SPARDL수구건모어언,상세천명료기대응적SPARDL모형적Event-B해석.통과Event-B래해석SPARDL적어의,동시제출일충기우SPARDL모형특정적정화광가용우Event-B모형적개발.최후,통과안례연구적분석전시용Event-B대SPARDL모형건모화험증적방법적유효성.
