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 X-Google-Thread: 103376,5c89acd494ea9116 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Self pointer in limited record Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1183577468.034566.57830@n60g2000hse.googlegroups.com> <9fy1xoukz1e3$.h574sqmiauri$.dlg@40tude.net> <46d968ee$0$30368$9b4e6d93@newsspool4.arcor-online.net> <137iu0lr82dtb$.wqy3zjz2vr9q.dlg@40tude.net> <46d972e8$0$30384$9b4e6d93@newsspool4.arcor-online.net> <1alyfwaig93sk$.99oy269uon$.dlg@40tude.net> <46d9c138$0$4531$9b4e6d93@newsspool3.arcor-online.net> <1rt8kdcrj6tf.1qgvycc6vh357$.dlg@40tude.net> <46db2bf4$0$7699$9b4e6d93@newsspool2.arcor-online.net> <1188816674.2630.25.camel@kartoffel.vocalweb.de> <9cdmw7k85sey.85sb2t1bjefy$.dlg@40tude.net> <1mbajw59c3eir.jyl8bdp6qvj8.dlg@40tude.net> <1188850449.2630.60.camel@kartoffel.vocalweb.de> <1aza6nzawgcnm.sf76q4dvzw4n$.dlg@40tude.net> <46de8897$0$16115$9b4e6d93@newsspool1.arcor-online.net> <15hzyyy3soem0.12hn79bwy27zt$.dlg@40tude.net> <36wdoqy402nv$.14ugvmc6edxwu.dlg@40tude.net> Date: Wed, 5 Sep 2007 21:52:37 +0200 Message-ID: <128w4o7mesap4$.jjwa555mydo6$.dlg@40tude.net> NNTP-Posting-Date: 05 Sep 2007 21:52:08 CEST NNTP-Posting-Host: 0de02c24.newsspool3.arcor-online.net X-Trace: DXC=V3^hT?McF=Q^Z^V384Fo<]lROoR1^;5]aA^R6>2kEV?<[ On Wed, 05 Sep 2007 18:25:29 +0200, Jean-Pierre Rosen wrote: > Dmitry A. Kazakov a �crit : >> None of standard meanings 1-6 can be thought on the basis of single >> instance. > 2 certainly can. The idea is that you cannot put "Spike the dog" into > your computer; what you can do is put some characteristics of it in the > form of data that are of interest from the point of view of your > program. You therefore abstract away all the uninteresting properties. Yes, but my point is that these characteristics would have qualitative or quantitative values from some sets. For example weight. Can I change it? Would it be Spike? If yes, then what does the weight characterize? If not, where is Spike? As long as I can construct (not Spike), it is not unique. Alone the word "characterize" bears in it to distinguish, to mark ... among some class of things. >> The dictionary explicitly refers to "instances" and "examples." >> Even treating abstraction exclusively as modeling with removing something >> in order to model (though why couldn't we add something?) > How could you have something in the model that is not in what you are > modelling? I can add some properties to make implementation simpler or possible. This happens quite often. For example, a telephone number modeled by a string, function "+" with Constraint_Error added to its contract, imaginary part or electric resistance. Some generalized problems are sufficiently simpler than their constrained variants. >> , even when >> abstraction = moving from one substrate to another, one have to model not >> only the object, but the relations it participates with other objects. > But you can have relations between instances, not necessarily between > classes. If I walk Spike, it is a relation between an instance of a > human being and an instance of a dogan being :-) Or an instance of a relation between human and dog. When you are designing AdaControl, who walks Spike? (:-)) -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de