KIT | KIT-Bibliothek | Impressum | Datenschutz

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).

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