کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875190 1441586 2018 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Simulation-based matching of cloud applications
ترجمه فارسی عنوان
سازگاری مبتنی بر شبیه سازی از برنامه های ابر
کلمات کلیدی
ترجمه چکیده
در این مقاله ابتدا دو نوع آگاهی مربوط به رفتار آگاهانه از برنامه ها (دقیق و پلاگین) ارائه می کنیم که براساس یک مفهوم شبیه سازی است. ما سپس مفهوم تطبیق پلاگین را با تفکیک مفهوم شبیه سازی به منظور تطبیق عملیات با دنباله ای از عملیات گسترش می دهیم. ما همچنین یک روش هماهنگی برای محاسبه شبیه سازی آرام ارائه می دهیم، و ما به طور رسمی ثابت، پایداری و کامل بودن چنین روش هایی را ثابت می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
سازگاری مبتنی بر شبیه سازی از برنامه های ابر
چکیده انگلیسی
In this paper we first present two types of behaviour-aware matching of applications (exact and plug-in) both based on a notion of simulation. We then extend the notion of plug-in matching by relaxing the notion of simulation to permit matching an operation with a sequence of operations. We also present a coinductive procedure to compute such relaxed simulation, and we formally prove the termination, soundness, and completeness of such procedure.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 162, 15 September 2018, Pages 110-131
نویسندگان
, , , ,