电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2008年
34期
1975-1976,1996
,共3页
时态逻辑%UML交互模型%模型检测%自动机
時態邏輯%UML交互模型%模型檢測%自動機
시태라집%UML교호모형%모형검측%자동궤
该文详细介绍了统一建模语言和模型检测技术,在此基础上,该文研究了基于交互自动机和时态逻辑的UML交互模型性质检测方法,提出了模型检测所需的Marking算法.该算法通过时交互自动机全部状态的遍历,检测各状态的时态逻辑公式(CTL公式)的真值,以判断用户设计的UML交互模型是否符合计算机软件系统应满足的性质及规范.
該文詳細介紹瞭統一建模語言和模型檢測技術,在此基礎上,該文研究瞭基于交互自動機和時態邏輯的UML交互模型性質檢測方法,提齣瞭模型檢測所需的Marking算法.該算法通過時交互自動機全部狀態的遍歷,檢測各狀態的時態邏輯公式(CTL公式)的真值,以判斷用戶設計的UML交互模型是否符閤計算機軟件繫統應滿足的性質及規範.
해문상세개소료통일건모어언화모형검측기술,재차기출상,해문연구료기우교호자동궤화시태라집적UML교호모형성질검측방법,제출료모형검측소수적Marking산법.해산법통과시교호자동궤전부상태적편력,검측각상태적시태라집공식(CTL공식)적진치,이판단용호설계적UML교호모형시부부합계산궤연건계통응만족적성질급규범.
