کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11030129 | 1646383 | 2019 | 44 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Towards correct cloud resource allocation in FOSS applications
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Towards correct cloud resource allocation in FOSS applications Towards correct cloud resource allocation in FOSS applications](/preview/png/11030129.png)
چکیده انگلیسی
The main objective of this paper is to propose a formal definition of the resource perspective in FOSS applications as a step towards ensuring a correct and consistent Cloud resource allocation in FOSS application modeling. Hence, we developed a Cloud Resources Allocation Model (CRAM4FOSS) for FOSS applications using the Event-B method. This model is used to formally validate the consistency of Cloud resource allocation for FOSS applications at design time, and to analyze and check its correctness according to the user's requirements and the resource's capabilities. The correctness and the consistency of our CRAM4FOSS model have been established into two phases : first, the ProB model-checker is used to detect the most obvious errors and validate the Event-B model by playing some scenarios, then a proof activity is performed to discharge the generated proof obligations that ensure the correctness of the model.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Future Generation Computer Systems - Volume 91, February 2019, Pages 392-406
Journal: Future Generation Computer Systems - Volume 91, February 2019, Pages 392-406
نویسندگان
Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet,