[论文解读] An Introduction to Classic DEVS

Yentl Van Tendeloo, Hans Vangheluwe|arXiv (Cornell University)|Jan 26, 2017

Simulation Techniques and Applications参考文献 10被引用 3

一句话总结

本文介紹了經典DEVS（Classic DEVS），一種使用離散事件抽象建模複雜動態系統的形式化方法，強調嚴謹語義、模組化與層次組合。文章以交通號誌為例，由下而上地提供教學，展示透過抽象模擬器進行模擬的方法，並探討其在效能分析中的應用，以及平行DEVS、動態結構DEVS與細胞DEVS等變體如何解決其限制。

ABSTRACT

DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence ofpertinent "events" input to a system (or internal, in the case of timeouts) cause instantaneous changes to the state of the system. Between events, the state does not change, resulting in a a piecewise constant state trajectory. Main advantages of DEVS are its rigorous formal definition, and its support for modular composition. This chapter introduces the Classic DEVS formalism in a bottom-up fashion, using a simple traffic light example. The syntax and operational semantics of Atomic (i.e., non-hierarchical) models are intruced first. The semantics of Coupled (hierarchical) models is then given by translation into Atomic DEVS models. As this formal "flattening" is not efficient, a modular abstract simulator which operates directly on the coupled model is also presented. This is the common basis for subsequent efficient implementations. We continue to actual applications of DEVS modelling and simulation, as seen in performance analysis for queueing systems. Finally, we present some of the shortcomings in the Classic DEVS formalism, and show solutions to them in the form of variants of the original formalism.

研究动机与目标

• 提供經典DEVS作為一種形式化方法，用於以離散事件抽象建模複雜動態系統的全面且易於理解的介紹。
• 透過持續的交通號誌範例，展示原子與耦合DEVS模型的形式語法與操作語義。
• 提出一種抽象模擬器，可直接在層次DEVS模型上運作，實現模組化且高效的模擬。
• 說明DEVS在效能建模中的實際應用，特別是針對排隊系統的應用。
• 識別經典DEVS的主要限制，並介紹主要變體以解決這些缺點，例如動態結構與細胞建模支援。

提出的方法

• 以交通號誌範例介紹原子DEVS模型，定義每個狀態的狀態集合與時間推進函數。
• 根據輸入事件與內部超時定義事件驅動的狀態轉移，確保狀態軌跡為分段常數。
• 透過轉換為原子模型，呈現耦合DEVS模型，支援以埠與連接關係進行層次組合。
• 開發一種抽象模擬器，直接在耦合模型上運作，相較於完全展平的轉換方式更具效率。
• 將形式化方法應用於排隊系統模型，以展示其在效能分析與系統評估中的實用性。
• 提出並解釋關鍵變體——平行DEVS、動態結構DEVS與細胞DEVS——各自解決經典DEVS的特定限制。

实验结果

研究问题

• RQ1 如何使用如經典DEVS這樣的離散事件形式化方法，對複雜動態系統進行建模，並確保嚴謹語義與模組化？
• RQ2 原子與耦合DEVS模型的核心組成與操作語義為何？它們如何支援系統的層次組合？
• RQ3 抽象模擬器如何在不完全展平的情況下，實現對耦合DEVS模型的高效模擬？
• RQ4 動態結構DEVS與細胞DEVS等變體在結構彈性與時間粒度方面，如何克服經典DEVS的限制？
• RQ5 DEVS在效能建模中有哪些實際應用，特別是針對排隊系統？

主要发现

• 經典DEVS提供一個形式化定義、模組化的框架，用於建模離散事件系統，並在模型與模擬核心之間有明確的分離。
• 抽象模擬器透過直接在層次結構上運作，避免昂貴的展平過程，實現對耦合模型的高效模擬。
• 交通號誌範例有效展示了從原子模型到耦合模型的演進過程，展現事件處理與狀態轉移機制。
• 應用於排隊系統的案例顯示，DEVS在效能分析中非常有效，特別是在模擬系統吞吐量與等待時間方面。
• 動態結構DEVS與細胞DEVS等變體分別擴展了經典DEVS對動態結構變更與細胞建模的支援，提升其適用性。
• 儘管存在效能取捨，平行DEVS仍因其形式上的優雅與與現有工具及框架的相容性而廣泛使用。