Formal Specification of Catalysis Frameworks

Juliana K\"uster Filipe
TU Braunschweig
Germany
J.Kuester-Filipe@tu-bs.de

Kung-Kiu Lau
U Manchester, UK
kung-kiu@cs.man.ac.uk

Mario Ornaghi
U Milano, Italy
ornaghi@dsi.unimi.it

Kenji Taguchi
Uppsala U, Sweden
kenji.taguchi@dis.uu.se

Hirokazu Yatsu
Nihon Unisys Ltd., Tokyo, Japan
Hirokazu.Yatsu@unisys.co.jp

Alan Wills
Trireme Ltd., Manchester, UK
alan@trireme.com

Abstract:
Frameworks  are increasingly recognised as very 
useful components in the emerging paradigm of component-based software
development (CBD). They are widely accepted as better units of reuse than objects.
The CBD methodology Catalysis, for instance, uses frameworks.
However, at present, Catalysis frameworks are described only
informally, which means we cannot reason formally about frameworks, in 
particular their composition, and thereby their reuse.  
For this we would need to specify frameworks (and their composition) formally.
In this paper, we describe our approach for doing so.