Bringing class diagrams to life

Bringing class diagrams to life (for preprint contact the author)
L. S. Barbosa and Sun Meng. M. Hinchey (ed), Journ. Innovations in Systems and Software Engineering (to appear), Springer, 2010.

Abstract

Research in Formal Methods emphasizes a fundamental interconnection between modelling, calculation and prototyping, made possible by a common unambiguous, mathematical semantics. This paper, building on a broader research agenda on coalgebraic semantics for UML diagrams, concentrates on class diagrams and discusses how such a coalgebraic perspective can be of use not only for formalizing their specification, but also as a basis for prototyping.