Title :
Formal specification of Catalysis frameworks
Author :
Filipe, Juliana Kuster ; Lau, Kung-Kiu ; Omaghi, Mario ; Taguchi, Kenji ; Yatsu, Hirokazu ; Wills, Alan
Author_Institution :
Tech. Univ. Braunschweig, Germany
Abstract :
Frameworks are increasingly being 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
Keywords :
formal specification; object-oriented methods; software reusability; subroutines; Catalysis frameworks; component-based software development; formal reasoning; formal specification; framework composition; informal description; software reuse; Drives; Formal specifications; Natural languages; Programming; Terminology; Unified modeling language;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896697