From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Mon, 11 Mar 2019 08:56:25 +0000
Organization: A noiseless patient Spider
Message-ID: <ly8sxlu6va.fsf@pushface.org>
References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com>
	<q508nv$gnb$1@gioia.aioe.org>
	<a9e95da8-9923-4be6-98f2-30913f0a5274@googlegroups.com>
	<e9750c52-f4bd-47c9-988c-b7fd418a4ce7@googlegroups.com>
	<q536ao$1uj3$1@gioia.aioe.org>
	<72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com>
	<q55lgi$1967$1@gioia.aioe.org>
	<f96796fc-71dc-4229-a77f-588c98a7c527@googlegroups.com>
	<q5710f$1nbo$1@gioia.aioe.org>
	<9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com>
	<q5l7rj$a8$1@dont-email.me> <q5lfgm$42k$1@gioia.aioe.org>
	<520809e3-a705-4b10-8b54-6d67c33158a6@googlegroups.com>
	<ge7rgeFg6q4U1@mid.individual.net> <q5ura4$jlu$1@gioia.aioe.org>
	<lyimwsmpir.fsf@pushface.org> <q6110b$q0$1@gioia.aioe.org>
	<lyef7fn8yg.fsf@pushface.org> <q63uld$16du$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="1e460af0a11c2df43abde8cc4df78ff1";
	logging-data="4565"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/0B5BncAlFmwSOMkAcXFl7eDKmr0sVPwA="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
Cancel-Lock: sha1:Kt/ZDzBKfMkwNKeYhKy/zcXs2N4=
	sha1:YqJv7e9r5wEQmm0sMMBOX4Vcrkk=
Xref: reader01.eternal-september.org comp.lang.ada:55829
Date: 2019-03-11T08:56:25+00:00
List-Id: <comp.lang.ada>

lyttlec <lyttlec@removegmail.com> writes:

> Code-to-diagram generators do make life easier! Especially for
> maintenance.  Speaking of which, is there a good one for Ada? I have a
> couple for C/C++ but not Ada.

The trouble with code-to-diagram generators is that it's only really
possible to make a useful diagram if it hides some aspect of the
code, and if the code is created by humans (even just one human!) there
won't be the architectural consistency to achieve that. For example,
there may be many ways of representing the notion that one Target may be
being engaged by one or more Missiles_In_Flight, but that a
Missile_In_Flight is engaging precisely one Target.

In rather the same way that it must be quite hard to convert an
optimised binary back to the Ada source code it was generated from.

That said, I wonder whether you meant diagram-to-code generators? In
that case, the relationship I described above would be straightforward
to specify in a UML class diagram, and the architectural decisions made
in the specific code generator would mean that you would know exactly
how to navigate the model: the function call

   Is_Engaged_By (The_Target)

would return a possibly-empty list of Missile_In_Flight.

Modelling/code generators for the sort of project that's appropriate to
model in UML (probably not e.g. FADEC, but certainly the business logic
of a railway signalling system) include

* Rational Rhapsody,
  https://www.ibm.com/uk-en/marketplace/rational-rhapsody

* Bridgepoint, https://xtuml.org

* xUML, https://abstractsolutions.co.uk/our-services/executable-uml/

* my ColdFrame, https://simonjwright.github.io/coldframe/