文献

J-GLOBAL ID：202002249834054306   整理番号：20A2775980

クラウド複合サービス検証のためのイベントBベースアプローチ【JST・京大機械翻訳】

An Event-B based approach for cloud composite services verification

著者 (4件)： Lahouij Aida (Universite de Sousse, ISITCom, Hammam Sousse, Tunisia) ,  Hamel Lazhar (ISIMM, Monastir University, Monastir, Tunisia) ,  Graiet Mohamed (ENSAI RENNES, Bruz, France) ,  el Ayeb Bechir (FSM, Monastir University, Monastir, Tunisia)
資料名： Formal Aspects of Computing  (Formal Aspects of Computing)
巻： 32  号： 4-6  ページ： 361-393  発行年： 2020年 
JST資料番号： T0973A  ISSN： 0934-5043  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： クラウド複合サービスの正当性の検証は挑戦的である。事実,異なるサービス記述言語と通信プロトコルを有する異なるクラウドプロバイダに由来する複数のコンポーネントサービスは,非コンシステントな構成をもたらす不和合性問題を引き起こすかもしれない構成に含まれている。本研究では,クラウド複合サービスをモデル化し,検証するための形式的手法を提案した。本論文では,4つの検証レベルを考察した。構造的,意味的,行動的,および資源配分レベル。したがって,著者らは,その精密化能力のおかげで複雑な問題分解を可能にする事象-B形式法に対抗した。提案した手法はクラウド複合サービスのモデリングと検証のための効率を証明した。提案モデルは4つの検証軸に関して4つの抽象レベルから成る。モデルの検証に証明ベースのアプローチを適用した。また,PROBツールによって提供されたモデルアニメーションのおかげで,モデルの検証に成功した。正式な方法の使用は,正確な推論と数学的証明を,正しい構築複合サービスの精緻化を確実にするモデルの補正に提供した。Copyright British Computer Society 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  資源割付 ,  精密化 ,  *アニメーション ,  不和合性 ,  仕様記述言語
準シソーラス用語： 通信プロトコル ,  形式的検証 ,  ISP【インターネット】 , 【Automatic Indexing@JST】

著者キーワード (6件)： 形式的検証 ,  クラウド複合サービス ,  意味論的検証 ,  行動検証 ,  資源配分 ,  Event-B

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (4件)： クラウド ,  サービス ,  検証 ,  イベント