> the authors talk about UML <-> Ada and say things like "There is
> currently no known means ..."  and "We know of no means..."
> about generating Ada from UML or UML from Ada.  ....

I hope Rational speaks up, since my knowledge is sketchy.
The Rational Rose OO modeling tool uses UML.  The tool is very
C++ oriented, but it cna generate Ada 95 from the Rose diagrams.
That's as detailed as I can get.  Back to you, Rational.