抄録

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

本研究では，オープンソースのVDM向け援用ツールであるVDMJと，SOAP実装であるApache Axis2を用いてモデル実行環境を構築した．通信プロトコルにSOAPを用いているため，分散環境下でモデル実行を行うことが出来る．ユーザはApache Axis2によりWebサービスとして展開されているVDMJに接続し，VDM++ファイルをアップロードすることで，モデル実行を行う．またJava向けに提供されているWeb APIを用いることで，GUIで構築された外部アプリケーションとの通信を行い，VDM++の知識を必要とすることなく利用者が仕様の妥当性を容易に検証することが出来る．