KIT | KIT-Bibliothek | Impressum
Open Access Logo
URN: urn:nbn:de:swb:90-AAA6420006

Formal foundations of dynamic types for software components

Reussner, Ralf

In this work we describe a the foundations of a type system for
software components, which supports (1) error checking during
composition, (2) automatic adaption of a component's services
according to the resources of its surrounding environment, and
(3) controlled extension of components by plug-ins. Since the
type information is described at the interface of a component,
this type system can also be regarded as an new notion for to
enhance classical interfaces. This document gives a
specification of a component type and describes algorithms
performing the above actions (1) -- (3).

Zugehörige Institution(en) am KIT Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler (Lehrstuhl Inf. für Ing. u. Naturwiss.)
Publikationstyp Forschungsbericht
Jahr 2000
Sprache Englisch
Identifikator ISSN: 1432-7864
KITopen ID: 642000
Verlag Karlsruhe
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2000,8
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page