文献

J-GLOBAL ID：201502216169666957   整理番号：15A0937313

クラウドブローカーのための抽象的なシステム記述の検討

著者 (4件)： 三浦克宜 (北見工大) ,  齋藤篤志 (北大) ,  玉家武博 (北大) ,  棟朝雅晴 (北大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 115  号： 112(IBISML2015 1-26)  ページ： 215-220  発行年： 2015年06月16日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： IaaSのためのクラウド事業者の増加に伴い,複数のクラウド事業者のサービスを連携したインタークラウドが,構築するシステムに関する耐障害性の向上や柔軟なスケールアウトを実現するために注目されている。クラウドブローカーは,顧客要求に適したシステムをクラウド基盤上に構築するため,満たすべき制約条件やシステムの性質を精査し,適切なクラウドサービスを選択する。大規模なシステムの構想では,複雑に関連しあった多数の制約条件を,ブローキングのために有用なボリュームで分解し,個々に独立した知識として記述することが重要である。また,明確な知識の記述は,顧客とクラウドブローカー間の構築するシステムの全体像の差異を減らせられる。本論文では,論理式によるシステム記述を検討しており,それはシステムの性質や制約条件を原子論理式により記述し,そのコンジャンクションによりシステムの全体像を抽象的に記述する方法である。我々は,その原子論理式のコンジャンクションを抽象システム記述式と呼ぶ。原子論理式においては,述語でクラウドサービスを表し,項でクラウドサービスに対するパラメータを表している。その他に必要に応じてネットワーク構造やシステムに要求する性能などの制約条件を記述する原子論理式が存在する。最後に,本論文では,論理式による抽象的なシステム記述の必要性を議論するとともに,具体例に基づき抽象システム記述式を作り出す過程を示す。(著者抄録)

シソーラス用語： *計算機利用 ,  インフラストラクチャー ,  *抽象 ,  *システム記述言語 ,  数理言語学 ,  原子 ,  式 ,  供給者 ,  サービス ,  要求分析 ,  制約条件
準シソーラス用語： IaaS ,  *クラウドコンピューティング ,  クラウドサービス ,  プロバイダ【インターネット】 ,  論理式

分類 (4件)： 計算機網  (JC03000K) ,  通信網  (ND07030A) ,  数理言語学  (JB05000V) ,  計算機システム開発  (JD02010R)

引用文献 (10件)：

• Amazon web services: Amazon EC2, Amazon.com (online), available from ( http://aws.amazon.com/ec2/) (accessed 2015-02-18).
• SoftLayer an IBM Company: SoftLayer, IBM (online), available from ( http://www.softlayer.com/) (accessed 2015-02-18).
• 森田茂行:論理学-意味とモデルの理論-,東京電機大学出版局(1999).
• Amazon web services: AWS CloudFormation, Amazon.com (online), available from ( http://aws.amazon.com/cloudformation/) (accessed 2015-02-18).
• Smit, M., Pawluk, P., Simmons, B. and Litoiu, M.: A Web Service for Cloud Metadata, The 8th IEEE World Congress on Services, IEEE, pp. 361-368 (2012).

タイトルに関連する用語 (3件)： クラウド ,  抽象 ,  記述