A carregar...
Publicação
Visual Editor for Dynamic Condition Response Choreographies
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 4.63 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
Distributed and decentralized systems are increasingly present in critical applications,
requiring abstractions that can capture dynamic interactions while ensuring correctness
and efficiency. Choreographic programming addresses these challenges by defining global
system behavior through participant interactions. Among choreographic approaches,
Dynamic Condition Response (DCR) Choreographies stand out for their declarative style
and adaptability to evolving environments.
This thesis presents the design and development of a Visual Editor for DCR Chore-
ographies aimed at simplifying the construction, visualization, and management of dis-
tributed systems, particularly swarm systems. Swarm systems consist of decentralized,
autonomous entities that coordinate without centralized control, making choreographies
essential for defining their global behavior. The editor provides an intuitive drag-and-drop
interface, allowing users to visually build complex workflows without coding. The code
can be further generated with a single click. The technical approach includes modeling
global swarm behaviors, generating code and compiling it, visualizing role-specific pro-
jections, and simulating execution. This work contributes to the European Project TaRDIS,
aiming to enhance the accessibility and efficiency of swarm systems management through
intuitive, reactive visual tools.
The evaluation confirmed the editor’s effectiveness. A user study with participants
of varying expertise showed low error rates, reasonable task completion times, and
high satisfaction. Experts were generally faster, but the performance gap with novices
was smaller than expected, indicating accessibility across experience levels. Additional
feedback revealed that users found the editor intuitive, visually appealing, and confidence-
inspiring. These results demonstrate that the DCR Choreographies Visual Editor not only
strengthens the TaRDIS toolchain but also provides a solid foundation for future research
and richer tools for decentralized system design.
Os sistemas distribuídos e descentralizados estão cada vez mais presentes em aplicações críticas, exigindo abstrações capazes de capturar interações dinâmicas, assegurando ao mesmo tempo a correta execução e a eficiência. A programação de coreografias responde a estes desafios ao definir o comportamento global do sistema através das interações entre os participantes. Entre as abordagens coreográficas, as coreografias Dynamic Condition Response (DCR) destacam-se pelo seu estilo declarativo e capacidade de adaptação a ambientes em evolução. Esta dissertação apresenta o design e desenvolvimento de um Editor Visual para Coreografias DCR, com o objetivo de simplificar a construção, visualização e gestão de sistemas distribuídos, particularmente sistemas swarm. Os sistemas swarm são entidades descentralizadas e autónomas que se coordenam sem controlo central, tornando as coreo- grafias essenciais para o comportamento global. O editor oferece uma interface intuitiva de drag-and-drop, permitindo criar workflows visualmente, com código gerado em um clique. A abordagem técnica inclui modelação do comportamento global do swarm, geração de código, visualização de projeções por role e simulação da execução. Este trabalho contribui para o Projeto Europeu TaRDIS, que procura tornar a gestão de sistemas swarm mais acessível e eficiente através de ferramentas visuais intuitivas. A avaliação confirmou a eficácia do editor. Um estudo com utilizadores de diferentes níveis de experiência mostrou baixas taxas de erro, tempos de realização razoáveis e elevada satisfação. Os utilizadores experientes foram mais rápidos, mas a diferença em relação aos novatos foi menor do que esperado, indicando acessibilidade para todos os níveis. O feedback revelou que o editor é intuitivo, visualmente apelativo e transmite confiança. Estes resultados demonstram que o Editor Visual de Coreografias DCR apoia os objetivos do TaRDIS e fornece uma base sólida para futuras investigações e ferramentas avançadas de design de sistemas descentralizados.
Os sistemas distribuídos e descentralizados estão cada vez mais presentes em aplicações críticas, exigindo abstrações capazes de capturar interações dinâmicas, assegurando ao mesmo tempo a correta execução e a eficiência. A programação de coreografias responde a estes desafios ao definir o comportamento global do sistema através das interações entre os participantes. Entre as abordagens coreográficas, as coreografias Dynamic Condition Response (DCR) destacam-se pelo seu estilo declarativo e capacidade de adaptação a ambientes em evolução. Esta dissertação apresenta o design e desenvolvimento de um Editor Visual para Coreografias DCR, com o objetivo de simplificar a construção, visualização e gestão de sistemas distribuídos, particularmente sistemas swarm. Os sistemas swarm são entidades descentralizadas e autónomas que se coordenam sem controlo central, tornando as coreo- grafias essenciais para o comportamento global. O editor oferece uma interface intuitiva de drag-and-drop, permitindo criar workflows visualmente, com código gerado em um clique. A abordagem técnica inclui modelação do comportamento global do swarm, geração de código, visualização de projeções por role e simulação da execução. Este trabalho contribui para o Projeto Europeu TaRDIS, que procura tornar a gestão de sistemas swarm mais acessível e eficiente através de ferramentas visuais intuitivas. A avaliação confirmou a eficácia do editor. Um estudo com utilizadores de diferentes níveis de experiência mostrou baixas taxas de erro, tempos de realização razoáveis e elevada satisfação. Os utilizadores experientes foram mais rápidos, mas a diferença em relação aos novatos foi menor do que esperado, indicando acessibilidade para todos os níveis. O feedback revelou que o editor é intuitivo, visualmente apelativo e transmite confiança. Estes resultados demonstram que o Editor Visual de Coreografias DCR apoia os objetivos do TaRDIS e fornece uma base sólida para futuras investigações e ferramentas avançadas de design de sistemas descentralizados.
Descrição
Palavras-chave
Distributed Systems Dynamic Condition Response Choreographic Programming Visual Editor Swarm Systems Declarative Workflows