[論文レビュー] Organizing the Aggregate: Languages for Spatial Computing

Jacob Beal, Stefan Dulman+3 more|arXiv (Cornell University)|Feb 24, 2012

Modular Robots and Swarm Intelligence被引用数 23

ひとこと要約

本稿は、空間計算におけるドメイン特化言語（DSL）を分析・比較する包括的枠組みを提案する。主な焦点は、集約レベルのアプリケーション記述と低レベルのデバイスプログラミングの間のギャップを埋めるグローバルからローカルへのコンパイル技術に向けている。8つの分野にわたる空間DSLを調査し、主要な抽象化と設計パターンを特定し、汎用的空間言語（GPSL）とその専門的DSLとの統合を含む今後の研究方向性を提示する。

ABSTRACT

As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.

研究の動機と目的

• デバイス集約の高水準な目標と、個々のデバイスをプログラミングする際の低レベルの複雑さの間の拡大するギャップに対処する。
• 多様な空間計算DSL間で共通する抽象化を特定・形式化し、体系的な比較と設計を可能にする。
• コアプログラミング抽象化と動作意味論に基づいて、空間DSLの分類法を構築する。
• 汎用的空間言語（GPSL）とその専門的DSLとの統合を含む、今後の研究のロードマップを提供する。
• 言語設計の原則とコンパイル技術を通じて、空間的に分散されたシステムのスケーラビリティ、保守可能性、ユーザーフレンドリさを向上させる。

提案手法

• アプリケーション論理を低レベル実装から分離するため、抽象的なデバイスおよびシステム管理レイヤーを備えた汎用的集約プログラミングアーキテクチャを提案する。
• 時間的・空間的演算を5つのカテゴリーに定義する：測定、パターン計算、操作、物理的進化、メタ操作。
• 集約的動作が個々のデバイス動作にどのように表現され、コンパイルされるかを示すために、参照例「T-プログラム」を導入する。
• 代表的な言語（例：Proto、MGS、NetLogo、Regiment、TOTA、$3\pi$）を用いて、アモルファスコンピューティング、生物学的モデリング、エージェントベースシステム、センサーネットワーク、パervasiveコンピューティング、スワームロボティクス、再構成可能コンピューティング、形式的計算体系の8つの主要分野の空間DSLを調査する。
• デバイス抽象化言語、パターン言語、情報移動言語の3種類にDSLを分類し、一般化された空間言語（GPSL）と対比する。
• 比較的分析を通じて、表現力、スケーラビリティ、空間的推論支援といった言語設計上の共通点と相違点を同定する。

実験結果

リサーチクエスチョン

• RQ1 複数の分野にわたる多様な空間計算DSLを一貫して分析・比較できる包括的枠組みをどのように確立できるか？
• RQ2 異なる応用分野における成功した空間DSLの背後にあるコアな抽象化と動作パターンは何か？
• RQ3 一般化された空間言語（GPSL）が専門的DSLの基盤としてどの程度活用可能であり、ドメイン固有のニーズを満たすためにどのように拡張できるか？
• RQ4 スケーラビリティ、表現力、グローバルからローカルへのコンパイル支援の観点から、現在の空間DSLにどのような主な制限があるか？
• RQ5 GPSLは、高水準な集約プログラミングと効率的な低レベルデバイス実行の両方をどのようにサポートできるか？

主な発見

• 空間DSLの分析に向けた包括的フレームワークが、時間的・空間的演算、抽象的デバイスモデル、グローバルからローカルへのコンパイル原理に基づいて開発された。
• 調査により、パターン中心の言語から情報移動に焦点を当てたシステムまで、8つの明確に区別される空間DSLのカテゴリーが特定された。
• 一般化された空間言語（GPSL）は広範な表現力を提供するが、特定の分野に適用するには顕著な工学的作業を要する。
• 専門的DSLはしばしばその分野内では使いやすさとパフォーマンスに優れるが、分野間での再利用性と合成可能性に欠ける。
• GPSLと専門的DSLの間の統合を改善する必要がある。GPSLは、ライブラリや言語拡張を通じてDSL開発の基盤として機能すべきである。
• 本研究は、今後の研究が、専門的DSLが必要とする空間的抽象化の全範囲をサポートできるようにGPSLを設計し、スケーラビリティとコンパイル効率を向上させることに焦点を当てるべきであると結論づける。