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: G. B. <nonlegitur@nmhp.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Thu, 7 Mar 2019 07:35:11 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <q5qhjf$vsa$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>
 <q5nsmf$fjb$1@dont-email.me>
 <q5o00l$1gnh$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 7 Mar 2019 07:35:11 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="c8e7a8fb1b6eddb8caeb3d57de743df9";
	logging-data="32650"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/B2Ohl8ztCfT4EyOv7090J9ax9OIgg9aw="
User-Agent: NewsTap/5.3.3 (iPhone/iPod Touch)
Cancel-Lock: sha1:E3Ea/T+alaMrhsJTbriOrkITFqE=
	sha1:9Nfop4ifhCvPFRmLN5xYOVELtys=
Xref: reader01.eternal-september.org comp.lang.ada:55804
Date: 2019-03-07T07:35:11+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> On 2019-03-06 08:26, G. B. wrote:

>> That’s the start of a picture . And it’s abstraction,
>> since presumably I shouldn’t need to study most of the details in between
>> the visual clues. Call the result semantic folding that focuses on
>> communications.
> 
> You refer more or less the UML sequence diagram here.

Not so much, sequence diagrams might impose their sequence aspect on the
picture.

> The problem with this sort of pictures is its literality. They represent 
> an instance of task communication and not communication in its entirety 
> as an abstraction of multitude of possible communication instances.

They can show all instances, but these pictures do not represent a theory
of abstracting multiple possibilities of abstraction if they represent
communications, which the designing programmer chose to be their purpose.
However, if you can make yourself pick a picture type that shows only
participants and messages, then you even avoid the possibility of
introducing your problem of modeling only a single instance of
communication.