| 並行式/分散式系統規格與時間派翠網路模式的整合 Integration of Specification for Concurrent/Distributed Systems and Timed Petri Nets | |
|---|---|
| 學年 | 84 |
| 學期 | 1 |
| 發表日期 | 1995-10-06 |
| 作品名稱 | 並行式/分散式系統規格與時間派翠網路模式的整合 Integration of Specification for Concurrent/Distributed Systems and Timed Petri Nets |
| 作品名稱（其他語言） | |
| 著者 | 陳伯榮; 李文禮; 薛美惠 |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | 第一屆電腦與通信技術研討會=The First Symposium on Computer and Communication Technology |
| 會議地點 | 雲林縣, 臺灣 |
| 摘要 | 眾所皆知,平行性(Concurrency),同步(Synchronization)和不確定性(Nondeterminism),導致並行式/分散式系統的行為非常複雜。唯用利用形式化規格說明語言(Formal specification language)來設計規劃,才能使系統正確的發展與運作。 針對目前由問題設計規格說明(Design specification)進而發展並行式或分散式系統(Concurrent/Distributed Systems)的相關演算法所遇到的幾個困難: (1)驗證安全及存活(Safety & Liveness)行為特性(Behavior properties)的過程中,扮演著重要角色的永不變特性(Invariants)較難尋找。 (2)無法探索分析非行為特性(Non- behavior properties)如平均反應時間(Average response time)。 我們提出了一個輔助系統,此系統將問題規格自動轉換成時間派翠網路(Timed Petri nets)模式,然後藉其相對的派翠網路(Petri nets)做結構特性分析(Structural property analysis)以尋找永不變特性。此外可利用時間派翠網路的分析解方法來探討非行為特性。 |
| 關鍵字 | 派曲網;平行性;同步化;不確定性;設計規格;時間派曲網;Petri Net;Concurrency;Synchronization;Nondeterminism;Design Specification;Timed Petri Net |
| 語言 | zh_TW |
| 收錄於 | |
| 會議性質 | 國內 |
| 校內研討會地點 | |
| 研討會時間 | 19951006~19951006 |
| 通訊作者 | |
| 國別 | TWN |
| 公開徵稿 | Y |
| 出版型式 | 紙本 |
| 出處 | 第一屆電腦與通信技術研討會論文集=Proceedings of the First Symposium on Computer and Communication Technology，頁89-94 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95835 ) |
GoogleAnalytics