抄録

◎多田圭佑・和崎克己（信州大）

著者らはVDM++向けの分散モデル実行環境を開発した．Java向けに提供しているWebAPIを用いることで，サーバ上にあるVDM++モデルをインタープリター実行する．このAPIを組み込んだクライアントアプリケーションをGUIで構築することで，より直感的なプロトタイピングが可能となる．本研究では，UMLアクティビティ図を用いた上位設計からクライアントアプリケーションの実装をJavaスケルトンコードとして自動生成し，プロトタイピングにかかるコストの削減を試みている．本報告では，Ajax用JavaScriptコード，データベース通信コードのためにコード生成器を拡張した．最後に，非同期UIを有する予約システムのプロトタイピングを行い，今回追加した生成機能を評価した．