کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
489795 | 704628 | 2015 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Using Category Theory to Verify Implementation Against Design in Concurrent Systems Using Category Theory to Verify Implementation Against Design in Concurrent Systems](/preview/png/489795.png)
چکیده انگلیسی
The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems. However, in the development of a concurrent system, there is a challenge to manage consistency between design and implementation. To deal with such a challenge, we propose a new formal verification methodology and illustrate it by a running example. In this methodology, a concurrent system is designed using a process algebra, namely communicating sequential processes, and implemented in a process-oriented programming language, namely Erasmus. The consistency between the design and the implementation of such a concurrent system is verified formally using category theory.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Procedia Computer Science - Volume 52, 2015, Pages 530-537
Journal: Procedia Computer Science - Volume 52, 2015, Pages 530-537