کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
485425 | 703325 | 2016 | 5 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems
ترجمه فارسی عنوان
استفاده از شکست و تئوری طبقه برای بررسی ارتباطات فرایند بین طراحی و پیاده سازی سیستم های همزمان
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
سیستم همزمان؛ تایید؛ تئوری دسته بندی؛ شکستها؛ CSP؛ برنامه ریزی فرایند گرا
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
چکیده انگلیسی
The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation. To deal with such a challenge, we construct a formal framework for designing, implementing and verifying the consistency of process communications. In this framework, we use Failures in Communicating Sequential Processes (CSP), Erasmus and Category Theory as the foundation. The framework is illustrated by using a running example.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Procedia Computer Science - Volume 83, 2016, Pages 700–704
Journal: Procedia Computer Science - Volume 83, 2016, Pages 700–704
نویسندگان
Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang,