کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951420 | 1441450 | 2017 | 40 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Behavioural semantics for asynchronous components
ترجمه فارسی عنوان
معانی رفتاری برای اجزای ناهمزمان
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
مشخصات رفتاری، اجزای نرم افزاری، سیستم های توزیع شده، آینده
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Components also provide a convenient abstraction for verifying the correct behaviour of systems: they provide structuring entities easing the correctness verification. This article provides a formal background for the generation of behavioural semantics for asynchronous components. It expresses the semantics of hierarchical distributed components communicating asynchronously by requests, futures, and replies; this semantics is provided using the pNet intermediate language. This article both demonstrates the expressiveness of the pNet model and formally specifies the complete process of the generation of a behavioural model for a distributed component system. The purpose of our behavioural semantics is to allow for verification both by finite instantiation and model-checking, and by techniques for infinite systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 89, June 2017, Pages 1-40
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 89, June 2017, Pages 1-40
نویسندگان
R. Ameur-Boulifa, L. Henrio, O. Kulankhina, E. Madelaine, A. Savu,