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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Sat, 9 Mar 2019 21:06:34 +0100
Organization: A noiseless patient Spider
Message-ID: <q616cb$gkj$1@dont-email.me>
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> <q5vv9p$194c$1@gioia.aioe.org>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 9 Mar 2019 20:06:35 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="c75ce735f86f3e789b126f3eab1a99a6";
	logging-data="17043"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18cYRINQuhAk+1XeT1I8O8gERO2eju30Nc="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:60.0)
 Gecko/20100101 Thunderbird/60.5.1
Cancel-Lock: sha1:0pAB7MXuWbWW7ECUHe5QwMR3jc4=
In-Reply-To: <q5vv9p$194c$1@gioia.aioe.org>
Content-Language: de-DE
Xref: reader01.eternal-september.org comp.lang.ada:55826
Date: 2019-03-09T21:06:34+01:00
List-Id: <comp.lang.ada>

On 09.03.19 09:59, Dmitry A. Kazakov wrote:
> On 2019-03-09 09:16, Simon Wright wrote:
>> russ lyttle <lyttlec@removegmail.com> writes:
>>
>>> Which brings up a recurring debate. If there is a conflict between two
>>> diagrams, which takes precedence?
>>
>> Neither, in my view (as a purist): there's a contradiction which needs
>> to be resolved.
> 
> A more interesting question is how do you detect if there is any?

When the questions is about errors in a model, one answer can
mention that a modeling tool uses formal models or meta-models,
to store manifestations of design ideas. Not just diagrams,
Model store and diagrams are based on a modeling language.
The use of a modeling language (notation) implies syntax,
semantics, and checking. Some modeling errors will be found
just because they are ungrammatical. So, pitures have grammar
and more.

In addition to the rules that are built-in, some tools will
accept and apply user-written rules for validation.

This seems familiar, to me, when compared to Ada tools. Compilers
will handle input according to the standard Ada language model,
and other tools use rules for inspecting additional properties
of an Ada program  (SPARK, AdaControl, CodePeer, ...).

The general situation is not changed, only the abstractions
are different. Both add to engineering.