Research

At present, my main research interests lay in the field of component-based systemic modelling, analysis and synthesis. Component-based development is characterised by a hierarchical approach to system modelling, where each system is recursively built from sub-systems of the same organic “nature”. Thus, one speaks of atomic or composite components. A component is charachterised by a pair consisting of its interface and behaviour. The latter is mostly used for the development of atomic components and analysis of the resulting system, whereas the former specifies the capability of the component to interact with other components. Each component-based approach has a fixed set of composition operators (sometimes called glue) with formal semantics associating to a set of atomic components and an instance of glue the resulting component in the same formalism.