RE: SUO: RE: Topic Maps
Dear Matthew,
>As far as I can see we are in violent agreement :-)
Good. Just one short comment:
>MW: Well they do have OCL (Object Constraint Language (?))
Yes, I downloaded the OCL info from Rational.com, but it is
very difficult to find much info about it from any other
books, manuals, etc. It seems to be something that they
seem to hide as if they were embarrassed about it.
OCL seems to be yet another notation for FOL. If some people
like it better than KIF, CGs, or any other, then that is OK.
But I believe that the UML people are making a big mistake
by not putting OCL (or something like it) at the center of
their system and using it as the lingua franca for translations
to and from all their other notations.
If some users are frightened of OCL, then they should be able
to ignore it and use the diagrams -- in the same way that they
can bypass the command line, assembly language, C, and other
things that the developers find useful when they work on the
infrastructure. But it is essential to have a solid foundation
in logic -- otherwise, everything is built on sand.
John Sowa