On Dynamic Aspects of OOD Frameworks in Component-based Software Development
in Computational Logic

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

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

Mario Ornaghi
Dipartimento di Scienze dell'Informazione,
Universita' degli studi di Milano
Via Comelico 39/41, 20135 Milano, Italy
ornaghi@dsi.unimi.it

Hirokazu Yatsu
Information Technologies & Services Division
Technologies Research & Development
Nihon Unisys Ltd., 1-1-1 Toyosu, Koto-ku, Tokyo 135-8560, Japan
Hirokazu.Yatsu@unisys.co.jp

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 an earlier paper,
we described a formal semantics of the static aspects of OOD frameworks
in computational logic. In this paper, we make a preliminary attempt
to extend this to the dynamic aspects.