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