[論文レビュー] A Spatial Calculus of Wrapped Compartments

Livio Bioglio, Cristina Calcagno+5 more|arXiv (Cornell University)|Aug 17, 2011

Slime Mold and Myxomycetes Research参考文献 18被引用数 4

ひとこと要約

本論文は、計算的包囲コンパートメント（CWC）のための表面言語を導入し、2次元グリッド上での空間的相互作用の構造的モデリングを可能にするとともに、標準CWCにコンパイルしてシミュレーションを実行できるようにする。本手法は、アーカスキュラー・ミコリザル菌の事例研究を通じて検証され、異なる菌種の菌糸成長パターンを正確に確率的シミュレーションすることで、既存のPDEモデルと整合する結果を得た。

ABSTRACT

The Calculus of Wrapped Compartments (CWC) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. Although CWC has no explicit structure modelling a spatial geometry, its compartment labelling feature can be exploited to model various examples of spatial interactions in a natural way. However, specifying large networks of compartments may require a long modelling phase. In this work we present a surface language for CWC that provides basic constructs for modelling spatial interactions. These constructs can be compiled away to obtain a standard CWC model, thus exploiting the existing CWC simulation tool. A case study concerning the modelling of Arbuscular Mychorrizal fungi growth is discussed.

研究の動機と目的

• 空間的生物学的システムのためのCWCコンパートメントのネットワークを手作業で指定する際の複雑さと面倒さに対処すること。
• CWCに高水準の表面言語を拡張し、グリッド上の座標、位置、移動といった空間的構造をネイティブにサポートすること。
• 空間的モデルを標準CWCにコンパイルし、既存のシミュレーションツールで実行可能にする仕組みを提供すること。
• アーカスキュラー・ミコリザル菌の空間的ダイナミクスを含む生物学的に意味のある事例研究を通じて、本手法の妥当性を検証すること。
• 将来のCWCベースのモデリングにおける3次元空間やより洗練された空間トポロジーへの拡張の基盤を築くこと。

提案手法

• 2次元グリッド空間を宣言する構文と、コンパートメントに空間座標を割り当てるための構文を定義する。
• 隣接するグリッドセル間の移動や近接反応といった、空間的相互作用をモデル化するためのプリミティブを導入する。
• 空間的構造を標準CWCの項と規則に翻訳することで、高水準な空間モデルを標準CWCモデルにコンパイルする。
• 既存のCWCシミュレーションツールを活用し、コンパイルされたモデルの実行と確率的挙動の分析を行う。
• 空間幾何の抽象化をグリッドベースの表現で実現しつつ、生物学的相互作用に不可欠な空間的制約を保持する。
• 実験的レートパラメータに基づき、分岐、アナスタモーシス、先端ダイナミクスを含む菌糸成長をモデル化するフレームワークを適用する。

実験結果

リサーチクエスチョン

• RQ1 CWCフレームワーク内で、幾何的構造を明示的に記述せずに、生物学的システムの空間的相互作用をどのようにより効率的にモデリングできるか。
• RQ2 空間グリッドに基づく相互作用を抽象化できる高水準の表面言語を設計できるか。また、それが標準CWCにコンパイル可能か。
• RQ3 表面言語が、アーカスキュラー・ミコリザル菌に見られる既知の生物学的成長パターンをどの程度正確に再現できるか。
• RQ4 異なる空間的ルール（例：線形対非線形分岐）が、シミュレートされた菌糸ネットワークの出現的挙動にどのように影響を与えるか。
• RQ5 複雑な空間現象をCWCでモデリングする際、現在のアプローチのスケーラビリティと表現力の限界は何か。

主な発見

• 表面言語は、2次元グリッドの抽象化を用いて、CWCにおける空間的相互作用の構造的モデリングを成功裏に可能にし、手作業による指定の複雑さを軽減した。
• Scutellospora calosporaのコンパイル済みモデルは、線形分岐と最小限のアナスタモーシスを示し、線形PDEモデルと整合する、正確な菌糸成長ダイナミクスをシミュレートした。
• Glomus sp.については、空間的競争のため非線形分岐挙動が再現され、高密度の先端では分岐が減少する傾向を示し、非線形PDEモデルと一致した。
• 各菌種について60回の確率的シミュレーションを実行した結果、平均的な菌糸成長軌道が、既存の実験的およびPDEベースのモデルと一致した。
• 本フレームワークは、CWCにおける空間的制約を持つ生物学的プロセスのモデリングの可能性を示した。今後の3次元空間やより洗練された空間トポロジーへの拡張が可能である。
• 本手法により、低レベルの規則指定を必要とせず、既存のCWCシミュレーションツールを活用できるようになった。これにより、複雑な空間的モデルの利用性が向上した。