کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875910 | 690124 | 2016 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Nondeterministic Modal Interfaces
ترجمه فارسی عنوان
رابطهای مدرن غیرمتمرکز
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نظریه های رابط، اتوماتیک رابط مدال، طراحی مبتنی بر کامپوننت، سیستم های انتقال مدرن، متفرقه باید انتقال،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Interface theories are employed in the component-based design of concurrent systems. They often emerge as combinations of Interface Automata (IA) and Modal Transition Systems (MTS), e.g., Nyman et al.'s IOMTS, Bauer et al.'s MIO, Raclet et al.'s MI or our MIA. In this paper, we generalise MI to nondeterministic interfaces, for which we properly resolve the longstanding conflict between unspecified inputs being allowed in IA but forbidden in MTS. With this solution we achieve, in contrast to related work, an associative parallel composition, a compositional preorder, a conjunction on interfaces with dissimilar alphabets supporting perspective-based specifications, and a quotienting operator for decomposing nondeterministic specifications in a single theory. In addition, we define a hiding and a restriction operator, complement conjunction with a disjunction operator and illustrate our interface theory by means of a simple example.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 642, 23 August 2016, Pages 24-53
Journal: Theoretical Computer Science - Volume 642, 23 August 2016, Pages 24-53
نویسندگان
Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler,