本文選題：模型驅(qū)動開發(fā)方法　切入點：實時系統(tǒng)　出處：《昆明理工大學》2015年碩士論文

【摘要】：實時控制系統(tǒng)被廣泛用于生產(chǎn)、制造、物流、裝配等工業(yè)領域。由于實時控制系統(tǒng)的實時性、同步性和協(xié)作性要求很高,因此如何設計和實現(xiàn)基于多任務同步協(xié)作機制的實時控制軟件正在成為一個日益重要的問題。為了準確的達到實時系統(tǒng)設計要求和標準,采用模型驅(qū)動的軟件開發(fā)方法(Model Driven Development,MDD)來設計和開發(fā)實時軟件逐漸成為該領域研究的熱點。而對于采用MDD開發(fā)設計實時軟件來說,如何實現(xiàn)實時系統(tǒng)中大量的實時交互行為建模是該方法中重要的一個環(huán)節(jié)。目前關于MDD方法的研究多數(shù)圍繞系統(tǒng)框架的構(gòu)建而展開,而對于具體行為建模的研究并不多,并且由于實時系統(tǒng)軟件的執(zhí)行過程實際上是多任務交互并行的過程,因此如何構(gòu)建具體交互行為模型并保證在模型轉(zhuǎn)換過程中語義的一致性保持是MDD實時系統(tǒng)設計方法實現(xiàn)的關鍵。本文在現(xiàn)有實時領域MDD軟件開發(fā)方法的研究基礎之上,主要對實時領域中交互行為模型的建模方法展開研究,提出了對象相關的實時交互行為模型構(gòu)建方法；構(gòu)建了對象相關的行為模型體系；給出了基于本體的行為模型的語義描述,并通過protege軟件實現(xiàn)了行為模型語義及其交互語義規(guī)則的知識庫構(gòu)建,為后續(xù)模型轉(zhuǎn)換過程中的語義一致性研究奠定了基礎。
[Abstract]:Real-time control systems are widely used in manufacturing, manufacturing, logistics, assembly and other industrial fields.Due to the high requirement of real-time, synchronization and cooperation of real-time control system, how to design and implement real-time control software based on multi-task synchronous cooperation mechanism is becoming an increasingly important problem.In order to meet the requirements and standards of real-time system design accurately, using Model Driven Development (MDD) to design and develop real-time software has gradually become a hot topic in this field.For designing real-time software with MDD, how to realize a large number of real-time interactive behavior modeling in real-time system is an important part of this method.At present, most of the researches on MDD method focus on the construction of system framework, but there are few researches on concrete behavior modeling, and because the execution process of real-time system software is actually a multi-task interactive parallel process.Therefore, how to construct specific interactive behavior model and ensure semantic consistency in the process of model transformation is the key to the implementation of MDD real-time system design method.Based on the research of MDD software development method in real-time domain, this paper mainly studies the modeling method of interactive behavior model in real-time domain, and puts forward the object related real-time interactive behavior model construction method.The object related behavior model system is constructed, the semantic description of the behavior model based on ontology is given, and the knowledge base of behavior model semantics and interaction semantic rules is constructed by protege software.It lays a foundation for the research of semantic consistency in the process of model transformation.
【學位授予單位】：昆明理工大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP311.52

【參考文獻】

相關期刊論文 前3條

1 陳錦翔;周建智;陳佳妮;;固化變電規(guī)范操作流程觸摸式工作本的研制[J];電子技術(shù)與軟件工程;2013年19期

2 李景,孟連生;構(gòu)建知識本體方法體系的比較研究[J];現(xiàn)代圖書情報技術(shù);2004年07期

3 王煥宇;;基于Java Web技術(shù)的計算機遠程維護控制系統(tǒng)[J];自動化與儀器儀表;2014年05期

相關碩士學位論文 前2條

1 荊德國;基于開源數(shù)據(jù)庫的電力SCADA系統(tǒng)[D];天津大學;2007年

2 高小龍;影視作品領域本體的構(gòu)建和分析方法研究[D];浙江師范大學;2014年

，

本文編號：1723944