文献

J-GLOBAL ID：201602272347799096   整理番号：16A0854014

意味類型論拡張的なクラウドサービス置換性判定研究に基づく【JST・京大機械翻訳】

Determining substitutability of cloud services supported by semantically extended type theory

著者 (6件)： Wang Xianqing (School of Information & Technology in Education, South China Normal University) ,  Huang Changqin (School of Information & Technology in Education, South China Normal University) ,  Luo Xuan (School of Information & Technology in Education, South China Normal University) ,  Nie Ruihua (School of Information & Technology in Education, South China Normal University) ,  Tang Yong (School of Information & Technology in Education, South China Normal University) ,  Mei Xiaoyong (School of Information & Technology in Education, South China Normal University)
資料名： Tongxin Xuebao  (Tongxin Xuebao)
巻： 37  号： 2  ページ： 2016026-1-2016026-11  発行年： 2016年 
JST資料番号： W1463A  ISSN： 1000-436X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： クラウドコンピューティング環境におけるサービスの動特性と易失効性はクラウド応用の重要な挑戦であり,置換サービスはその主要な対策と鍵となる研究問題である。類型論的な支援の下で1つの新しいクラウドサービスの入替え判定方法をを提案し,この方法ではまず,セッション型理論に対して意味の拡張を行い,典型的な雲を建模雲サービス行動をサービス品質判断を実現するサービスQOSタイプを設計し,次にセマンティックセッションタイプとQOSタイプの各サブタイプ規則を構築した。最後に本論文は,サービスの一貫性と互換性の文脈補題と判定の実施を完成した。判定例を展示と実験効果を解析に適用することによって,この判定方法が実現可能であることを示した,そしてエネルギー組合せサービス応用のためにより高い実行成功率をもたらす。Data from the ScienceChina, LCAS.【JST・京大機械翻訳】

シソーラス用語： *サービス ,  互換性 ,  型理論
準シソーラス用語： 成功率 ,  サブタイプ ,  サービス品質 ,  クラウドコンピューティング ,  *クラウドサービス , 【Automatic Indexing@JST】

著者キーワード (4件)： cloud service ,  type theory ,  session types ,  service substitution

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

タイトルに関連する用語 (4件)： 意味 ,  拡張 ,  クラウドサービス ,  研究