کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951792 1441602 2017 37 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Constraint automata with memory cells and their composition
ترجمه فارسی عنوان
اتوماتای ​​محدودیت با سلول های حافظه و ترکیب آنها
کلمات کلیدی
هماهنگی، اتوماتای ​​محدود، ترکیب بندی، رئو، کارایی،
ترجمه چکیده
در این مقاله، ما یک ماشین سازگاری با مدل سازگاری قابل توجهی را گسترش می دهیم - با مکانیسم به طور محدود و کاملی با حوزه های داده های نامحدود، از جمله مفاهیم پایه ای مانند رفتار و هم ارز (بر اساس زبان)، همبستگی ضعیف و قوی (بر اساس تقسیم)، و ترکیب. ما همچنین در مورد ساختن تعدادی از اتوماتای ​​محدودیت ابتدایی ساده به یک کامپوزیت مجتمع، با بحث در مورد دو روش ترکیب ترکیب جایگزین و با تجزیه و تحلیل عملکرد آنها در تعدادی از آزمایشات صحبت می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
اتوماتای ​​محدودیت با سلول های حافظه و ترکیب آنها
چکیده انگلیسی
In this paper, we extend a significant coordination model-constraint automata-with a mechanism to finitely and compactly deal with infinite data domains, including foundational notions as behavior and equivalence (based on languages), weak and strong congruence (based on bisimulation), and composition. We also address the act of composing a number of simple primitive constraint automata into a complex composite one, by discussing two alternative composition approaches and by analyzing their performance in a number of experiments.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 146, 15 October 2017, Pages 50-86
نویسندگان
, , ,