The conceptual model which we use at time of writing is constructed using fifteen types of assertion. We describe a representative sample of five of these below:
To use these to generate our WWW site we have defined a collection of
expressions relating the expressions in our conceptual model to the
structure of our WWW site. Satisfying these expressions generates an
instance of our WWW site. Although the structure of the site itself
consists of a collection of pages written in the HTML language, we use
the translators provided by the Pillow system
to permit us a higher
level vocabulary, using structured terms, which the Pillow translators
automatically convert to HTML. A sample of the structured terms used
to represent the form of WWW pages is given below:
