Upload
sage-finch
View
44
Download
4
Embed Size (px)
DESCRIPTION
OWL-S を用いた Web アプリケーションの検査と生成. 情報理工学研究科 計算工学専攻 海津智宏. 目次. 背景と目的 既存技術 セマンティック T-Web システム 関連研究との比較 まとめと今後の課題. 背景と目的. Web アプリケーションからの Web サービスの利用が重要性を増している Web アプリケーションの開発が容易になる. しかし、現状では Webアプリケーション開発者がUIのみに専念できるほど手軽ではない. そこで、 Web サービスにメタデータを付加し,メタデータに基づいて設計の検査と Web サービスの合成を行う手法を提案する. - PowerPoint PPT Presentation
Citation preview
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 式など、任意の検査項目を追加可能にする