ترجمه فارسی عنوان مقاله

طنز در وحشی ؟؟؟

عنوان انگلیسی

Choreographies in the wild ☆

کد مقاله	سال انتشار	تعداد صفحات مقاله انگلیسی
69241	2015	25 صفحه PDF

منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 109, 1 October 2015, Pages 36–60

ترجمه کلمات کلیدی

قراردادها، طنز، انواع جلسات

کلمات کلیدی انگلیسی

Contracts; Choreographies; Session types

ترجمه چکیده

ما در مورد استفاده از اصطلاحات در سناریوهای توزیع شده، که در آن، همانطور که در دنیای واقعی، مشارکت کنندگان متقابلا بی اعتماد (و احتمالا ناسازگار)، به رفتار مورد انتظار خود نادرست هستند، مورد بررسی قرار می گیرند. در مدل ما، هر شرکت کننده رفتار غلط خود را به عنوان یک قرارداد تبلیغ می کند. شرکت کنندگان می توانند از طریق جلسات چند حزبی، ایجاد شده زمانی که قرارداد خود را اجازه می دهد برای ترکیب یک رقصنده تعامل. ما نشان می دهیم که سیستم های شرکت کنندگان صادق (که همیشه به قراردادهایشان پایبند هستند) از پیشرفت و وفاداری جلسه برخوردار هستند.

چکیده انگلیسی

We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour. In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise a choreography. We show that systems of honest participants (which always adhere to their contracts) enjoy progress and session fidelity.