کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333731 | 689175 | 2015 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A calculus of quality for robustness against unreliable communication
ترجمه فارسی عنوان
محاسبه کیفیت برای استحکام در برابر ارتباط غیر قابل اعتماد
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
A main challenge in the development of distributed systems is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the system. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication. The framework is illustrated on the design of a fragment of a wireless sensor network, and is substantiated by formal proofs of correctness of the analysis, which relate the original reduction semantics of the calculus to a new semantics with explicit substitutions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 611-639
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 611-639
نویسندگان
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo,