<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christian Koehler</style></author><author><style face="normal" font="default" size="100%">David Costa</style></author><author><style face="normal" font="default" size="100%">José Proença</style></author><author><style face="normal" font="default" size="100%">Farhad Arbab</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Reconfiguration of Reo Connectors Triggered by Dataflow</style></title><secondary-title><style face="normal" font="default" size="100%">ECEASST - Electronic Communications of the EASST</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/joseproenca/files/reconfiguration_of_reo_connectors-gt-vmt.pdf</style></url></related-urls></urls><volume><style face="normal" font="default" size="100%">10</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primitive, mobile channels with well-defined behaviour. While the structure of a connector can be modeled as a graph, its behaviour is compositionally defined using that of its primitive constituents. In previous work, we showed that graph transformation techniques are well-suited to model reconfigurations of connectors. In this paper, we investigate how the connector colouring semantics can be used to perform dynamic reconfigurations. Dynamic reconfigurations are triggered by dataflow in the connector at runtime, when certain structural patterns enriched with dataflow annotations occur. For instance we are able to elegantly model dynamic Reo circuits, such as just-in-time augmentation of singlebuffered channels to a circuit that models a channel with an unbounded buffer. Additionally we extend Reo’s visual notation and the Reo animation language to describe and animate dynamically reconfiguring connectors.&lt;/p&gt;
</style></abstract></record></records></xml>