[論文レビュー] An Introduction to Classic DEVS

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

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

ひとこと要約

この論文は、離散イベント抽象化を用いて複雑な動的システムをモデル化するための形式的枠組みであるClassic DEVSを紹介する。厳密な意味論、モularity、階層的構成を重視している。交通整理のライトを例に、下位から上位へのチュートリアルを提供し、抽象シミュレータを用いたシミュレーションの実装を示し、性能解析への応用や、Parallel DEVS、Dynamic Structure DEVS、Cell-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.

研究の動機と目的

• 複雑な動的システムを離散イベント抽象化を用いてモデル化するための形式的枠組みとしてのClassic DEVSについて、包括的かつアクセス可能な紹介を提供すること。
• 走りの交通整理の例を通じて、原子的および結合的DEVSモデルの形式的構文と操作的意味論を示すこと。
• 階層的DEVSモデルのモジュラーで効率的なシミュレーションを可能にする抽象シミュレータを提示すること。
• DEVSの実用的応用、特にキューイングシステムにおける性能モデリングへの応用を示すこと。
• Classic DEVSの主な限界を特定し、それらの欠陥を補う主な変種（動的構造DEVS、細胞モデル化サポートを有するDEVSなど）を紹介すること。

提案手法

• 交通整理のライトを例に、原子的DEVSモデルを導入し、各状態の状態集合と時間進み関数を定義する。
• 入力イベントおよび内部タイムアウトに基づくイベント駆動型の状態遷移を定義し、状態軌跡が区分的定数となるように保証する。
• ポートと結合を用いた階層的構成を可能にするために、結合的DEVSモデルを原子的モデルに翻訳する方法を提示する。
• 平坦化を完全に回避するため、結合的モデルに直接作用する抽象シミュレータを設計し、フラット翻訳よりも効率的であることを示す。
• 性能解析とシステム評価における有効性を示すために、DEVS形式をキューイングシステムのモデルに適用する。
• 主な変種（Parallel DEVS、Dynamic Structure DEVS、Cell-DEVS）を提案・説明し、Classic DEVSの各限界をどのように克服するかを示す。

実験結果

リサーチクエスチョン

• RQ1 Classic DEVSのような離散イベント形式的枠組みは、厳密な意味論とモularityを備えた複雑な動的システムをどのようにモデル化できるか？
• RQ2 原子的および結合的DEVSモデルの核心的構成要素と操作的意味論は何か？それらは階層的システム構成をどのように支援するか？
• RQ3 抽象シミュレータは、完全な平坦化を回避することで、結合的DEVSモデルの効率的シミュレーションをどのように実現するか？
• RQ4 Dynamic Structure DEVS や Cell-DEVS といった変種は、構造の柔軟性と時間分解能の限界をどのように克服するか？
• RQ5 DEVSは性能モデリングにおいて実用的にどのように応用できるか？特にキューイングシステムの分野で。

主な発見

• Classic DEVSは、形式的に定義されたモジュラーなフレームワークを提供し、モデルとシミュレーション・コアの明確な分離がなされている。
• 抽象シミュレータは、階層的構造に直接作用することで、結合的モデルの効率的シミュレーションを可能にし、高コストな平坦化を回避する。
• 交通整理の例は、原子的モデルから結合的モデルへの移行を効果的に示しており、イベント処理と状態遷移の仕組みを明確にしている。
• キューイングシステムへの応用は、DEVSがシステムスループットや待機時間のモデリングにおいて効果的であることを示している。
• Dynamic Structure DEVS や Cell-DEVS といった変種は、それぞれ動的構造変更と細胞モデル化をサポートすることで、Classic DEVSの適用範囲を拡張している。
• 性能のトレードオフがあるものの、形式的な洗練さと既存のツールやフレームワークとの互換性の高さから、Parallel DEVSは依然として広く使われ続けている。