Date: 2005-05-19 Time: 11:45 Room: CGN room C004 ----+++ Speaker: [[http://www.cs.uu.nl/staff/wishnu.html][Wishnu Prasetya]] ----+++ Title: A UNITY-based framework towards Component Based Systems ----+++ Abstract 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.