Home
Schedule
Abstract Template
Masters Attendance
UNITYCBS

Stc
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.