文献

J-GLOBAL ID：201702246236262759   整理番号：17A0887300

WS-CDLコレオグラフィの形式的モデル化と検証のためのπ計算の利用【Powered by NICT】

Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies

著者 (2件)： Khaled Adel (Department Of Electrical & Computer Engineering, Univeristy Of Alberta, Ecerf W2-034, 9107-116 Street, Edmonton, AB, Canada) ,  Miller James (Department Of Electrical & Computer Engineering, Univeristy Of Alberta, Ecerf W2-034, 9107-116 Street, Edmonton, AB, Canada)
資料名： IEEE Transactions on Services Computing  (IEEE Transactions on Services Computing)
巻： 10  号： 2  ページ： 316-327  発行年： 2017年 
JST資料番号： W2437A  ISSN： 1939-1374  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サービス指向応用は,既存のWebサービスを構成すると凝集することにより実現した。オーケストレーションおよびコレオグラフィは,建物SOAへの応用のための二相互作用モデルは,いくつかの基準は,そのような相互作用を捕捉し,記述するために存在する。Webサービス・コレオグラフィ記述言語(WS CDL)は振付モデリングのための規格である。本論文では,WS-CDLの形式的モデリングのための計算(Chor計算法)を提案し,WS-CDLプログラムを生成するためのこの言語を用いた。このアプローチは既存のπ計算モデル検査ツールを用いた振付の静的検証を可能にし,行動正当性のための振付の実行時モニタリングを可能にするための基盤を築く。ワークフロー,サービス相互作用パターンを表現するための言語サポートを評価することによりその表現のための計算を検証した。振付の正当性特性を検証するためにHALツールキットの利用を実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 相互作用 ,  言語 ,  *モデル ,  モデル検査 ,  Webサービス ,  仕様記述言語 ,  *モデリング ,  ワークフロー ,  規格
準シソーラス用語： ツールキット ,  サービス指向 ,  *π計算 , 【Automatic Indexing@JST】

分類 (2件)： パターン認識  (JE07000S) ,  自然語処理  (JE06000L)

タイトルに関連する用語 (5件)： WS ,  コレオグラフィ ,  モデル化 ,  検証 ,  π計算