Room: CGN room C004
Title: A UNITY-based framework towards Component Based Systems
We will talk about a framework based on a quite simple formalism
called UNITY to model distributed applications. An important issue
here is program composition. Composing a distributed components can
be quite tricky. Properties that you know to hold in a component can
fall apart when the component is subjected to concurrent interactions
with other components. We will talk about how this problem can be solved
(actually, how it can be avoided). The advantage is that you can
then get Component Based engineering approach (which allow you to verify
components in isolation).
We will talk about contracts (of components): what do you need to specify there to guarantee safe composition. I will also explain the needed refinement concept; it has to balance between abstraction and composability.