[論文レビュー] Stepwise Refinement of Data Flow Architectures

Jan Philipps, Bernhard Rumpe⋆|arXiv (Cornell University)|Sep 25, 2014

Distributed systems and fault tolerance参考文献 8被引用数 3

ひとこと要約

本論文は、一貫したソフトウェア設計の進化を可能にする形式的で段階的な精錬プロセスを、共通のシステムモデルと明確に定義された文法的開発手順を用いて提案する。このアプローチにより、実用的ソフトウェア開発における異種の文書を統合し、追跡可能で意味を保った変換によってシステムビューの整合的進化を実現する。小さな事例研究を通じて、ツール支援の向上と形式的整合性の向上が確認された。

ABSTRACT

This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we propose an integrated semantics of heterogeneous documents based on a common system model and a set of syntactic development steps with a welldefined semantics for document evolution. The use of the development steps is demonstrated in a small example.

研究の動機と目的

• 実用的ソフトウェア開発手法における異種の文書統合の課題に対処すること。
• 形式的精錬手順を通じてシステムビューの整合的進化を可能にすること。
• 共通のシステムモデルを用いて多様な文書に統一された意味論を提供すること。
• ソフトウェアアーキテクチャ開発におけるツール支援と追跡可能性を支援すること。
• 実用的かつ小さな例題を用いて、そのアプローチの実現可能性と整合性を検証すること。

提案手法

• 異種の文書の意味的基盤として機能する共通のシステムモデルを定義すること。
• 文書の進化に適した、明確に定義された意味論を有する文法的開発ステップのセットを導入すること。
• 形式的精錬を用いて、高レベルのデータフロー・アーキテクチャをより詳細な設計に変換すること。
• 段階的変換ルールを通じて、アーキテクチャビュー間の追跡可能性と整合性を保証すること。
• 実際の応用を示すために、小さな事例研究にこの手法を適用すること。
• 実用的な精錬プロセスを支援するために、既存のツールとモデリング技術を活用すること。

実験結果

リサーチクエスチョン

• RQ1 どのようにして共通モデルを用いて、ソフトウェア開発における異種の文書を形式的に統合できるか？
• RQ2 どのような文法的ステップが、データフロー・アーキテクチャの整合的かつ追跡可能な進化を保証できるか？
• RQ3 形式的意味論は、実用的ソフトウェア開発プロセスにどのように適用できるか？
• RQ4 段階的精錬は、アーキテクチャの整合性とツール支援にどのような影響を及えるか？
• RQ5 統一モデルは、非形式的および形式的ソフトウェア設計実務の間のギャップを効果的に埋め合わせることができるか？

主な発見

• 提案手法により、明確に定義された文法的ステップを通じて、データフロー・アーキテクチャの整合的かつ追跡可能な進化が可能になった。
• 共通のシステムモデルが、多様な文書を形式的で整合的なフレームワークに統一した。
• 意味を保った変換プロセスを提供するため、このアプローチはツール支援と形式的検証を支援した。
• 事例研究により、形式的精錬を実世界のソフトウェア開発に適用する実現可能性と実用性が示された。
• 文書の進化にわたる意味論的一致性を強制することで、アーキテクチャ設計における曖昧性が低減された。
• 先行研究（例：arXiv:1409.6932）との重複は、形式的ソフトウェアアーキテクチャモデリング分野における段階的進歩を示している。