Re: UML siê nie nadaje?

Article View: pl.comp.objects

Article #13318

#13318

From: A.L.
Date: Tue, 08 Nov 2005 16:12

40 lines
1763 bytes

On Tue, 8 Nov 2005 14:40:55 +0000 (UTC), " rr"
<rradz@NOSPAM.gazeta.pl> wrote:

>> Co to znaczy "modelowac z wykorzystaniem Prologa"?... Co to znaczy
>> "modelowac" w ogole?..
>
>Chodzi mi o stworzenie schematu/opisu dzia³ania aplikacji. 
>
>> A UML  rzeczywiscie sie nir nadaje do niczego.
>
>Dlaczego do niczego? Poza tym, mo¿e OCL Waszym zdaniem bêdzie stosunkowo
>wystarczaj±cy do opisywania (modelowania) takich mechanizmów jak constraint
>programming, nawroty itp?
>
>pozdrawiam


Zobacz to:

http://citeseer.ist.psu.edu/fischer00combination.html

i ogolnie o notacji zwanej "Z" i "Object -Z". To jest to czego ja
uzywam do specyfikacji "constraint programming". Do "consurrent
systems" uzywam notacji zwanej CSP

Patrz tez:

http://www.itee.uq.edu.au/~smith/objectz.html
http://www.afm.sbu.ac.uk/z/

Tutaj jest ksaizka free

http://spivey.oriel.ox.ac.uk/~mike/zrm/

i tutaj

http://www.zuser.org/zbook/


A.L.

Technical Details

Message-ID: <84j1n15ove1oo1fq4vij29ffn8e3qhle8u@4ax.com>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newshub.sdsu.edu!tethys.csu.net!nntp.csufresno.edu!sn-xit-03!sn-xit-08!sn-xit-05!sn-post-01!supernews.com!corp.supernews.com!not-for-mail

References: <dkpo7k$7b0$1@inews.gazeta.pl> <qha1n11lp1r5qurbjqtmmv9d29n0m5lmc2@4ax.com> <dkqddn$7d$1@inews.gazeta.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newshub.sdsu.edu!tethys.csu.net!nntp.csufresno.edu!sn-xit-03!sn-xit-08!sn-xit-05!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: A.L. <lewando_won_@kalabambuko.com>
Newsgroups: pl.comp.objects
Subject: Re: UML siê nie nadaje?
Date: Tue, 08 Nov 2005 10:12:18 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <84j1n15ove1oo1fq4vij29ffn8e3qhle8u@4ax.com>
References: <dkpo7k$7b0$1@inews.gazeta.pl> <qha1n11lp1r5qurbjqtmmv9d29n0m5lmc2@4ax.com> <dkqddn$7d$1@inews.gazeta.pl>
X-Newsreader: Forte Agent 2.0/32.652
MIME-Version: 1.0
X-Complaints-To: abuse@supernews.com
Lines: 40
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message