J
José Proença
Researcher at International Student Exchange Programs
Publications - 69
Citations - 729
José Proença is an academic researcher from International Student Exchange Programs. The author has contributed to research in topics: Computer science & Reo Coordination Language. The author has an hindex of 14, co-authored 58 publications receiving 655 citations. Previous affiliations of José Proença include Katholieke Universiteit Leuven & University of Minho.
Papers
More filters
Synchronous Coordination of Distributed Components
TL;DR: This work developed a prototype Dreams engine to test the distributed protocol, using an actor library for the Scala language and statically discover regions of the coordination layer that can execute independently, thus achieving a truly decoupled execution of connectors.
Journal ArticleDOI
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
TL;DR: The ABS language has a hybrid functional and object- oriented core, and comes with extensions that support the development of systems that are adaptable to diversified requirements, yet capable to maintain a high level of trustworthiness.
Proceedings ArticleDOI
Dreams: a framework for distributed synchronous coordination
TL;DR: The Dreams framework introduces the synchronous model based on the Reo language, which exploits the use of actors in the composition of synchronous coordination patterns to allow communication whenever possible, increasing the scalability of the implementation.
Book ChapterDOI
Variability modelling in the ABS language
TL;DR: This article describes the variability modelling features of the ABS Modelling framework, which consists of four languages, namely, μ TVL for describing feature models at a high level of abstraction, the Delta Modelling Language DML for describing variability of the ‘code' base in terms of delta modules.
Journal ArticleDOI
Channel-based coordination via constraint satisfaction
TL;DR: The channel metaphor takes a back seat and the behavioural constraints imposed by the composition of primitives are focused on, providing a clear description of the behaviour of Reo connectors in terms of synchronisation and data flow constraints and paves the way for new implementation techniques based on constraint satisfaction.