Thus, it should not come as a surprise that, when we
came to the formalization
stage about 5 years ago, we had to begin literally from scratch.
The main difficulties have been (and will continue to
be) associated withthe need to
introduce temporal information††††††† into a structural representation, i.e. with the
concept of objectís formative/generative
And it is precisely this feature that characterizes the
radical departure from all
known mathematical paradigms.