情報処理学会 第77回全国大会講演要旨

ソフトウェア開発において、状態マシンは設計者や実装者の助けとなる。そこで本論文では、プロブレムフレームの考え方に基づいて、ドメインプロパティと要求を組み合わせることによって得られる安定状態を用いて、状態マシンの自動生成を行う。ドメインプロパティとは、ドメインの状態と入出力の関係を規定するものであり、要求を受けて、安定状態のリストを作る。このリストを用いて、開発するシステムの状態マシン図を自動的に生成することにより、記述間違いや記述漏れなどのエラーを防ぐことができる。