[論文レビュー] Implementation of the Domain-Specific Language EasyTime using a LISA Compiler Generator

Iztok Fister, Marjan Mernik+2 more|arXiv (Cornell University)|Jun 12, 2012

Model-Driven Software Engineering Techniques参考文献 10被引用数 5

ひとこと要約

本論文では、LISAコンパイラジェネレータを用いて属性文法仕様から自動的にコンパイラを生成する手法を用い、スポーツ競技における自動タイムスコアリングシステムの設定を可能にするドメイン固有言語（DSL）であるEasyTimeを提示する。このアプローチにより、人間が読みやすいDSLにタイムスコアリングルールをエンコードすることで、カスタムプログラミングや専門ベンダーへの依存を低減し、長時間競技（例：トライアスロン）のレースイベントを柔軟かつ信頼性高く効率的に処理できる。本システムは、ウルトラダブルトライアスロン世界選手権や国内タイムトライアル大会を含む主要な大会で実運用に成功している。

ABSTRACT

A manually time-measuring tool in mass sporting competitions cannot be imagined nowadays because many modern disciplines, such as IronMan, take a long time and, therefore, demand additional reliability. Moreover, automatic timing devices, based on RFID technology, have become cheaper. However, these devices cannot operate stand-alone because they need a computer measuring system that is capable of processing the incoming events, encoding the results, assigning them to the correct competitor, sorting the results according to the achieved times, and then providing a printout of the results. In this article, the domain-specific language EasyTime is presented, which enables the controlling of an agent by writing the events in a database. In particular, we are focused on the implementation of EasyTime with a LISA tool that enables the automatic construction of compilers from language specifications using Attribute Grammars. By using of EasyTime, we can also decrease the number of measuring devices. Furthermore, EasyTime is universal and can be applied to many different sporting competitions in practice.

研究の動機と目的

• スポーツ競技、特にトライアスロンのような長時間競技における自動タイムスコアリングシステムの設定を簡素化するドメイン固有言語（DSL）を設計すること。
• 非プログラマーが高水準で表現力のあるDSLを用いてタイムスコアリング論理を定義できるようにすることで、専門ソフトウェアベンダーおよび手動設定への依存を低減すること。
• LISAコンパイラジェネレータを用いてDSLを実装し、形式的な属性文法仕様からコンパイラを自動生成すること。
• 形式的意味論と効率的な仮想マシン実行を用いて、生成されたコードの正しさ、保守性、パフォーマンスを保証すること。
• 実際のスポーツ大会での検証を通じて、実用性と信頼性を示すこと。

提案手法

• ドメイン固有言語EasyTimeは、属性文法を用いて形式的に定義され、構文、意味論、およびレースイベント処理のルールが明確に定義されている。
• LISAツールチェーンを用いて、EasyTimeの文法から自動的にコンパイラを生成し、型安全性と正しい属性伝播を保証している。
• 生成されたコンパイラは、EasyTimeプログラムをターゲットエージェントシステム上で実行可能な低レベル仮想マシン（VM）命令に変換する。
• 実行環境は、仮想マシンによって実装されており、イベントの再構築、結果のマッピング、データベースへの永続化を管理している。
• 本システムはバッチ処理モードとオンライン処理モードの両方をサポートしており、参加者を出場番号またはRFIDタグで識別し、タイムスタンプを付けて正確な順位付けを実現している。
• エージェントは、プログラムと変数を一度だけロードして初期化し、その後、リアルタイムまたはログファイルからのイベントを処理し、結果をデータベースに書き出す。

実験結果

リサーチクエスチョン

• RQ1 マルチステージスポーツ競技における複雑なタイムスコアリングルールを効果的にモデル化するためのドメイン固有言語は、どのように設計できるか？
• RQ2 LISAのようなコンパイラジェネレータは、形式的な文法仕様から信頼性の高いドメイン固有コンパイラを自動的に構築するのにどの程度有効か？
• RQ3 生成されたDSLとコンパイラは、専門的なソフトウェア支援なしに非プログラマーが自動タイムスコアリングシステムを設定できるか？
• RQ4 実際の大会において、従来の手動設定システムと比較して、本システムのパフォーマンスと信頼性はどの程度か？
• RQ5 DSLベースのアプローチは、設定の複雑さとハードウェア要件をどの程度低減できるか？

主な発見

• EasyTime DSLは、トライアスロンやタイムトライアルを含む多様なスポーツ競技における自動タイムスコアリングシステムの設定を、最小限のプログラミングスキルで可能にした。
• LISAコンパイラジェネレータにより、形式的な属性文法仕様から正しく構築されたコンパイルが自動で実現され、実装エラーが大幅に削減された。
• 本システムは、2009年のウルトラダブルトライアスロン世界選手権および2010年の自転車タイムトライアル全国選手権大会を含む実際の大会で成功裏に導入された。
• 生成されたコードは効率的に解釈されており、パフォーマンスに劣化はなく、解釈処理が時間のかかるものではなく、リアルタイムのタイムスコアリング精度に影響を及ぼさない。
• 本システムはオンライン処理とバッチ処理の両方をサポートしており、イベントデータの取り扱いの柔軟性と既存インfraとの統合を可能にしている。
• EasyTimeの使用により、測定デバイスの数を削減でき、ルールベースの論理により、1つのエージェントが複数のチェックポイントを管理できるようになった。