文献

J-GLOBAL ID：201702267989510598   整理番号：17A0795837

ビジネスプロセスにおける正しいクラウドリソース割当に向けて【Powered by NICT】

Towards Correct Cloud Resource Allocation in Business Processes

著者 (4件)： Graiet Mohamed (High School of Computer Science and Mathematics, Monastir University, Monastir, Tunisia) ,  Mammar Amel (Computer Science Department, SAMOVAR, Telecom SudParis, CNRS, Paris-Saclay University, Evry, France) ,  Boubaker Souha (Computer Science Department, SAMOVAR, Telecom SudParis, CNRS, Paris-Saclay University, Evry, France) ,  Gaaloul Walid (Computer Science Department, SAMOVAR, Telecom SudParis, CNRS, Paris-Saclay University, Evry, France)
資料名： IEEE Transactions on Services Computing  (IEEE Transactions on Services Computing)
巻： 10  号： 1  ページ： 23-36  発行年： 2017年 
JST資料番号： W2437A  ISSN： 1939-1374  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： クラウド環境は,低運転コストと性能の高レベルを提供するために展開し実行するビジネスプロセスのための使用が増加している。それにもかかわらず,既存のビジネスプロセスにおける資源の視点の明示的と形式的記述の欠如のために,クラウドリソース管理の正当性を検証することができない。本研究の目的は,ビジネスプロセスモデリングの正確で一貫したクラウド資源配分を確実に向けた一歩としてビジネスプロセスにおける資源展望の形式的定義を提供することである。具体的には,ビジネスプロセスモデルにおける雲資源配分政策を仕様化するためのEvent-B言語に基づく形式的手法を提案した。この形式的仕様を用いた設計時にプロセスモデリングのためのクラウド資源配分の整合性を検証形式的に,ユーザ要求および調達可能資材に従ったその正しさを解析し,チェックした。その実現可能性を示すために,著者らの方法が工業的パートナーからの実際の使用事例研究を用いて試験した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 形式記述 ,  言語 ,  資源管理 ,  *資源割付 ,  形式的仕様 ,  事例研究
準シソーラス用語： 資材 ,  調達 ,  ビジネスプロセスモデル ,  ビジネスプロセスモデリング ,  *ビジネスプロセス , 【Automatic Indexing@JST】

分類 (1件)： パターン認識  (JE07000S)

タイトルに関連する用語 (4件)： ビジネス ,  プロセス ,  クラウド ,  リソース割当