Download presentation
Presentation is loading. Please wait.
1
OWL-Sを用いたWebアプリケーションの検査と生成
情報理工学研究科 計算工学専攻 海津智宏
2
目次 背景と目的 既存技術 セマンティックT-Webシステム 関連研究との比較 まとめと今後の課題
3
背景と目的 WebアプリケーションからのWebサービスの利用が重要性を増している
しかし、現状ではWebアプリケーション開発者がUIのみに専念できるほど手軽ではない そこで、Webサービスにメタデータを付加し，メタデータに基づいて設計の検査とWebサービスの合成を行う手法を提案する
4
目次 背景と目的 既存技術 T-Webシステム OWL-S セマンティックT-Webシステム 関連研究との比較 まとめと今後の課題
5
T-Webシステム Webアプリケーションのモデル記述から、プログラムレスでWebアプリケーションを生成するシステム
6
OWL-S セマンティックWeb関連規格のひとつ Webサービスに以下のメタデータを付加する
Service Profile（サービスの概要） Process Model（動作の詳細） Service Grounding（WSDLとのマッピング）
7
OWL-S Process Model Webサービスに対し、以下の情報を付加する hasInput : 入力 hasOutput : 出力
hasPrecondition : 実行の前提条件 hasResult : 結果 hasEffect : 実行後に成り立つ条件 inCondition : 効果発生の前提条件 withOutput : 出力値の条件
8
目次 背景と目的 既存技術 セマンティックT-Webシステム 構成 機能 実装 関連研究との比較 まとめと今後の課題
9
セマンティックT-Webシステム (ST-Web)
Webサービスを利用したWebアプリケーションを開発 Web遷移図を用いてWebアプリケーションのふるまいを記述 OWL-S を用いて開発を支援 パラメータの指定の自動化 事前条件の自動的な検査
10
ST-Web全体の構成 Webサービス提供者 OWL-S Webサービス エディタ機能 検査機能 生成機能 Webアプリケーション
開発者 Web遷移図モデル ST-Web ユーザー
11
ST-WebでのWeb遷移図 Webサービス利用に特化したWeb遷移図を用いる Webサービスノード Webページノード
（静的・動的ページ） login logout リンク 開始点 HTMLのハイパーリンク フォーム送信時のデータフロー Web遷移図外からの遷移を表す
12
パラメータの自動的な受け渡し OWL-S内で同じリソースにマッピングされたパラメータの自動的な受け渡しを行う。
例えば、ログインWebサービスで受け取ったセッションIDをそれ以降のWebサービス呼び出しの際に利用する 従来は必要であった変数の管理が軽減される。
13
Web遷移図の検査 Webアプリケーション実行時のセッション状態を計算し、事前条件やパラメータの情報と比較 リンクごとに通過時の状態を計算
開始点からリンクをたどり、それぞれのリンクにおける状態を計算する
14
エラー検出 Webサービスノードの事前条件が満たされない Webページノードで出力すべきデータが揃っていない
実行時にエラーが発生することが予想できる 警告を表示し、事前条件を満たすようにする Webページノードで出力すべきデータが揃っていない 警告を表示し、必要なデータを取得できるようにする
15
エラー検出の例 login Login(x,false) unknown Login(x,true) unknown
logout Login(x,false) エラー！ getMessages
16
実装 ST-Webシステムを実装 ST-Webを用いてWebアプリケーションを開発 ユーザー認証のある掲示板 ショッピングカート
17
実装 – 掲示板 (1)
18
実装 – 掲示板 (2) ログインせずに到達可能な位置に logout、getMessages、addMessageを
配置すると警告が表示される
19
実装 – ショッピングカート (1)
20
実装 – ショッピングカート (2)
21
目次 背景と目的 既存技術 セマンティックT-Webシステム 関連研究との比較 まとめと今後の課題
22
関連研究との比較 (1) Webサービス合成の検査はLTLを用いたモデル検査が行われることが多い。
OWL-Sコンポジットプロセスの検査 BPELの検査 検査対象は主に合成Webサービスであり、Webアプリケーションのように途中でユーザーとの対話がある場合については考えられてこなかった。
23
関連研究との比較 (2) ST-Web モデル検査 検査対象 Web遷移図 合成Webサービス Webアプリケーション ○ × 検査仕様
OWL-S LTL 検査仕様の自動生成 検査仕様の追加・変更
24
まとめと今後の課題 提案手法によりWebアプリケーション開発の効率を高め、初期段階で問題点を検出することが可能となった。 今後の課題
XMLの入力やマッピングを可能にする 複数の状態の重ねあわせを考える 動的な検査を可能にする LTL式など、任意の検査項目を追加可能にする
Similar presentations
