[論文レビュー] Software (Re-)Engineering with PSF II: from architecture to implementation

Bob Diertens|ArXiv.org|Dec 19, 2007

Advanced Software Engineering Methodologies参考文献 24被引用数 4

ひとこと要約

本論文は、PSF IIに基づくソフトウェアリエンジニアリング手法を提示しており、プロセス仕様形式（PSF）を用いた形式的アーキテクチャ仕様が、高レベルのアーキテクチャから実行可能実装への体系的精錬を可能にすることを示している。シミュレータのアーキテクチャをPSFでモデル化し、垂直的および水平的実装技法を適用し、アニメーションおよび履歴メカニズムを統合することで、より保守性が高く再利用可能で形式的に検証可能なシステムを実現した。ただし、プロセスの高並列性に起因する30倍の性能劣化が発生した。

ABSTRACT

This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from.

研究の動機と目的

• PSF IIのソフトウェア工学およびリエンジニアリングへの応用を検討し、特にシステムアーキテクチャの構築と精錬に焦点を当てる。
• 元のPSF Toolkitシミュレータに見られる制限を解消するため、形式的仕様技法を用いて完全に再設計されたシミュレータを構築する。
• PSFに基づくアーキテクチャ仕様が、アーキテクチャから実装への体系的精錬をどの程度可能にするかを評価する。
• 履歴メカニズムや改善されたGUIといった新機能を追加しながら、形式的整合性を維持する。
• 形式的仕様化されたシステムにおける保守性、再利用性、パフォーマンスのトレードオフを評価する。

提案手法

• ソフトウェアアーキテクチャ記述に特化したPSFライブラリを用いて、シミュレータのアーキテクチャを指定し、ToolBusライブラリから抽象化する。
• 水平的および垂直的実装技法を適用して、アーキテクチャ仕様を具体的なToolBusベースのシステム設計に精錬する。
• PSF Toolkitを用いて仕様から自動的にアニメーションを生成し、リアルタイムでの動作検証を可能にする。
• アーキテクチャおよびシステムレベルの仕様を拡張することで、履歴メカニズムをシミュレータに統合し、拡張性を実証する。
• 既存のコンポonent仕様を活用して、ToolBusアプリケーションとして完全なシミュレータを実装し、コンポーネント再利用を可能にする。
• アニメーションおよびインタラクティブシミュレーションを用いて設計を検証し、低レベルの実装知識がなくてもステークホルダーが動作を検査できるようにする。

実験結果

リサーチクエスチョン

• RQ1 PSF IIは、ソフトウェアアーキテクチャを実行可能実装にまで体系的にモデル化・精錬するために、どのように効果的に利用可能か？
• RQ2 形式的アーキテクチャ仕様を用いることで、複雑なシステムのリエンジニアリングにおいて得られる実用的利点とトレードオフは何か？
• RQ3 履歴メカニズムのような新機能の段階的追加が、設計に影響を与えることなく、どの程度PSFベースの仕様で可能か？
• RQ4 プロセス代数および形式的通信プリミティブの使用が、システムの保守性およびコンポーネント再利用性をどのように向上させるか？
• RQ5 PSFアプローチが採用する細粒度の並列プロセスによる実装において、どのようなパフォーマンスおよび使いやすさのトレードオフが生じるか？

主な発見

• PSFにおけるアーキテクチャ仕様のおかげで、シンプルなシミュレータ設計から機能豊富なシステムへの移行が滑らかに、段階的に実現され、機能拡張の過程で重大な設計の混乱が生じなかった。
• 新しい実装により、コードの複雑さとコード行数が著しく削減され、保守性とコンポーネント再利用性が大幅に向上した。
• アニメーションとシミュレーションの統合により、リアルタイムでの動作検証が可能になり、設計変更や機能追加がより透明でテスト可能になった。
• 履歴メカニズムは、アーキテクチャおよびシステム設計レベルで成功裏に追加され、PSFベースの精錬プロセスの柔軟性を実証した。
• 高並列プロセスとプロセス間通信のオーバーヘッドに起因する30倍のパフォーマンス劣化が発生したが、インタラクティブおよび小規模シミュレーション用途では依然として使用可能であった。
• PSF Toolkitは、迅速なプロトタイピング、アニメーション生成、検証において不可欠な役割を果たし、アニメーションはコードベースに不慣れなステークホルダーとの効果的なコミュニケーションツールとしても機能した。