کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875367 | 1441684 | 2014 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A verified algebra for read-write Linked Data
ترجمه فارسی عنوان
جبر تایید برای خواندن و نوشتن داده های مرتبط
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
معانی عملیاتی، بی اختیاری، داده های مرتبط
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
To verify the algebra, a syntax, operational semantics and proof technique are introduced. The syntax provides an abstract representation for a high level language that concisely captures queries and updates over Linked Data. The behaviour of the language is defined using a concise operational semantics. The natural notion of behavioural equivalence, contextual equivalence, is shown to coincide with the bisimulation proof technique. Bisimulation is used to verify that the algebra preserves the operational semantics, hence rewrites of programs using the algebra do not change their operational meaning. A novel combination of techniques is used to establish the correctness of the proof technique itself.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 89, Part A, 1 September 2014, Pages 2-22
Journal: Science of Computer Programming - Volume 89, Part A, 1 September 2014, Pages 2-22
نویسندگان
Ross Horne, Vladimiro Sassone,