《面向嵌入式系統的異構模型轉換方法研究》是依託南京大學，由張天擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：面向嵌入式系統的異構模型轉換方法研究
- 項目類別：青年科學基金項目
- 項目負責人：張天
- 依託單位：南京大學
項目摘要,結題摘要,
項目摘要
隨著嵌入式系統的高速發展，各種特定於技術和套用域的模型大量並存，它們彼此異構難以集成，相應工具無法復用，這為下一代嵌入式系統的發展提出了嚴峻的挑戰。此外，由於嵌入式系統本身固有一些性質，如並發、時態行為等，這些性質會在不同的建模語言中以不同的方式進行捕獲和描述。因此異構模型之間的轉換必然要解決如何保持此類性質在轉換前後的模型中不變的問題。本課題採用逆向思維，從嵌入式系統的固有性質入手，基於元建模技術對相關性質進行面向方面的建模，並結合模型驅動思想構造嵌入式系統異構模型轉換框架，採用性質制導的思想構造異構模型之間的轉換。同時，在轉換框架中將語義映射和語法轉換相互隔離，分而治之，以降低轉換規則構造難度，並提高轉換框架的通用性。最後，選定UML-MARTE等一批嵌入式建模規範及實現平台進行了具體的轉換研究。本課題研究工作旨在為有效控制下一代嵌入式系統開發的複雜性提供支持。
結題摘要
隨著嵌入式系統的高速發展，各種特定於技術和套用域的模型大量並存，它們彼此異構難以集成，相應工具無法復用，這為下一代嵌入式系統的發展提出了嚴峻的挑戰。 此外，嵌入式系統本身固有一些性質，如並發、時態行為等，這些性質會在不同的建模 語言中以不同的方式進行捕獲和描述。因此異構模型之間的轉換必然要解決如何保持此類性 質在轉換前後的模型中不變的問題。本課題從嵌入式系統的固有性質入手， 基於元建模技術對相關性質進行面向方面的建模，並結合模型驅動思想構造嵌入式系統異構 模型轉換框架，採用性質制導的思想構造異構模型之間的轉換。同時，在轉換框架中將語義 映射和語法轉換相互隔離，分而治之，以降低轉換規則構造難度，並提高轉換框架的通用性。基於本項目的研究成果，在國際會議及期刊上發表了17篇英文學術論文，均為SCI或EI收錄。相關的9項研究成果也以專利形式進行了申請，目前正在審理中。此外，所開發的工具獲得了4項軟體著作權的授權。
