Seminar Series 2019 - José ProençaThe Interaction-based Paradigm
CISTER, Porto, Portugal
While abstractions and constructs for sequencial languages have dramatically advanced since the early ages of computer science, programming concurrent programs relies on the same fundamental concepts for the last 50 years. These include processes, threads, locks, semaphores, monitors, rendezvous, etc. This talk will provide insights on a paradigm that regards interactions as first-class mathematical objects, expressed as relations that constrain communication ports of cooperating processes.
I will present the Reo coordination model - a formal domain-specific language for this interaction-based paradigm, used for programming concurrency protocols. These protocols take the form of Reo connectors, built compositionally, that can be specified, verified, composed, and reused, independently of the actors being coordinated. I will describe the visual syntax of connectors and some of its semantic models, and I will highlight some of my recent contributions to this community, including a compositional real-time semantics, a variability calculus, and tools to analyse connectors.
José Proença is currently a postdoc at CISTER, ISEP, Portugal, working on formal models for component-based systems.
He defended his PhD in Leiden University 2011 for his work carried in CWI, Amsterdam, worked in Distrinet, KU Leuven, Belgium until 2016, and in HASLab, University of Minho until Janyary 2019.
His work has been mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently I has been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP (now part of VersaSense), and in the context of the VirtuosoNext RTOS.
He has been involved in the organisation of several international conferences and workshops in the area of fundamental aspects of component-based systems and their coordination, including COORDINATION'15 and FACS'17, and participates in the PC of other venues in this community.
Presentation PDF (2.5MB)
CISTER's main roles: