Click on a theme or a project in the table below for more information.
Subproject AFM3.1: Components and connectors
Subproject leader
Dr. Frank de Boer (CWI)
Research description
The aim of the present research project is the development of
compositional methods, tools, and formal techniques for the dynamic
composition of components, the validation of their composition, and
the validation of components themselves.
The focus will be
on the connecting networks, called connectors, rather than on the
components that they connect. A promising approach in this
direction is Reo (from the Greek word reo, which means flow)
which is a channel-based coordination model recently introduced at
CWI. In Reo, complex networks, called connectors, are
compositionally built out of simpler ones. Reo is intended as a
glue language for construction of connectors that
orchestrate component instances in a component-based system. The
main goal of the research is to develop a calculus of component
connectors, as a foundation for the further development of
practical tools and programming environments for the actual
deployment of Reo.
Associate partners
AFM3.1 Researchers funded by BRICKS
- Dr. F.S. de Boer (CWI)
- Prof.dr. F. Arbab (CWI)
- Drs. C.T.H. Everaars (CWI)
- Dr. J. van de Pol (CWI)
- Prof.dr. J.J.M.M. Rutten (CWI)
- Drs. E.D. Gebler(CWI)
- Drs. S. Kemper (CWI)
For more information, please refer to the publications and posters of this project.
|
