🚀 go-pugleaf

On Tue, 8 Nov 2005 16:25:46 +0000 (UTC), " rr"
<rradz.SKASUJ@gazeta.pl> wrote:

>
>> 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³ ;)
>

Jak napisalem w innym poscie, do modelowania procesow wspolbieznych
uztawam CSP (Communicating Sequentail Processes) a implementuje je w
Jave poslugujac sie biblioteka JCSP

http://www.cs.kent.ac.uk/projects/ofa/jcsp/

Jest sporo pisanych materialow na temat formalizmu CSP, w
szczegolnosci ksiazka Hoare

http://www.usingcsp.com/cspbook.pdf

Innych nie mam pod reka, moge podac tytuly pozniej jak cie
zainteersuje. Praca doktorska ktora ci podalem w poprzednim poscie
dotyczy z grubsza polaczenia notacji CSP i Object-Z


>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... 

Sadzimy ze opowiadaja glupoty.

Inna notacja ktora wydaje sie godna polecenai to notacja BON (Business
Obejct Notation) 

http://ebon.sourceforge.net/

jest ksaizka na ten temat ktora mozna sciagnac stad

http://www.bon-method.com/index_normal.htm

Niestety, mam raczej niweielkie doswiadczenie praktyczne z BON, ale to
co mam wyglada zachecajaco.


A.L.