Mapping UML to Ada is an intersting notion. It would seem that
UML can map to most of the Ada language but not all of it. UML
seems to have been designed mainly for C++ with features added
later to support Java.

Though I am no expert on UML, it seems that Ada is richer in composition
mechanisms than one finds in the modeling notation of UML.  For example,
Ada's child library units, particularly private child library units, do
not seem to fit well into the UML notation.  There are other little
differences that seem to be outside the modeling capability of UML.  For
example, generic formal signature packages such as,

            generic
               -- type and operations parameters
            package Signature end Signature;

use for instantating generic formal package parameters.

Is there a mechanism in UML that corresponds to semantics of the protected
type?

I seem to recall that Ed Colbert was working on something that would extend
UML notation to provide a more complete mapping to Ada.

Richard

Richard Riehle
[log in to unmask]
AdaWorks Software Engineering
Suite 30
2555 Park Boulevard
Palo Alto, CA 94306
(650) 328-1815
FAX  328-1112
http://www.adaworks.com