%0 Book Section %B Mathematical Frameworks for Component Software: Models for Analysis and Synthesis %D 2006 %T On the Semantics of Componentware: a Coalgebraic Perspective %A Luis Soares Barbosa %A M. Sun %A B. Aichernig %A Nuno Rodrigues %E Jifeng He %E Zhiming Liu %I World Scientific %P 69–117 %S Series on Component-Based Software Development %X

In this chapter we present a coalgebraic semantics for components. Our semantics forms the basis for a family of operators for combining components. These operators together with their algebraic laws establish a calculus for software components. We present two applications of our semantics: a coalgebraic interpretation of UML diagrams and the design of a component repository.