My Research Activities
Updated 17.03.2011 10:07
This is an overview of my professional activities, which cover both research and applied projects. They are part of safe and comprehensible components research group, mainly.
Publications
Projects
Research interests
Modeling for component/modular systems
In general, the focus is on capturing important component characteristics on a meta-model and model level.
Concrete areas:
- The ENT meta-model which combines syntax/type-based information with user-defined ontology of terms, enabling flexible component surface element classification and handling. More details …
- Investigation of visual modeling notations in order to find a unifying representation for a wide class of component models. More details …
Component substitutability
Specializing in type-based substitutability, and studying the interplay of formal notions and the properties of real-world component frameworks.
Concrete areas and results:
- Notion of contextual substitutability i.e. considered in the context of the currently deployed component. More details …
- Versioning for component/modular systems, in particular deriving the revision identification from the (type-based) differences in specification of component surface. More details …
- Use of extra-functional properties in component suitability and substitutability evaluation. More details …
General component properties
Studying, at a higher abstraction level, what are the (various) foundational concepts of component-based approach and how concrete component models fulfill them; namely the black-box property.
Concrete areas:
- Analysis of the degree of black-box in industrial models (EJB, OSGi). More details…
- How obsessive can we be about component black-box property? Design of CoSi, a OSGi-like framework with strong information hiding properties (see details on CoSi).
Other areas
The use of discrete-time simulation in application development process including reducing the distance between the simulation and production source code; part of the DSS research group efforts.
Web foundations, in particular the structures available in markup languages and their mapping to real needs of web authors. See also areas of my professional expertise.
For reference: my PhD dissertation was on component substitutability.
Copyright 2004-2011 ZČU v Plzni,
Přemek Brada.
Publikováno v
textpatternu.