. "> Thanks Markus for these many insights, this seems to be a sound > approach to the definiton (i.e. modeling) of new architectures. > What about existing architectures and their improvement? > How good is a formal language for capturing the essence of > an existing architecture?" . . .