文献

J-GLOBAL ID：201802228694302198   整理番号：18A2062774

Webサービス構成における形式的検証手法:将来の研究のための現在の挑戦の包括的分析【JST・京大機械翻訳】

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

著者 (4件)： Souri Alireza (Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran) ,  Rahmani Amir Masoud (Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran) ,  Rahmani Amir Masoud (Computer Science, University of Human Development, Sulaimanyah, Iraq) ,  Jafari Navimipour Nima (Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran)
資料名： International Journal of Communication Systems  (International Journal of Communication Systems)
巻： 31  号： 17  ページ： e3808  発行年： 2018年 
JST資料番号： T0595A  ISSN： 1074-5351  CODEN： IJCYEZ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 今日,サービス構成は,クラウド環境,インターネットのインターネット,無線センサネットワーク,およびソフトウェア定義ネットワークのような通信ネットワークに関する新しいパラダイムである。サービス構成法の目標は,知的通信システムのユーザ要求とスマートオブジェクトの間の相互作用を提供することである。サービス構成機構を評価するために形式的検証と行動モデリング法を使用する多くの努力があった。現在まで,この話題に関する包括的な解析研究はない。したがって,本論文は,通信ネットワークにおけるサービス構成の正当性を確認するために実行されるいくつかの形式的検証アプローチに焦点を合わせた。本論文の目的は,サービス構成の形式的検証に関する現在の研究技術を包括的に分類し,検討することである。この研究分析は,構造的および機能的特性に従った最近のサービス構成アプローチの概観を提供する。比較結果により,サービス構成の正当性の説明における検証手法の大部分は,43%の意味意識アプローチであることを示した。サービス構成のための最も使用された検証法は,69%のモデル検査である。プロセス代数を29%使用し,いくつかの定理証明法を調べた機構の9%に適用した。さらに,最も広く使われているモデリングツールは,NuSMV(22%),SPIN(17%),CPN(12%),UPPAAL(12%),Event-B(10%),およびPAT(5%)である。Copyright 2018 Wiley Publishing Japan K.K. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： センサネットワーク ,  インターネット ,  モデル検査 ,  定理証明 ,  プロセス代数 ,  モデリング ,  *Webサービス ,  相互作用 ,  通信方式 ,  通信網
準シソーラス用語： SPIN ,  行動モデリング ,  無線センサネットワーク ,  クラウド開発環境 ,  *形式的検証 , 【Automatic Indexing@JST】

著者キーワード (5件)： 正確さ ,  形式的検証 ,  研究分析 ,  サービス構成 ,  Webサービス

分類 (3件)： 計算機網  (JC03000K) ,  無線通信一般  (ND08010L) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： Webサービス ,  形式的検証 ,  手法 ,  研究 ,  分析