1、內(nèi)蒙古農(nóng)業(yè)大學(xué)本科生 畢業(yè)論 文（設(shè)計 ）開題報告學(xué) 專 年 學(xué) 姓 指 職院業(yè)級口號名 導(dǎo)教師稱內(nèi)蒙古農(nóng)業(yè)大學(xué)教務(wù)處二oo 年 月 日 一、開題報告前的準(zhǔn)備畢業(yè)論文（設(shè)計）題目確定后，學(xué)生應(yīng)盡快征求導(dǎo)師意見， 討論題意與整個畢業(yè)論文 （或設(shè)計） 的工作計劃，然后根據(jù)課題要求查閱、收集有關(guān)資料并編寫研究提綱，主要由以下幾個部分構(gòu)成：1、研究（或設(shè)計）的目的與意義。應(yīng)說明此項研究（或設(shè)計）在生產(chǎn)實踐上或?qū)δ承┘夹g(shù)進(jìn) 行改革帶來的經(jīng)濟(jì)、生態(tài)與社會效益。有的課題過去曾進(jìn)行過，但缺乏研究，現(xiàn)在可以在理論上做 些探討，說明其對科學(xué)發(fā)展的意義。2、 國內(nèi)外同類研究（或同類設(shè)計）的概況綜述。在廣泛查閱有關(guān)文

2、獻(xiàn)后， 對該類課題研究（或 設(shè)計）已取得的成就與尚存在的問題進(jìn)行簡要綜述，只對本人所承擔(dān)的課題或設(shè)計部分的已有成果與存在問題有條理地進(jìn)行闡述，并提出自己對一些問題的看法。3、課題研究（或設(shè)計）的內(nèi)容。要具體寫出將在哪些方面開展研究，要重點突出。研究的主 要內(nèi)容應(yīng)是物所能及、力所能及、能按時完成的，并要考慮與其它同學(xué)的互助、合作。4、研究（或設(shè)計）方法。科學(xué)的研究方法或切合實際的具有新意的設(shè)計方法，是獲得高質(zhì)量 研究成果或高水平設(shè)計成就的關(guān)鍵。因此，在開始實踐前，學(xué)生必須熟悉研究（或設(shè)計）方法，以 避免蠻干造成返工，或得不到成果，甚至于寫不出畢業(yè)論文或完不成設(shè)計任務(wù)。5、實施計劃。要在研究提綱中

3、按研究（或設(shè)計）內(nèi)容落實具體時間與地點，有計劃地進(jìn)行工作。二、開題報告1、開題報告可在導(dǎo)師所在院、教研室范圍內(nèi)舉行，須適當(dāng)請有關(guān)專家參加，導(dǎo)師必須參加。 報告最遲在畢業(yè)（生產(chǎn)）實習(xí)前完成。2、本表（頁面：A4）在開題報告通過論證后填寫，一式三份，本人、導(dǎo)師、所在院部（要原 件）各一份。三、注意事項1、 開題報告的撰寫完成， 意味著畢業(yè)論文（設(shè)計）工作已經(jīng)開始，學(xué)生已對整個畢業(yè)論文 （設(shè) 計）工作有了周密的思考，是完成畢業(yè)論文（設(shè)計）關(guān)鍵的環(huán)節(jié)。在開題報告的編寫中指導(dǎo)教師只可提示，不可包辦代替。2、無開題報告者不準(zhǔn)申請答辯。3、本表（原件）用鋼筆填寫，字跡務(wù)必清楚。一、選題依據(jù)（擬開展研究項目的

4、研究目的、意義）UML是可視化圖形建模語言1,有較嚴(yán)格和完整的語法定義（在UML規(guī)范中, 模型的語法是通過元模型以 UML的類圖的方式定義的），但是在語義方面仍有 許多含糊不清的地方，靜態(tài)語義采用 OCL （對象約束語言）進(jìn)行描述，模型的 動態(tài)語義則是直接由英文的自然語言來表達(dá)的。 采用這種方法描述的動態(tài)語義, 存在著不完全、不一致、模糊性等缺陷，特別是對動態(tài)圖的語義解釋，不利于 對UML所描述的需求進(jìn)行形式化的分析和驗證。面向?qū)ο蟮姆椒ㄕ撜吆?UML的制定者也越來越深刻的意識到保持一個簡 潔、明了、易學(xué)的核心語義集的重要性。這一語義集應(yīng)該立足于常見的應(yīng)用, 側(cè)重對面向?qū)ο蠡靖拍畹谋磉_(dá)，但卻

5、基本上涵蓋了常見的面向?qū)ο蟮慕Ｋ?需要的語意義和表達(dá)法，并且簡單易學(xué)，具有豐富的語意義。德國軟件方法學(xué) 家Gregory Engels在其論文中指出：部分上下文有關(guān)語法以及語義沒有形式 化的指明，這就使得可以對一個UML模型有許多種不同的解釋1 ”Daniel Jacks on等人撰文指出：設(shè)計一種沒有形式語義的建模語言，甚至對哪 種特征可能在語義上有爭議也沒有一種明確的界定，是一項危險的事業(yè)。對UML這種具有空前復(fù)雜性的建模語言是否能有成效的形式化仍是一個問題。目前正在認(rèn)真的進(jìn)行對該語言的核心元素的語義重新定義，特別是對象建模部分。在這些努力成功之前或該語言從根本上改變之前，對支持膚淺的模型預(yù)防分析和轉(zhuǎn)變的工具的任何形式的超越，似乎都是不可能的2。對UML形式化語義 的研究有助于客戶和開發(fā)者之間在軟件需求說明階段就軟件功能達(dá)成一致的理 解，使兩者的溝通更有效，更可靠。二、文獻(xiàn)綜述內(nèi)容（在充分收集研究主題相關(guān)資料的基礎(chǔ)上，分析國內(nèi)外研究現(xiàn)狀，提出問題，找到研究 主題的切入點，附主要參考文獻(xiàn)）三、研究方案（主要研究內(nèi)容、目標(biāo)，研究方法、進(jìn)度）四、進(jìn)程計劃（各研究環(huán)節(jié)