uml2.0序列圖到事件確定有限自動機轉換的研究

1、 10701 10701 TP3 TP311.5 1.5 公開 公開 0921121378 0921121378 題 （中 、英 文） （中 、英 文）目 UML2.0 序列圖到事件確定有限自動機 序列圖到事件確定有限自動機 轉換的研究 轉換的研究 作 者 姓 名 作 者 姓 名 張祎民 張祎民 指導教師姓名、職務 指導教師姓名、職務 段振華 段振華 教授 教授 學 科 門 類 學 科 門 類 工學 工學 提交論文日期 提

2、交論文日期 二○一二年 二○一二年二月 學科專業(yè) 學科專業(yè) 計算機軟件與理論 計算機軟件與理論 Study of Transformation from UML2.0 Sequence 代 號 代 號 分 類 號 分 類 號 學 號 學 號 密 級 密 級 Diagram to Event Deterministic Finite Automata 西安電子科技大學 西安電子科技大學 學位論文獨創(chuàng)性（或創(chuàng)新性）聲明 學位論文獨創(chuàng)性（

3、或創(chuàng)新性）聲明 秉承學校嚴謹?shù)膶W風和優(yōu)良的科學道德，本人聲明所呈交的論文是我個人在導師指導下進行的研究工作及取得的研究成果。盡我所知，除了文中特別加以標注和致謝中所羅列的內容以外，論文中不包含其他人已經發(fā)表或撰寫過的研究成果；也不包含為獲得西安電子科技大學或其他教育機構的學位或證書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中做了明確的說明并表示了謝意。 申請學位論文與資料若有不實之處，本人承擔一切的法律責任。 本

4、人簽名： 日期 西安電子科技大學 西安電子科技大學 關于論文使用授權的說明 關于論文使用授權的說明 本人完全了解西安電子科技大學有關保留和使用學位論文的規(guī)定，即：研究生在校攻讀學位期間論文工作的知識產權單位屬西安電子科技大學。學校有權保留送交論文的復印件，允許查閱和借閱論文；學?？梢怨颊撐牡娜炕虿糠謨热荩梢栽试S采用影印、縮印或其他復制手段保存論文。同時本人