Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Palestra Prof. José Fiadeiro no PESC'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Friday, April 04, 2014 At 11:00
Duração: 2 Horas

Palestra Prof. José Fiadeiro
Data: 04/04/2014, às 11 horas
Local H-318 (Seminário) bloco H, PESC

Título: "A component and an interface algebra for dynamic networks of interactions"

As a result of the global interconnectivity ensured by the Web, the new landscape of systems that are operating in cyber-space is that of networks of systems where execution at the network nodes, which could be triggered by humans or performed by programmed devices, enable the spontaneous evolution of network links: as they execute, applications create a ‘social network’ of their own and use it to procure the resources or services that they need to fulfil their own ‘selfish’ goals.

In this talk, we discuss a component and an interface algebra (in the sense of de Alfaro and Henzinger) for such dynamic networks of interactions.
The component algebra allows us to reason about global properties of such networks such as consistency (all the processes in the network can agree on a joint trace) and what we call "dynamic consistency" (all the processes in the network can agree on a joint trace no matter what interactions the network receives from its environment).
The interface algebra gives us the means to control the way a network can evolve by restricting the interconnections that it can establish with other networks.

This is joint work with Antónia Lopes, Faculdade de Ciências da Universidade de Lisboa.

Short Bio

I did my undergraduate degree in Mathematics at the University of Lisbon (Faculty of Science), after which I moved to the Technical University of Lisbon (Department of Mathematics, Faculty of Engineering) where I studied for a PhD under the supervision of Amilcar Sernadas. I was awarded my doctorate in 1989, and then spent three years doing research at Imperial College London with a grant from the European Commission. I became Associate Professor in Computer Science at the Technical University of Lisbon in 1992, and moved to the University of Lisbon (Department of Informatics, Faculty of Science) in 1993. Before I joined Leicester in 2002, I held visiting research positions at Imperial College, King’s College London, PUC-Rio de Janeiro, and the SRI International. I was Head of Department at Leicester between August 2006 and July 2011.

My current research interests are in formal aspects of software system modelling and analysis in the context of global ubiquitous computing. I am a member of the Steering Committees of WS-FM (Workshop on Web Services and Formal Methods), CALCO (Conference on Algebra and Coalgebra in Computer Science, which I co-founded with Jan Rutten) and WADT (Workshop on Algebraic Development Techniques). I was chairman of the IFIP WG 1.3 (Foundations of System Specification) in 2004-09, and chairman of the Steering Committee of ETAPS (European Joint Conferences on Theory and Practice) in 2002-04. I am also member of the Editorial Board of Information Processing Letters (Elsevier).



Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)