AFormalism Of Component Framework

Date: June 24

Time: 11:00

Room: CGN room C004

Speaker: Ade Azurat

Title: A Formalism of Component Framework

Abstract

Component based software engineering inherits the verification problem of software engineering in general. Verifying a property of a component based system may become more complicated since we may not always have access to the source code of all its components. Furthermore, we still need to guarantee that the properties of a verified component will still hold after the composition especially the progress properties which are not compositional in general.

In this opportunity , i will present a formalism of component verification which is based on Unity compositional theory. It provides some developmental disciplines which allow progress properties to be decomposed. I will as well discuss those disciplines and the reduction rules.