Formalizing Propagation of Priorities in Reo, Using Eight Colors

Sung-Shik Jongmans

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

167 Downloads (Pure)


Reo is a language for programming of coordination protocols among concurrent processes. Central to Reo are connectors: programmable synchronization/communication mediums used by processes to exchange data. Every connector runs at a clock; at every tick, it enacts an enabled synchronization/communication among processes. Connectors may prioritize certain synchronizations/communications over others. “Passive” connectors use their priorities only at clock ticks, to decide which enabled synchronization/communication to enact. “Active” connectors, in contrast, use their priorities also between clock ticks, to influence which synchronizations/communications become enabled; they are said to “propagate their priorities”. This paper addresses the problem of formalizing propagation of priorities in Reo. Specifically, this paper presents a new instantiation of the connector coloring framework, using eight colors. The resulting formalization of propagation of priorities is evaluated by proving several desirable behavioral equalities.

Original languageEnglish
Title of host publicationIt's All About Coordination
Subtitle of host publicationEssays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
EditorsFrank de Boer, Marcello Bonsangue, Jan Rutten
Number of pages17
ISBN (Print)978-3-319-90089-6
Publication statusPublished - 2018


Dive into the research topics of 'Formalizing Propagation of Priorities in Reo, Using Eight Colors'. Together they form a unique fingerprint.

Cite this