Webサービスフローの軽量形式解析

スポンサーリンク

概要

• 論文の詳細を見る

• Web サービスフローを記述するためのBPEL と呼ぶ一種の言語が標準化提案されている。Web サービスフローは,同時実行する複数アクティビティが並行性を持つため,デッドロック等の不具合を除去することが難しい。本論文ではBPEL プログラムから並行制御に着目した振舞い仕様を抽出し,並行システムに対するモデル検査の技術を用いて,振舞い検証する方法を提案する。

著者

• 中島 震

  National Institute of Informatics

関連論文

• Webサービスフローの軽量形式解析

スポンサーリンク