• User makes correspondences between a diagram of the abstract type and a menu of fields and computed properties of the concrete type.

• Buttons on the diagram correspond to variables of the abstract type

• Equations associated with abstract type are solved by symbolic algebra

• A button is removed from diagram when solved; this prevents inconsistent specification.

• Symbolic algebra is used to make a view that maintains storage and independence properties.

• An instance of concrete type can be created from a set of basis variables.

• Data translation is possible through views as a common abstract type:

Contents    Page-10    Prev    Next    Page+10    Index