可視化建模工具中模型一致性問題研究.pdf

1、伴隨著軟件技術(shù)的發(fā)展，可視化建模技術(shù)受到越來越多的關(guān)注?？梢暬＜夹g(shù)帶來的好處是：有利于開發(fā)人員把握理解整個系統(tǒng)，提高系統(tǒng)設(shè)計的可重用性和靈活性。但是這也帶來了不可避免的問題—可視化建模過程中的模型一致性問題。解決模型一致性問題是正確表達模型，正確理解模型和正確執(zhí)行模型的基礎(chǔ)。對模型的一致性問題進行檢查，可以將錯誤消滅在系統(tǒng)開發(fā)的初期，最大限度減少人力，資金以及時間上的損失。 近年來，模型的一致性分析都是一個非常突出和重要的研

2、究課題，對于這一課題的研究主要集中在對UML模型和企業(yè)模型研究上。目前大多數(shù)模型一致性檢測通過人工方式或者集成于建模工具的檢測工具或者第三方工具進行檢測，這些方式都存在一定的不足，因此從哪些方面進行一致性檢測是一個值得探討的問題。 本文詳細分析了模型一致性問題的產(chǎn)生原因和目前解決模型一致性問題的方法，通過對零碼軟件生產(chǎn)平臺模型的分析和形式化描述，總結(jié)出平臺模型一致性問題的產(chǎn)生原因和平臺中視圖間一致性關(guān)聯(lián)。通過分析平臺建模工具的特

3、點，提出了解決此平臺中模型一致性問題的方法并給出了系統(tǒng)地實現(xiàn)框架。該方法獨立于建模工具，利用模型轉(zhuǎn)換技術(shù)和XML向數(shù)據(jù)庫映射的技術(shù)，將模型映射到關(guān)系型數(shù)據(jù)庫中，使對模型的一致性檢測轉(zhuǎn)換為對關(guān)系型數(shù)據(jù)庫記錄的查詢，從一定程度上提高了模型的檢測效率。 以零碼軟件生產(chǎn)平臺為基礎(chǔ)提出的MSS模型一致性檢測的方法，具有靈活性和可擴展性，但是目前還有很多不足，對于如何提高模型一致性檢測效率，解決多用戶協(xié)同建模中一致性的檢測等問題有待進一步的