@inbook {WS04, title = {On the Semantics of Componentware: a Coalgebraic Perspective}, booktitle = {Mathematical Frameworks for Component Software: Models for Analysis and Synthesis}, series = {Series on Component-Based Software Development}, year = {2006}, pages = {69{\textendash}117}, publisher = {World Scientific}, organization = {World Scientific}, abstract = {
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.
}, author = {Luis Soares Barbosa and M. Sun and B. Aichernig and Nuno Rodrigues}, editor = {Jifeng He and Zhiming Liu} }