Hierarchical structures and dynamic parameterization without parameters

Abstract

Hierarchical structuring and parameterization concepts are investigated. It is argued that such concepts can be studied independently of a particular domain of application and orthogonally to the design of the ‘flat’ objects. A dynamic parameterization concept which disposes of the static declaration of formal parameters is proposed and realized in a hierarchy definition language. The methods suggested are illustrated by applying them to algebraic specifications, and it is shown how the approach extends the notion of an institution by a general structuring and parameterization concept.