owl-s を用いた web アプリケーションの検査と生成

OWL-S を用いた Web アプリケーションの検査と

生成

情報理工学研究科計算工学専攻

海津智宏

目次

背景と目的 既存技術 セマンティック T-Web システム 関連研究との比較 まとめと今後の課題

背景と目的 Web アプリケーションからの Web サービスの

利用が重要性を増している Web アプリケーションの開発が容易になる

しかし、現状では Web アプリケーション開発者が UI のみに専念できるほど手軽ではない

そこで、 Web サービスにメタデータを付加し，メタデータに基づいて設計の検査と Web サービスの合成を行う手法を提案する

目次

背景と目的 既存技術

T-Web システム OWL-S

セマンティック T-Web システム 関連研究との比較 まとめと今後の課題

T-Web システム Web アプリケーションのモデル記述から、プログラムレス

で Web アプリケーションを生成するシステム 低コストな Web アプリケーション生成が可能

Web アプリケーションは Web 遷移図という図で記述する Web アプリケーションにおけるページとプログラムの遷移を

記述した有向グラフ

OWL-S

セマンティック Web 関連規格のひとつ セマンティック Web と Web サービスとを結びつける Web サービスの発見・合成を目的とする

Web サービスに以下のメタデータを付加する Service Profile （サービスの概要） Process Model （動作の詳細） Service Grounding （ WSDL とのマッピング）

OWL-S Process Model

Web サービスに対し、以下の情報を付加する hasInput : 入力 hasOutput : 出力 hasPrecondition : 実行の前提条件 hasResult : 結果

hasEffect : 実行後に成り立つ条件 inCondition : 効果発生の前提条件 withOutput : 出力値の条件

目次

背景と目的 既存技術 セマンティック T-Web システム

構成 機能 実装

関連研究との比較 まとめと今後の課題

セマンティック T-Web システム(ST-Web)

Web サービスを利用した Web アプリケーションを開発 Web 遷移図を用いて Web アプリケーションのふるまいを記述 OWL-S を用いて開発を支援

パラメータの指定の自動化 事前条件の自動的な検査

ST-Web 全体の構成

エディタ機能

検査機能 生成機能

Web 遷移図モデル

ST-Web

OWL-SWeb サービス

Web アプリケーション

Web サービス提供者

Web アプリケーション開発者

ユーザー

ST-Web での Web 遷移図 Web サービス利用に特化した Web 遷移図を用いる

login

logout

Web サービスノードWeb サービスの呼び出しを表す

Web ページノード表示する Web ページを表す（静的・動的ページ）

開始点Web 遷移図外からの遷移を表す

リンクHTML のハイパーリンクフォーム送信時のデータフロー

パラメータの自動的な受け渡し

OWL-S 内で同じリソースにマッピングされたパラメータの自動的な受け渡しを行う。 例えば、ログイン Web サービスで受け取った

セッション ID をそれ以降の Web サービス呼び出しの際に利用する

従来は必要であった変数の管理が軽減される。

Web 遷移図の検査

Web アプリケーション実行時のセッション状態を計算し、事前条件やパラメータの情報と比較

リンクごとに通過時の状態を計算 Web サービスの実行やフォームへのユーザーの

入力により状態が変化する 開始点からリンクをたどり、それぞれのリンク

における状態を計算する

エラー検出

Web サービスノードの事前条件が満たされない 実行時にエラーが発生することが予想できる 警告を表示し、事前条件を満たすようにする

Web ページノードで出力すべきデータが揃っていない 実行時にエラーが発生することが予想できる 警告を表示し、必要なデータを取得できるよう

にする

エラー検出の例

login

logout

unknown

unknown unknown

unknownunknown

Login(x,false)

Login(x,false) Login(x,true)

Login(x,true)Login(x,false)

getMessages

Login(x,false)

エラー！

実装

ST-Web システムを実装 ST-Web を用いて Web アプリケーションを

開発 ユーザー認証のある掲示板 ショッピングカート

実装 – 掲示板 (1)

実装 – 掲示板 (2)

ログインせずに到達可能な位置にlogout 、 getMessages 、 addMessage を配置すると警告が表示される

実装 – ショッピングカート (1)

実装 – ショッピングカート (2)

目次

背景と目的 既存技術 セマンティック T-Web システム 関連研究との比較 まとめと今後の課題

関連研究との比較 (1)

Web サービス合成の検査は LTL を用いたモデル検査が行われることが多い。 OWL-S コンポジットプロセスの検査 BPEL の検査

検査対象は主に合成 Web サービスであり、 Web アプリケーションのように途中でユーザーとの対話がある場合については考えられてこなかった。

関連研究との比較 (2)

ST-Web モデル検査

検査対象 Web 遷移図 合成 Web サービスWeb アプリケーション ○ ×

検査仕様 OWL-S LTL

検査仕様の自動生成 ○ ×

検査仕様の追加・変更 × ○

まとめと今後の課題

提案手法により Web アプリケーション開発の効率を高め、初期段階で問題点を検出することが可能となった。

今後の課題 XML の入力やマッピングを可能にする 複数の状態の重ねあわせを考える 動的な検査を可能にする LTL 式など、任意の検査項目を追加可能にする