🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.objects
Article #13314

Re: UML si? nie nadaje?

#13314
From: rr
Date: Tue, 08 Nov 2005 16:25
17 lines
1668 bytes
> OCL tez do niczego sie nie nadaje. Nijakich nawrotow w nim nie ma.

Chodzi mi o analogiczne do UML/OCL narzędzie pozwalające na modelowanie CLP i
współbieżności. Być może nie wyraziłem się precyzjnie co do narzędzia, ale
gdybym znał narzędzie "o jakie mi chodzi", to bym o nie nie pytał ;)

Wiem że OCL nie definiuje działań podejmowanych w przypadku niespełnienia
niezmienników klas lub warunków początkowych, czy końcowych - ale można w nim
modelować ograniczenia. Niektórzy twierdzą że w OCL można doskonale modelować
CLP, współbieżność itp stąd pytam co o tym sądzicie... No i jeśli się nie
nadaje, to czy jest do wyboru coś innego.

Dzięki za pomoc!

-- 
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/
Technical Details
Message-ID: <dkqjia$17b$1@inews.gazeta.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
References: <dkpo7k$7b0$1@inews.gazeta.pl> <qha1n11lp1r5qurbjqtmmv9d29n0m5lmc2@4ax.com> <dkqddn$7d$1@inews.gazeta.pl> <cug1n1hm94p4rln8em4d7lbqha1tpfml0o@4ax.com>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: " rr" <rradz.SKASUJ@gazeta.pl>
Newsgroups: pl.comp.objects
Subject: Re: UML si? nie nadaje?
Date: Tue, 8 Nov 2005 16:25:46 +0000 (UTC)
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 17
Message-ID: <dkqjia$17b$1@inews.gazeta.pl>
References: <dkpo7k$7b0$1@inews.gazeta.pl> <qha1n11lp1r5qurbjqtmmv9d29n0m5lmc2@4ax.com> <dkqddn$7d$1@inews.gazeta.pl> <cug1n1hm94p4rln8em4d7lbqha1tpfml0o@4ax.com>
NNTP-Posting-Host: bravo171.softbank.pl
X-Trace: inews.gazeta.pl 1131467146 1259 172.20.26.239 (8 Nov 2005 16:25:46 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Tue, 8 Nov 2005 16:25:46 +0000 (UTC)
X-User: rradz
X-Forwarded-For: 172.20.6.62
X-Remote-IP: bravo171.softbank.pl
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit