B-007
モジュール構造を考慮した形式的細粒度部品の提案

◎横山　仁・織田　健（電通大）

形式手法であるB-Methodは、無矛盾性を検証できるモデルと、
そのモデルとの整合性を検証できる実装の組で構成される。

我々はB-Methodで記述された既存のソフトウェアを細分化し細粒度部品として
再利用する手法を提案している。しかしこの手法はモジュール構造を考慮してない。

異なるソフトウェアでは機能が同等でも構造が異なることが少なくないため、
この違いを吸収することは手法の再利用性を高める上で重要である。

そこで本研究では形式的モデルにおけるモジュール構造における細粒度部品のあり方を提案し、
将来的に階層構造に依存しない部品の再利用法及びそれらを合成する手法を目指す。