Deconstructing Reo
نویسندگان
چکیده
Coordination in Reo emerges from the composition of the behavioural constraints of the primitives, such as channels, in a component connector. Understanding and implementing Reo, however, has been challenging due to interaction of the channel metaphor, which is an inherently local notion, and the non-local nature of constraint propagation imposed by composition. In this paper, the channel metaphor takes a back seat, and we focus on the behavioural constraints imposed by the composition of primitives, and phrase the semantics of Reo as a constraint satisfaction problem. Not only does this provide a clear intensional description of the behaviour of Reo connectors in terms of synchronisation and data flow constraints, it also paves the way for new implementation techniques based on constraint propagation and satisfaction. In fact, decomposing Reo into constraints provides a new computational model for connectors, which we extend to model interaction with an unknown external world beyond what is currently possible in Reo.
منابع مشابه
تعیین مناسب‌ترین محلول دفع یون‌های پررنات ReO-4 و مولیبداتMoO2-4 در جدایش انتخابی رنیوم از زغال فعال
متن کامل
Effects of rosemary essential oils and zinc on performance, egg quality traits, and some serum biochemical metabolites of laying hens
This study was conducted to evaluate the effects of dietary supplement-ation of rosemary essential oils (REO) and zinc (as zinc sulfate) on performance, egg quality traits, and some serum biochemical metabolites of laying hens. A total of 144 44-weeks-old Lohmann LSL-Lite laying hens were randomly allocated into four treatments, each comprising six replicates of six birds. The first group was s...
متن کاملA compositional model to reason about end-to-end QoS in Stochastic Reo connectors
In this paper we present a compositional semantics for the channel-based coordination language Reo that enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its en...
متن کاملA Compositional Semantics for Stochastic Reo Connectors
In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its e...
متن کاملA Specification Language for Reo Connectors
Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. Reo is a model of component coordination, wherein complex connectors are constructed by composing various types of primitive channels. Reo automata are a simple and intuitive formal model of contextdependent connectors, which provided a compositional semantics fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 229 شماره
صفحات -
تاریخ انتشار 2009