Intra- and Inter-OOD-Framework Interactions in Component-based 
Software Development in Computational Logic

Juliana Kuster 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
\normalsize 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 our COCL'98, LOPSTR'98, LOPSTR'99 papers we present a formalisation of OOD
frameworks (i.e. groups of interacting objects) in component-based software 
development (CBD) in computational logic. In that formalisation, the only form 
of interactions between objects are associations (relations) between objects, 
and operations on objects which only affect their local state.However, in 
practical systems, an OOD framework F also needs to express operations 
between objects within F, as well as operations between F and other frameworks. 
In this paper we extend our formalisation to such intra- and inter-OOD-framework 
interactions. These interactions are called joint actions in the CBD methodology 
Catalysis, and we illustrate our formalisation by means of a Catalysis example.