Software Tools Demonstration
A number of our colleague in SEN3 have been developing software tools in the context of their various projects. Many, but not all, of these tools are related to Reo and are integrated into the Eclipse Coordination Tools (ECT). The ECT also incorporates some tools developed by …
read moreIn this talk I will use notions from the theory of algebraic graph transformation (distribution and amalgamation) to model synchronized reconfiguration of connectors. The idea is that connectors consist of a number of wired black boxes and that a reconfiguration of the system is modeled by a set of of …
read moreThis talk will be about ongoing work on decomposition of port automata, which are a simplified version of constraint automata. The goal is to decompose an arbitrary port automaton into instances of a finite number of primitives. The constructions for the decomposition are algebraic in the sense that I am …
read morePage 1 / 1