Periodic Seminar on "the Interaction-Centric Paradigm"

José Proença, a new Ph.D. member of CISTER, gave a talk on "the Interaction-Centric Paradigm", providing insights on a paradigm that regards interactions as first-class mathematical objects, expressed as relations that constrain communication ports of cooperating processes.

José presented the Reo coordination model - a formal domain-specific language for this interaction-based paradigm, used for programming concurrency protocols.
José's work has been mainly on coordination of distributed components, often associated to the Reo coordiation language, and on formal approaches to software product line engineering. More recently he 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), on in the context of time-sensitive connectors, and in the context of the VirtuosoNext RTOS.
José is now leading the FCT project DaVinci on distributed architectures of Cyber-Physical Systems.

PHOTOS:
At CISTER's Facebook Page / At CISTER's Instagram Page