[論文レビュー] An IMS DSL Developed at Ericsson

Pascal Potvin, Mario Bonja+2 more|arXiv (Cornell University)|Sep 24, 2015

Model-Driven Software Engineering Techniques参考文献 4被引用数 3

ひとこと要約

本論文では、エリクソンで開発された、ソフトウェアアプリケーションにおける複雑な IMS 統合を簡素化するためのドメイン固有言語（DSL）を提示する。Scala で構築され、人間が読みやすい構文を持つこの DSL は、開発時間を短縮し、コードの明確性を向上させる。実際の2つのプロジェクトへの統合を通じて、生産性の向上が測定可能であることが実証された。

ABSTRACT

In this paper, we present how we created a Domain Specific Language (DSL) dedicated to IP Multimedia Subsystem (IMS) at Ericsson. First, we introduce IMS and how developers are burdened by its complexity when integrating it in their application. Then we describe the principles we followed to create our new IMS DSL from its core in the Scala language to its syntax. We then present how we integrated it in two existing projects and show how it can save time for developers and how readable the syntax of the IMS DSL is.

研究の動機と目的

• アプリケーションへの IP マルチメディア サブシステム（IMS）統合の複雑さに対処すること。これは、開発者に低レベルの設定やプロトコルの複雑さを負わせる。
• IMS のための特定ドメインに特化したドメイン固有言語（DSL）を設計・実装すること。これにより、低レベルの実装の詳細を抽象化する。
• IMS の設定や論理処理のための読みやすく、高水準な構文を提供することで、開発者の生産性とコードの保守性を向上させること。
• 2つの既存のソフトウェアプロジェクトへの統合を通じて、DSL の有効性を評価すること。
• DSL が、複雑な通信機器システムにおいて、開発時間を著しく短縮し、コードの明確性を高められることを示すこと。

提案手法

• DSL は、その強力な抽象化機能と型システムの能力を活かすために、Scala プログラミング言語で実装された。
• IMS の概念（サービス、機能、セッション制御など）を人間が読みやすく、ドメインに正確な方法で反映するためのカスタム構文が設計された。
• DSL は、既存の IMS ランタイム環境と互換性のある標準的な設定およびコードアーティファクトにコンパイルされた。
• 型安全性とシームレスな統合を確保するため、Scala の暗黙的変換および DSL 設計パターンを用いて言語を埋め込み実装した。
• DSL は、実世界のシナリオでの使用性とパフォーマンスを検証するため、2つの既存のエリクソンプロジェクトに統合された。
• コードの読みやすさと開発時間を、従来の実装手法と比較して測定した。

実験結果

リサーチクエスチョン

• RQ1 特定ドメイン言語が、ソフトウェアアプリケーションにおける IMS 統合の複雑さを著しく軽減できるか？
• RQ2 DSL は、IMS プロトコルを扱う開発者のコードの読みやすさと保守性をどの程度向上させるか？
• RQ3 Scala をベースにした DSL は、低レベルの IMS 設定を抽象化しながら、実行時の正しさを保つのにどの程度有効か？
• RQ4 命令的プログラミングに比べて、DSL を使用することで、開発時間と生産性にどの程度の測定可能な改善が得られるか？
• RQ5 既存のソフトウェアプロジェクトに、大きなアーキテクチャ変更なしに、DSL を成功裏に再利用・統合できるか？

主な発見

• DSL は、設定と論理定義の簡素化により、IMS 関連機能の開発時間を短縮し、より迅速な実装サイクルを実現した。
• 開発者たちは、IMS の論理処理がより自然で保守性の高い構文で表現されていることにより、コードの読みやすさが顕著に向上したと報告した。
• DSL は、低レベルの IMS プロトコルの詳細を効果的に抽象化し、開発者がプロトコルの複雑さではなくビジネス論理に集中できるようにした。
• 2つの既存プロジェクトへの統合を通じて、DSL の実用的妥当性と生産環境での再利用可能性が実証された。
• Scala の言語機能の活用により、型安全性とコンパイル時チェックが可能となり、IMS 設定におけるランタイムエラーが減少した。
• 開発者による評価では、DSL の構文は直感的で表現力に富んでおり、迅速なプロトタイピングやスムーズなオンボーディングを支援した。