Re: Ada and UML

[Simon Wright <simon@pushface.org>]

Matteo Bordin <matteo.bordin@gmail.com> writes:

> The core idea is that, by modeling your execution platform, you can
> "instruct" your code generator to generate code with a fully specified
> semantics for a precise target platform starting from an abstract
> model. This permits to re-use the same model for different target
> platforms by just changing code generator and platform model and to
> perform high-level verifications without including "pollution" from
> the underlying run-time.

I was going to draft a reply but Matteo has said almost all that I would
have done. I'd add that

1 I wouldn't expect every possible UML construct to be translatable
  using this model. A given vendor/toolset might well specify
  limitations, presumably as a profile.

2 I wouldn't expect to be able to tweak the UML so as to generate any
  arbitrary target language (Ada) construct.

3 The converse of 3: I wouldn't expect to be able to represent any
  arbitrary target language (Ada) program in UML so as to be able to
  regenerate it.