Abstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their computation aspect, and hence enable the modeling of concurrent, distributed, and heterogeneous systems. In this thesis, our goal is to show that Reo, a channel-based exogenous coordination language, is powerful enough to be used in the area of workflow management. In order to achieve this goal, we consider a set of workflow control patterns. We implement each of these patterns in terms of a Reo circuit and show that these Reo circuits capture the behavior of the corresponding workflow control patterns. We believe that the patterns we choose in this thesis are enough to show the strength of Reo as a workflow language. <br /><br /> We explain our approach in four steps. In the first step, we specify the general definition of workflow control patterns in terms of some Point Interval Temporal Logic formulas. In the second step, we convert each PITL formula to a constraint automaton. In the third step, we implement each workflow control pattern by a Reo circuit; each Reo circuit consists of a set of <em>components</em> and a set of <em>connectors</em> that connect and coordinate those components and provide its behavior as a relation on <em>timed data streams</em>; a timed data stream is a twin pair of a data stream and a time stream. In the forth step, we compositionally derive the constraint automata of that Reo circuit and finally, in the fifth step, we show the equivalence of the two constraint automata.

Abstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their computation aspect, and hence enable the modeling of concurrent, distributed, and heterogeneous systems. In this thesis, our goal is to show that Reo, a channel-based exogenous coordination language, is powerful enough to be used in the area of workflow management. In order to achieve this goal, we consider a set of workflow control patterns. We implement each of these patterns in terms of a Reo circuit and show that these Reo circuits capture the behavior of the corresponding workflow control patterns. We believe that the patterns we choose in this thesis are enough to show the strength of Reo as a workflow language. <br /><br /> We explain our approach in four steps. In the first step, we specify the general definition of workflow control patterns in terms of some Point Interval Temporal Logic formulas. In the second step, we convert each PITL formula to a constraint automaton. In the third step, we implement each workflow control pattern by a Reo circuit; each Reo circuit consists of a set of <em>components</em> and a set of <em>connectors</em> that connect and coordinate those components and provide its behavior as a relation on <em>timed data streams</em>; a timed data stream is a twin pair of a data stream and a time stream. In the forth step, we compositionally derive the constraint automata of that Reo circuit and finally, in the fifth step, we show the equivalence of the two constraint automata.

Técnicas de Visualização Exploratória acopladas a estratégias de interação podem ser muito úteis para apoiar processos de descoberta de conhecimento a partir de dados. Múltiplas visualizações de um mesmo conjunto de dados permitem observá-lo sob várias perspectivas, bem como explorar os pontos fortes e minimizar o efeito dos pontos fracos de técnicas específicas. Nesse contexto, é interessante que as múltiplas visualizações estejam coordenadas de forma que ações de interação executadas pelo usuário sobre uma delas possam ser propagadas para as demais durante as etapas exploratórias. Um aspecto complexo do projeto de ferramentas de visualização é justamente como acoplar representações visuais e controles interativos de maneira flexível. Esse projeto de mestrado abordou a concepção e implementação de um modelo de coordenação de ações capaz de tratar a coordenação entre múltiplas visualizações de forma genérica e flexível. Para isso, foram estudados alguns modelos de coordenação descritos na literatura e utilizados em Sistemas de Visualização de uso geral. O modelo proposto foi implementado no InfoVis, uma plataforma de software extensível que incorpora múltiplas técnicas de visualização exploratória, em desenvolvimento no ICMC-USP / Exploratory Visualization techniques in association with interaction techniques provide useful tools to support knowledge discovery processes from raw data. Multiple visualizations of the same data set allows users to observe the data from multiple perspectives, so as to make the most of the strengths of each technique, while minimizing their weaknesses. In this context, in exploratory processes it is interesting to coordinate the multiple visualizations, so that user interaction actions on one visualization are reflected in the remaining ones, thus reducing the cognitive load on the user. A complex aspect in the project of visualization tools is how to connect visual representations and interactive controls in a flexible way. This work approaches the conception and implementation of a coordination model capable of handling multiple visualizations in a generic and flexible manner. In order to accomplish this, some coordination models described in recent works in the literature and used in multi-purpose Visualization Systems were studied. The proposed model was implemented in InfoVis, an extensible software framework that incorporates multiple exploratory visualization techniques under development at the ICMC-USP

Técnicas de Visualização Exploratória acopladas a estratégias de interação podem ser muito úteis para apoiar processos de descoberta de conhecimento a partir de dados. Múltiplas visualizações de um mesmo conjunto de dados permitem observá-lo sob várias perspectivas, bem como explorar os pontos fortes e minimizar o efeito dos pontos fracos de técnicas específicas. Nesse contexto, é interessante que as múltiplas visualizações estejam coordenadas de forma que ações de interação executadas pelo usuário sobre uma delas possam ser propagadas para as demais durante as etapas exploratórias. Um aspecto complexo do projeto de ferramentas de visualização é justamente como acoplar representações visuais e controles interativos de maneira flexível. Esse projeto de mestrado abordou a concepção e implementação de um modelo de coordenação de ações capaz de tratar a coordenação entre múltiplas visualizações de forma genérica e flexível. Para isso, foram estudados alguns modelos de coordenação descritos na literatura e utilizados em Sistemas de Visualização de uso geral. O modelo proposto foi implementado no InfoVis, uma plataforma de software extensível que incorpora múltiplas técnicas de visualização exploratória, em desenvolvimento no ICMC-USP / Exploratory Visualization techniques in association with interaction techniques provide useful tools to support knowledge discovery processes from raw data. Multiple visualizations of the same data set allows users to observe the data from multiple perspectives, so as to make the most of the strengths of each technique, while minimizing their weaknesses. In this context, in exploratory processes it is interesting to coordinate the multiple visualizations, so that user interaction actions on one visualization are reflected in the remaining ones, thus reducing the cognitive load on the user. A complex aspect in the project of visualization tools is how to connect visual representations and interactive controls in a flexible way. This work approaches the conception and implementation of a coordination model capable of handling multiple visualizations in a generic and flexible manner. In order to accomplish this, some coordination models described in recent works in the literature and used in multi-purpose Visualization Systems were studied. The proposed model was implemented in InfoVis, an extensible software framework that incorporates multiple exploratory visualization techniques under development at the ICMC-USP