Por José Proença
No dia 26 de junho, às 14h00, no anfiteatro FC6 0.29, José Proença dará uma palestra intitulada "Asynchronous Team Automata".
Título:
Asynchronous Team Automata
Resumo:
Team automata were introduced as a flexible extension of I/O automata to model collaborative behaviour in component-based and distributed systems. Their distinctive features include multi-party communication and a liberal synchronisation mechanism: components may jointly execute shared actions according to synchronisation policies that specify which subsets of components participate as senders or receivers. While this makes team automata well suited for modelling coordination, existing communication is synchronous and therefore insufficient for capturing certain behavioural aspects (e.g., due to message reordering) of modern networks and distributed systems, in which communication is typically asynchronous and message delays are unpredictable. In this paper, we introduce asynchronous team automata (ATeams), which extend team automata with buffers to model asynchronous communication, in addition to conventional synchronous interaction. ATeams support individual interactions involving multiple senders and receivers, unlike well-known asynchronous models such as communicating finite-state machines and multi-party session types. We formalise the syntax and operational semantics of ATeams, study well-formedness and well-behavedness conditions, and present the prototypical A-Team tool that supports specification, animation and automated checks. This proposes ATeams as a unifying semantic foundation for modelling and analysis of heterogeneous synchronous-asynchronous multi-party interactions.
Bio:
José Proença é atualmente Professor Auxiliar na FCUP, Investigador no CISTER e colaborador externo do INESC TEC, em Portugal, trabalhando em modelos formais para sistemas baseados em componentes. Até janeiro de 2019, trabalhou no HASLab, INESC TEC e Universidade do Minho, principalmente com Luís Barbosa, e esteve afiliado ao Distrinet, KU Leuven, até janeiro de 2016, colaborando sobretudo com Danny Hughes e Dave Clarke. O seu trabalho tem-se centrado na coordenação de componentes distribuídos, frequentemente associada à linguagem de coordenação Reo, e em abordagens formais à engenharia de linhas de produto de software. Mais recentemente, tem trabalhado em linguagens coreográficas com interações multipartidárias e em programas com equações diferenciais que descrevem comportamentos contínuos.
Formou-se na Universidade do Minho, Portugal, num curso de 5 anos em Matemática e Ciência de Computadores. Fez um intercâmbio Erasmus de 6 meses na Universidade de Bristol, Reino Unido. Defendeu o seu doutoramento na Universidade de Leiden, em maio de 2011, com o trabalho desenvolvido no CWI, Amesterdão, no grupo de Fundamentos da Engenharia de Software.