کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951396 1441449 2017 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Data-driven adaptation for smart sessions
ترجمه فارسی عنوان
سازگاری با داده ها برای جلسات هوشمند
ترجمه چکیده
این مقاله چارچوبی رسمی از خود سازگاری برای جلسات چند حزبی را ارائه می دهد. تطبیق تابع شامل سیاست تکامل پویا است، با تجویز نحوه جلسه به تنظیم مجدد خود، بر اساس تغییرات بحرانی در داده های جهانی. نوع جهانی بیانگر ارتباط کلی است؛ پیش بینی های آن بر شرکت کنندگان مانیتورها را تولید می کنند که پروتکل های ارتباطی را تنظیم می کنند. نوآوری فنی اصلی محاسبات، اپراتور موازی برای ساخت انواع و مانیتورهای جهانی است که اجازه می دهد تا روش انطباق نسبتا انعطاف پذیر باشد. جلسه هوشمند می تواند انعطاف پذیری آن را به حداقل برساند، تا حدی برخی از ارتباطات را مجددا تنظیم می کند و دیگران را بدون تغییر تغییر می دهد، در صورتی که بخشی از رفتار کلی فقط باید اصلاح شود. علاوه بر این، شرکت کنندگان جدید می توانند اضافه شوند و / یا برخی از شرکت کنندگان قدیمی می توانند حذف شوند. به عنوان یک نتیجه اصلی، ما ثابت می کنیم که این مکانیسم سازگاری امن است، تا تضمین کند که ارتباطات پس از بازنشانی به درستی تکامل پیدا می کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This paper presents a formal framework of self-adaptation for multiparty sessions. The adaptation function contains the dynamic evolution policy, by prescribing how the session needs to reconfigure itself, based on critical changes in global data. A global type prescribes the overall communication choreography; its projections onto participants generate the monitors, which set-up the communication protocols. The key technical novelty of the calculus is the parallel operator for building global types and monitors, which allows the adaptation procedure to be rather flexible. The smart session is able to minimise its adaptation, by partially reconfiguring some of the communications and leaving all others unchanged, in case a part of the whole behaviour only needs to be modified. Furthermore, new participants can be added and/or some of the old participants can be removed. As a main result, we prove that this adaptation mechanism is safe, in order to guarantee that the communications will continue to evolve in a correct way after reconfiguration.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 90, August 2017, Pages 31-49
نویسندگان
, , , ,