We present a formal model for component systems which provides precise mathematical deenitions for concepts like component, interface, type and instance, as well as dynamic behavior and changes of system structure over time. Based on these concepts, we deene the semantics of intuitive, commonly used graphical description techniques as an interpretation in terms of the presented system model. Se...
