該文詳細(xì)介紹了統(tǒng)一建模語言和模型檢測技術(shù),在此基礎(chǔ)上,該文研究了基于交互自動機(jī)和時態(tài)邏輯的UML交互模型性質(zhì)檢測方法,提出了模型檢測所需的Marking算法。該算法通過對交互自動機(jī)全部狀態(tài)的遍歷,檢測各狀態(tài)的時態(tài)邏輯公式（CTL公式）的真值,以判斷用戶設(shè)計的UML交互模型是否符合計算機(jī)軟件系統(tǒng)應(yīng)滿足的性質(zhì)及規(guī)范。 

【文章來源】：電腦知識與技術(shù). 2008,4(34)

【文章頁數(shù)】：3 頁

【部分圖文】：

。過繼承 UML::定義即可知道息序列。 在一

測試了算法的隨記錄的增加時間的變化(時間復(fù)雜性)，將測試數(shù)據(jù)庫的元組數(shù)從 1000 開始，逐漸遞增到 5000。 兩算法的時間復(fù)雜性數(shù)據(jù)曲線如圖 1 所示，從圖中礦業(yè)發(fā)現(xiàn)，兩個算法的時間復(fù)雜性均較好， 不過隨數(shù)據(jù)庫規(guī)模的增大， 針對 FP 算法的改進(jìn)OLAP 結(jié)構(gòu)算法在執(zhí)行時間更為迅速， 而且在時間的增長上更為平緩一些，所以本論文提出的改進(jìn)算法是可行的。5 結(jié)語該文中首先對數(shù)據(jù)倉庫、OLAP、 相關(guān)規(guī)則的挖掘進(jìn)行了總體的介紹，其次全面討論了 OLAP 相關(guān)規(guī)則挖掘的結(jié)構(gòu)，最后討論了基于 FP 算法改進(jìn)

【參考文獻(xiàn)】：
期刊論文
[1]基于B語言的UML形式化方法[J]. 周欣,魏生民.  計算機(jī)工程. 2004(12)
[2]基于TCOZ的UML用例圖的形式化模型[J]. 許維新,虞慧群.  華東理工大學(xué)學(xué)報. 2004(01)



本文編號：3381934