کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875318 | 1441633 | 2016 | 32 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A procedure for splitting data-aware processes and its application to coordination
ترجمه فارسی عنوان
یک روش برای تقسیم فرآیندهای آگاه داده و کاربرد آن در هماهنگی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: using this procedure and its related theorem, we formally establish the soundness of splitting Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo. Such splitting can significantly improve the performance of connectors as shown elsewhere.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volumes 115â116, 1 Januaryâ1 February 2016, Pages 47-78
Journal: Science of Computer Programming - Volumes 115â116, 1 Januaryâ1 February 2016, Pages 47-78
نویسندگان
S.-S.T.Q. Jongmans, D. Clarke, J. Proença,