کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951420 1441450 2017 40 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Behavioural semantics for asynchronous components
ترجمه فارسی عنوان
معانی رفتاری برای اجزای ناهمزمان
کلمات کلیدی
مشخصات رفتاری، اجزای نرم افزاری، سیستم های توزیع شده، آینده
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
نویسندگان
, , , , ,