大会名称 |
---|
2014年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2014 |
発行日 |
2014/8/19 |
セッション番号 |
7B |
セッション名 |
モデル・形式手法 |
講演日 |
2014/9/5 |
講演場所(会議室等) |
3B棟4F 3B402 |
講演番号 |
B-018 |
タイトル |
VDMJとApache Axis2を用いた上流工程におけるモデル実行環境の構築 |
著者名 |
村林 慧, 多田 圭佑, 和崎 克己, |
キーワード |
仕様記述言語, VDM++, モデル実行, 分散環境, SOAP |
抄録 |
本研究では,オープンソースのVDM向け援用ツールであるVDMJと,SOAP実装であるApache Axis2を用いてモデル実行環境を構築した.通信プロトコルにSOAPを用いているため,分散環境下でモデル実行を行うことが出来る.ユーザはApache Axis2によりWebサービスとして展開されているVDMJに接続し,VDM++ファイルをアップロードすることで,モデル実行を行う.またJava向けに提供されているWeb APIを用いることで,GUIで構築された外部アプリケーションとの通信を行い,VDM++の知識を必要とすることなく利用者が仕様の妥当性を容易に検証することが出来る. |
本文pdf |
PDF download (1.2MB) |