1K-02
形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
○結城 翔,織田 健(電通大)
我々は形式手法の一つであるBメソッドに基づき、形式的な細分化モデルと実装を対にした部品の再利用によるソフトウェア合成手法を提案している。
この手法中で新規要求を細分化したモデルは、人が不足部品を記述する際に参照されるが、人には難解な表現になる点が課題であった。
先行研究では細分化モデルの式を可能な限り要求モデルの式に置換し、置換できない式は特定の規則で式を書き直す事でなるべく簡明な表現に書き直す手法を提案していたが、
この手法は書き換え能力の改善の余地が多くあった。
本発表では、書き換え規則やアルゴリズムの見直しを行った細分化モデルの可読性向上手法を提案する。