A Formal Model for Componentware Klaus Bergner, Andreas