کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875367 1441684 2014 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A verified algebra for read-write Linked Data
ترجمه فارسی عنوان
جبر تایید برای خواندن و نوشتن داده های مرتبط
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
نویسندگان
, ,