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.56I5FT3mBptsNOMb0aL7ug.user.gioia.aioe.org!not-for-mail
From: russ lyttle <lyttlec@removegmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Sat, 9 Mar 2019 13:47:59 -0500
Organization: Aioe.org NNTP Server
Message-ID: <q611ou$460$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> <q5vv9p$194c$1@gioia.aioe.org>
NNTP-Posting-Host: 56I5FT3mBptsNOMb0aL7ug.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 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.5.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader01.eternal-september.org comp.lang.ada:55823
Date: 2019-03-09T13:47:59-05:00
List-Id: <comp.lang.ada>

On 3/9/19 3:59 AM, 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?
> 
> 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...
> 
Write some checks and repeat as needed.

I find diagrams very helpful, but only as a visualization aid. Not as a 
deliverable in the contract. And the last diagram is developed from the 
code.