Propostas para Dissertação

Mestrados no Departamento de Informática

Consultar ficha completa de uma proposta de dissertação

proponente: José Proença, Luís Soares Barbosa
instituição/empresa: Universidade do Minho
tema/título: Analysis and visualisation of connector families
área científica: Ciências da Computação
local: DI - Univ. Minho
curso de mestrado: Mestrado Integrado em Engenharia Informática
Synchronous dataflow coordination languages describe high-level and expressive communication
patterns between concurrent objects. Reo is a visual synchronous coordination model that can be
used to specify, analyse, and execute systems of orchestrated concurrent objects. The largest
collection of tools to analyse, specify, and execute Reo systems is currently developed as an
extensible plugin for Eclipse. This collection relies heavily on the data structures used within
Eclipse, making it non-trivial to start contributing and to reuse existing algorithms. Furthermore,
there is currently poor support for these tools. A recent extension to Reo addresses its static nature - Reo connectors typically have a fixed set of
ports and channels. This extension adds new mechanisms to express collections of similar
connectors. E.g., a special merger with an arbitrary number of entries. A prototype tool that
type-checks such families of connectors exists in,
but it lacks a good (visual and interactive) tool support. Nowadays every recent browser has a good support for JavaScript, and a vast collection of graphical
libraries exist to interact with the user. These libraries can be used to interact with Reo models,
with a more reusable core representation of connectors that can be easily extended and reused by
third parties. Goal: The goal of this project is to design and prototype a unifying and extensible framework for Reo
based on web-tools, possibly including the following tasks. - explore different backends (how to analyse/execute connectors), reusing existing algorithms from
the existing Eclipse implementation; - relate pointwise (explicit ports) and pointfree (implicit ports) connectors; - investigate alternative approaches to specify families of connectors with variations, based on
characterising dynamic logical formulas; - explore techniques to visualise and provide quick intuition over such families of connectors.