计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
4期
280-282
,共3页
异常处理%模型检验%EHA
異常處理%模型檢驗%EHA
이상처리%모형검험%EHA
本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模,对Statechart进行模型检验,完成代码生成.首先将Statecharts转换为EHA,然后给出其操作语义,根据操作语义映射到一个自动机.使用基于自动机理论的模型检验方法来验证基于EHA的异常处理模型是否满足某些关键性质,最后自动产生相关代码.
本文提齣在整箇Java程序開髮鏈中通過使用UML Statecharts對異常處理建模,對Statechart進行模型檢驗,完成代碼生成.首先將Statecharts轉換為EHA,然後給齣其操作語義,根據操作語義映射到一箇自動機.使用基于自動機理論的模型檢驗方法來驗證基于EHA的異常處理模型是否滿足某些關鍵性質,最後自動產生相關代碼.
본문제출재정개Java정서개발련중통과사용UML Statecharts대이상처리건모,대Statechart진행모형검험,완성대마생성.수선장Statecharts전환위EHA,연후급출기조작어의,근거조작어의영사도일개자동궤.사용기우자동궤이론적모형검험방법래험증기우EHA적이상처리모형시부만족모사관건성질,최후자동산생상관대마.
