کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434944 1441655 2015 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A basis for compositionally ensuring safety properties and its connection to relational algebraic operators
ترجمه فارسی عنوان
پایه ای برای ترکیب ویژگی های ایمنی و ارتباط آن با اپراتورهای جبری متحرک
کلمات کلیدی
سیستم های همکاری، تأیید ترکیب خصوصیات سیستم، تئوری بانک اطلاعاتی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


• We introduce an approach to reduce inducers of cooperating systems.
• The approach can be applied in polynomial time in the number of subsystems.
• Discussion of the preciseness of our approach.
• Presentation of results of our reduction operator on parameterized examples.
• We show a connection to the field of relational algebra.

In this paper we report about an approach to establish safety properties of cooperating systems in polynomial time, the state space of which can be exponentially large in the number of cooperating subsystems. It consists of constructing a family of so-called inducers of a system and the reduction of these by an operator we call Edge-Match. Furthermore, we draw a connection between our approach and the theory of relational databases. Aside from pointing out an interesting connection between these fields we use this connection to apply results from the theory of relational databases to our approach.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 98, Part 4, 1 February 2015, Pages 516–530
نویسندگان
, ,