《實時領域互動行為模型轉換方法及非功能語義規約研究》是依託昆明理工大學，由王彬擔任項目負責人的地區科學基金項目。
基本介紹
- 中文名：實時領域互動行為模型轉換方法及非功能語義規約研究
- 項目類別：地區科學基金項目
- 項目負責人：王彬
- 依託單位：昆明理工大學
項目摘要,結題摘要,
項目摘要
在使用模型驅動方法進行實時工業控制軟體設計的過程中，將帶有控制功能與非功能性規約的設計模型完整準確地轉換成可執行的實現模型是關鍵問題，其中具體的實時行為互動模型的轉換及非功能性語義約束是難點。現有研究集中於模型的框架設計及轉換，而較少研究具體行為建模及轉換，因而無法支持實時控制領域的多點協作互動行為建模和轉換，更難以滿足實時領域內非功能性語義的一致性約束要求。研究擬通過對實時領域行為本體的識別和演繹建立實時本體知識體系，在此基礎上給出實時多任務互動行為本體套用框架，構建實時語義模型作為中間模型，把模型轉換的過程分解為源模型-語義模型轉換及語義模型-目標模型轉換，分別完成行為、結構、類型、規則和時序等功能性和非功能性語義映射。研究重點在於實時多點互動行為的建模及模型轉換方法和時序等重要非功能性語義在轉換過程中的約束問題，進而為互動行為模型的描述、轉換及語義約束等普遍問題提供理論與實驗基礎。
結題摘要
實時領域中多任務並行和互動是系統建模和實現的關鍵技術，由於時序、資源等非功能性規約眾多，使得在實時系統模型的設計和轉換過程中，如何完整準確地表現這些非功能功能規約並進行模型轉換尤為重要。我們以實時嵌入式系統為對象，圍繞這一問題展開了深入研究。首先我們研究了實時系統模型構建過程中的關鍵問題，給出了實時嵌入式系統中圖形元模型的表述方法，為實時非功能性語義提供了合適的載體；其次對實時行為建模過程中的時序和並發控制的約束展開了分析和研究，獲得了實現非功能語義規約的條件集合，並提出了確定實時語義的形式化方法；對模型轉換過程中的語義規約方法進行了研究，構建了基於本體的實時語義庫，給出了融合實時語義庫的互動行為模型轉換方法，並以上述理論研究為基礎實現了實時系統建模平台和轉換平台，提供了以實時互動行為作為基本元模型的建模環境和非功能語義的可編輯環境。同時通過轉爐煉鋼實時終點判斷系統、隧道實時安全監測系統和人眼特徵點實時跟蹤方法等典型的實時系統設計進行了相關研究內容的驗證。
