Object-Oriented Design Frameworks: Formal Specification 
and Some Implementation Issues

Ivica Crnkovic
Department of Computer Engineering, Malardalen University
721 23 Vasteras, Sweden
Ivica.Crnkovic@mdh.se

Juliana Kuester Filipe
Abt. Informationssysteme, Informatik, Technische Universitaet Braunschweig
Postfach 3329, D-38023 Braunschweig, Germany
J.Kuester-Filipe@tu-bs.de

Magnus Larsson
ABB Automation Products AB, LAB
721 59 Vasteras, Sweden
Magnus.Larsson@mdh.se

Kung-Kiu Lau
Department of Computer Science, University of Manchester
Manchester M13 9PL, United Kingdom
kung-kiu@cs.man.ac.uk

Abstract:
In component-based software development, object-oriented design (OOD)
frameworks are increasingly recognised as better units of reuse than
objects. This is because OOD frameworks are groups of interacting
objects, and as such they can  better reflect practical systems in
which objects tend to have more than one role in more than one context. 
In this paper, we show how to formally specify OOD frameworks, and
briefly discuss their implementation and configuration management.