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!feeder.eternal-september.org!aioe.org!.POSTED.yTvCNOh9TRCAIcX40YItlQ.user.gioia.aioe.org!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Sat, 9 Mar 2019 09:59:36 +0100
Organization: Aioe.org NNTP Server
Message-ID: <q5vv9p$194c$1@gioia.aioe.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>
NNTP-Posting-Host: yTvCNOh9TRCAIcX40YItlQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.5.1
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:55818
Date: 2019-03-09T09:59:36+01:00
List-Id: <comp.lang.ada>

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?

Usually things flow in one direction, from diagrams down to the code. 
This is why people attempt to promote diagrams to requirements. Because 
otherwise you have comebacks, like:

1. Find all diagrams related to procedure Foo?

2. If specification of parameters Foo change, what changes on the 
diagram A45-34E?

Now, as a purist, you must say, OK, if something felt wrong in Foo, I 
ditch all the code, modify diagrams I suspect responsible for the mess 
and then write the code all new...

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de