Formal foundations of dynamic types for software components
Abstract:
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).
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 | 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 urn:nbn:de:swb:90-AAA6420006 KITopen-ID: 642000 |
| Verlag | Universität Karlsruhe (TH) |
| Serie | Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2000,8 |