DocumentCode :
2040823
Title :
Towards a contract aware CORBA component container
Author :
Teiniker, Egon ; Lechner, Robert ; Schmoelzer, Gernot ; Kreiner, Christian ; Kovács, Zsolt ; Weiss, Reinhold
Author_Institution :
Salomon Autom. GmbH, Graz, Austria
Volume :
1
fYear :
2005
fDate :
26-28 July 2005
Firstpage :
545
Abstract :
Component based software engineering (CBSE) suggests the idea of applications as assemblies of prefabricated components. Practical experiences with the CORBA component model (CCM), which is a multi-language and multi-platform component architecture, have shown that pure syntax declarations are inadequate for describing trustworthy software components, in particular for reuse. In this paper we present a contract extension to the CCM metamodel, a contract aware CCM container that improves the trustworthiness of CORBA components and experimental results that explore the runtime impacts of contract verification.
Keywords :
contracts; distributed object management; formal specification; formal verification; object-oriented programming; security of data; software architecture; software reusability; CCM metamodel; CORBA component model; OCL; component based software engineering; component reuse; contract aware CORBA component container; contract verification; design by contract; multilanguage component architecture; multiplatform component architecture; prefabricated components; syntax declarations; trustworthy software components; Application software; Automation; Component architectures; Computer architecture; Containers; Contracts; Informatics; Object oriented modeling; Runtime; Unified modeling language; CCM; Design by Contract; OCL;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International
ISSN :
0730-3157
Print_ISBN :
0-7695-2413-3
Type :
conf
DOI :
10.1109/COMPSAC.2005.155
Filename :
1510082
Link To Document :
بازگشت