کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873889 1440710 2018 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Distinguishing between communicating transactions
ترجمه فارسی عنوان
تفاوت بین معاملات ارتباطی
کلمات کلیدی
ترجمه چکیده
معاملات ارتباطی یک نوع از معاملات توزیع شده، غیر جدا شده است که یک ساختار ساده برای ساخت سیستم های همزمان را فراهم می کند. در این مقاله چارچوبی منطقی برای بیان خواص رفتار قابل مشاهده چنین سیستمی ایجاد می کنیم. این شامل سه منطق مودال اسمی است که روشهای ارتباطی استاندارد را به اشتراک می گذارند، اما روش های گذشته و آینده متشکل از مصادیق معاملات را دارند. هر سه منطق دارای یک قدرت متمایز بر سیستم هستند، زیرا تقسیمات ضعیف مرتبط با آن با همبستگی متقابل همخوانی دارند. علاوه بر این، آنها به همان اندازه بیانگر هستند زیرا ترجمه های معنایی حفظ شده بین فرمول های آنها وجود دارد. با استفاده از منطق ما می توانیم به وضوح نابرابری های مثال ظریف را نشان می دهیم. این مقاله ابتدا منطق مالکیت را برای معاملات غیرعملی ارائه می دهد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
تفاوت بین معاملات ارتباطی
چکیده انگلیسی
Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour of such systems. This comprises three nominal modal logics which share standard communication modalities but have distinct past and future modalities involving transactional commits. All three logics have the same distinguishing power over systems because their associated weak bisimulations coincide with contextual equivalence. Furthermore, they are equally expressive because there are semantics-preserving translations between their formulae. Using the logics we can clearly exhibit subtle example inequivalences. This work presents the first property logics for non-isolated transactions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 259, Part 1, April 2018, Pages 1-30
نویسندگان
, , ,