TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To:
"N. Ramakrishnan" <[log in to unmask]>
Date:
Mon, 11 Oct 1999 09:55:17 -0700
Reply-To:
AdaWorks <[log in to unmask]>
Subject:
From:
AdaWorks <[log in to unmask]>
In-Reply-To:
<001a01bf105f$e03d1420$d9bbc5cb@Ramakrishnan>
Content-Type:
TEXT/PLAIN; charset=US-ASCII
MIME-Version:
1.0
Parts/Attachments:
TEXT/PLAIN (36 lines)
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

ATOM RSS1 RSS2