《模型驅動架構中模型構造與集成方法的研究》是依託華東師範大學，由劉靜擔任項目負責人的面上項目。
基本介紹
- 中文名：模型驅動架構中模型構造與集成方法的研究
- 項目類別：面上項目
- 項目負責人：劉靜
- 依託單位：華東師範大學
- 批准號：60673114
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：27（萬元）
項目摘要
模型驅動架構MDA是以模型構造、模型轉換和精化為核心的。對象管理組織OMG選擇將統一建模語言UML作為標準建模語言，並將它作為MDA的支持平台。但UML模型缺乏嚴格的語義，不能精確地描述軟體，不同視角和不同開發階段的模型很難集成，所以目前MDA中各種模型之間是脫節的。本項目研究採用形式方法，基於統一程式設計理論UTP，針對MDA中模型統一問題，探索解決多抽象層次、多視角建模引起的模型不一致、難以集成等問題的理論和方法。研究統一程式設計理論UTP 與UML結合起來，以提高UML模型的精確性和模型轉換能力，建立模型驅動架構中不同層次、不同視角的模型，給出模型的語義、模型映射機制、轉換規則與精化策略，並將它們集成起來，建立一個統一的軟體開發模型系統。模型構造與集成方面的理論研究不僅對解決MDA中的關鍵問題，而且對提高軟體系統的可靠性有重要意義。
