On the semantics of componentware: A coalgebraic perspective

On the semantics of componentware: A coalgebraic perspective (for preprint contact the author)
L. S. Barbosa, M. Sun, B. K. Aichernig, and N. Rodrigues. In Jifeng He and Zhiming Liu, editors, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, pages 69-117, Series on Component-Based Development. World Scientific, December, 2006.

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.

Order book from the publishers.