DocumentCode :
2794888
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
fYear :
2000
fDate :
2000
Firstpage :
180
Lastpage :
187
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
ISSN :
1530-1362
Print_ISBN :
0-7695-0915-0
Type :
conf
DOI :
10.1109/APSEC.2000.896697
Filename :
896697
Link To Document :
بازگشت