3 <title>Zaproszenie do wspolpracy </title>
\r
6 <h1 align=center> Zaproszenie do wspolpracy </h1>
\r
7 <h3 align=center> w 3 nowych duzych projektach badawczych:</H3>
\r
9 <li><h2 > Loglan'96 </h2>
\r
10 <li><h2 > CASE Next Generation </h2>
\r
11 <li><h2 > Algorytmy probabilistyczne </h2></dir>
\r
14 Do wszystkich, ktorzy chca dzialac:<ul>
\r
16 <LI> rozwijac nowe koncepcje programowania <STRONG> <EM> obiektowego, </EM> </STRONG> <STRONG> <EM> wspolbieznego, rownoleglego i rozproszonego </EM> </STRONG>
\r
17 <li> podniesc(zdobyc) swoje kwalifikacje biorac udzial w badaniach,
\r
18 <li> przyczynic sie do rozwoju systemu Loglan,
\r
19 <li> stworzyc nowa jakosc w inzynierii oprogramowania,
\r
20 <li> dolozyc swoja cegielke do budowy obrazu naszego srodowiska, jako srodowiska dynamicznego, wiedzacego czego chce, zamierzajacego rozwiazac wazne problemy i oferujacego spoleczenstwu wyniki badan
\r
22 <p>kierujemy niniejsze
\r
25 <h1>ZAPROSZENIE</h1>
\r
27 na spotkanie - dyskusje<br>
\r
28 <center><IMG SRC = "crowd2.jpg" ></center>
\r
29 <h3 align=center>27 marca 1996 o godz. 12</H3>
\r
30 <h3 align=center>w sali 12, Instytutu Informatyki
\r
31 Politechnika Bialostocka</h3>
\r
32 <h4 align=center>ul Wiejska 45a Bialystok</h4>
\r
34 <p>Podczas spotkania przedstawimy trzy sporych rozmiarow projekty badawcze:
\r
36 <li> <h3>prof. dr hab. Wiktor DANKO - Algorytmy probabilistyczne</h3>
\r
37 <li> <h3>prof. dr hab. Grazyna MIRKOWSKA - CASE NT, system CASE nastepnej
\r
39 <li> <h3>prof. dr hab. Andrzej SALWICKI - Loglan'96</h3>
\r
42 <p>Wszystkie projekty rzucaja <em>wyzwanie</em> trudnosciom teoretycznym, zlozonosci projektow i
\r
43 naszej ogolnej niemoznosci. Nie mamy zamiaru niczego ukrywac, chcemy te wyzwania
\r
44 omowic i przedyskutowac. Wiemy, ze ich pokonanie jest mozliwe.<br>
\r
45 Projekty te sa ze soba scisle powiazane: w projekcie CASE NT chcemy wykorzystac
\r
46 Loglan jako narzedzie pracy i jako zrodlo doswiadczen, w projekcie Loglan'96
\r
47 chcielibysmy by system CASE NT stanowil uzupelnienie systemu kompilator+interpreter.
\r
49 <p><h2>Czy mamy szanse? </h2>Jak najbardziej TAK! Swiadcza o tym rozne fakty
\r
51 <li> Loglan'82 - juz raz <a href="loghome.htm">to zrobilismy</a> z sukcesem,
\r
52 <li> Linux - tu nie tylko sie powiodlo ale system rozprzestrzenia sie (miliony uzytkownikow) i
\r
53 rozwija (nowi wspolpracownicy w sieci Internet wnosza coraz to nowe pomysly i
\r
55 <li> Java - pojawienie sie Javy - mlodszego brata Loglanu, potwierdza:<br> <em>slusznosc</em> naszych
\r
56 koncepcji (np. interpreter pozwala uniezaleznic sie od platformy),<br> <em> przewage</em> naszych
\r
57 doswiadczen(np. alien call nie zostal dotad odkryty i zastosowany poza Loglanem), <br>
\r
58 <em>dojrzalosc</em> naszej bazy teoretycznej(np. rozwiazanie problemu 'wiszacych referencji",
\r
59 mozliwosc zagniezdzania modulow i dziedziczenia z roznych poziomow zagniezdzania),
\r
60 <li> systemy rozproszone - TU JEST NASZA SZANSA! i nisza ekologiczna,
\r
61 <li> GNU - spokojna praca dla srodowiska informatykow daje rezultaty doceniane przez
\r
62 wielu (no, moze poza Microsoftem)
\r
66 <p><h2>Czy bedziemy sami?</h2>
\r
67 <p> Mamy nadzieje, ze nie. Kazdy z proponowanych projektow moze przyciagnac wielu wspolpracownikow z Polski i z zewnatrz. Dla kazdego znajdzie sie praca odpowiednia do jego kwalifikacji i zamilowan.
\r
68 Nasze zaproszenie jest zaadresowane do pracownikow naukowych, ambitnych studentow, placowek badawczych i firm software'owych.
\r
70 <p><h2>Co mozemy z tego miec?</h2>
\r
72 <li>Kilka produktow o nowych cechach, nowej jakosci.<br> Produkty te moga byc rozpowsechniane na zasadach jakie zostana przez nas ustalone. Nawet jesli ustalimy, ze "goly" produkt bedzie udostepniany za darmo, to jego odpowiednio "ubrana" wersja moze byc produktem komercyjnym. Osoby i firmy konfekcjonujace software moga zawsze pobierac za to oplaty.<br> Dla przykladu przypominam, ze system TEX jest dystrybuowny za darmo a systemy TEXtures (dla Maca) i Scientific Word (dla Windows), kosztuja kilkaset zlotych/egz. Mozna znalezc inne przyklady (Mosaic i Netscape, Linux ktory mozna sciagnac za darmo lub kupic CD-ROM z Linuxem, etc.)
\r
73 <li>Najwazniejszym efektem naszych prac powinny sie stac publikacje i komunikaty na konferencjach.
\r
74 <li>Publikacje te powinny prowadzic do potwierdzenia zdobytych kwalifikacji w postaci <em>stopni naukowych: magisteriow, doktoratow i habilitacji.</em>
\r
77 <p><h2>Co trzeba zrobic?</h2>
\r
78 <p> Zacznijmy od cytatu "apetyt rosnie w miare jedzenia". W naszym przypadku oznacza to, ze poczatkowa specyfikacja
\r
79 projektu (projektow) bedzie ulegac zmianom, rozszerzeniom.
\r
82 <p> Tu jest wiele do zrobienia:
\r
84 <li>projekt nowego jezyka i jego realizacja,<br>
\r
86 Nalezy wprowadzic troche niezbednych zmian i troche ulepszen.<br>
\r
87 Opracowac definicje semantyki jezyka (najlepiej podac aksjomatyczna definicje - to zadanie trudne ale mozliwe do zrealizowania),<br>
\r
88 Napisac kompilator w Loglanie. <em> Dlaczego w Loglanie?</em><br>
\r
89 Zaprojektowac nowy interpreter - L-maszyne <em> Dlaczego interpreter?</em><br>
\r
92 <li>rozwoj zastosowan obecnej wersji Loglanu i jej pielegnacja do czasu uruchomienia nowej wersji<br>
\r
93 Szczegolnie wazne jest dokonczenie prac nad wykonywaniem programow Loglanowskich w sieci maszyn w pelni heterogenicznej. Obecnie Loglan jest realizowany w sieci maszyn Unixowych (Sun, Apollo, Linux, SCO Unix etc). Dla uczelni wazne jest aby siec zawierala maszyny roznych platform (DOS, Windows, Unix...) <br>
\r
94 Ulepszenie predefiniowanych klas GRAFIKA i MYSZ. Szczegolnie dla X-windows. Obecne wersje nas nie zadowalaja.
\r
95 <li> opracowanie programu pracowni programowania obiektowego,<br>
\r
97 <li> opracowanie bardziej nowoczesnej wersji srodowiska Loglanu
\r
99 Idzie tu nie tylko o badania wdrozeniowe, ktorych cecha jest poszukiwanie odpowiedzi na pytanie: czy mozna zbudowac przedmiot (tu: software) o pozadanych (wyspecyfikowanych ) cechach.
\r
100 W projekcie mieszcza sie tez badania o charakterze podstawowym - poszukiwanie odpowiedzi na zasadnicze pytania zob. <a href="openpbms.htm">otwarte problemy </a><p>
\r
101 <h4 align=center>Ponizej przedstawiamy zestawienie zadan w trzech wiekszych grupach tematycznych.</h4> I nieco komentarzy.
\r
104 <tr ><th colspan=2><p>Loglan'96</th></tr>
\r
105 <tr><td>Przedyskutowac i zatwierdzic raport jezyka</td><td>uwaga.1sza wersja powinna byc gotowa szybko.
\r
106 Spodziewamy sie ze trzeba bedzie ja poprawic gdy beda pierwsze wyniki dot. implementacji</td></tr>
\r
107 <tr><td>Stworzyc opis jezyka</td><td> Chcielibysmy by byl to opis formalny, aksjomatyczny, wykorzystujacy aparature logiki algorytmicznej. Ale wymagac to bedzie rozwiazania nowych problemow. W szczegolnosci dotyczacych dziedziczenia klas.</td></tr>
\r
108 <tr><td> Stworzyc opis L-maszyny virtualnej czyli interpretera</td><td>Istnieje cenne opracowanie A. Kreczmara. Do niego trzeba by dodac: procesy i obiekty trwale (persistent object).</td></tr>
\r
109 <tr><td>Podac specyfikacje i zaimplementowac kompilator Loglanu'96 w Loglanie</td><td> Proponujemy by zastosowac metode zstepujacej rekursji. Zastanowic sie czy przy okazji nie da sie stworzyc modulu alternatywnego dla yacca i bisona. Mialoby to polegac na automatycznym tworzeniu klas i innych modulow (pierwszej czesci) kompilatora na podstawie gramatyki jezyka zapisanej w notacji EBNF.</td>
\r
111 <tr><td>Zbadac i zaproponowac nowa koncepcje biblioteki modulow predefiniowanych</td><td>Kazdy program jest domyslnie prefiksowany klasa BIBLIOTEKA<br>
\r
112 <strong>pref</strong> BIBLIOTEKA <strong>program</strong><em>jego nazwa</em>;<br>
\r
113 ...<br><strong>end</strong>;<br>
\r
114 Dzieki temu moze dziedziczyc inne moduly zawarte w BIBLIOTECE. <em>Ale tylko te z pierwszego poziomu</em> zagniezdzenia.<br>
\r
115 Krotko mowiac, uwazamy ze nalezy pojecie biblioteki zorganizowac wokol pojec modul i <strong>klasa</strong>.
\r
117 <tr><td>Zaimplementowac rozpraszanie procesow w sieci heterogenicznej. </td><td> Obecnie potrafimy rozpraszac procesy w sieci maszyn Unixowych. Najblizsze zadania polegaja na przeniesieniu obecnych rozwiazan na siec zawierajaca maszyny DOS i Windows, a takze na Novella i inne platformy. </td> </tr><tr> <td> Biblioteki uslug sieciowych dla programowania w Loglanie.</td> <td>Rozszerzyc zbior klas predefiniowanych o klase NETLIB umozliwiajaca korzystanie z protokolow sieciowych roznych warstw np. TCP/IP, FTP, HTTP, ... </td></tr><tr rowspan=2><th colspan=2>"<em>Stary</em>" Loglan</th></tr>
\r
119 <tr><td>Uporzadkowac dokumentacje </td><td>Np. wydac nowa wersje raportu jezyka. To juz jest zaawansowane. </td></tr>
\r
120 <tr><td>Ulepszyc srodowisko Loglanu </td><td>Np. poprawic edytor Lotek, lub napisac nowy<br>
\r
121 Rozwazyc ponowne wprowadzenie debuggera Teresy Przytyckiej. <br>
\r
122 Ujednolicic biblioteke graficzna: w tej chwili biblioteki dla DOSa i Xwindows bardzo sie roznia. Mozna napisac w Loglanie jedna wspolna "czapke". </td></tr>
\r
123 <tr><td>Uporzadkowac aplikacje i ich opisy </td><td><ol><li>Klasa simulation<li>Opracowac pracownie programowania dla wybranych przedmiotow np. algorytmy i struktury danych , programowanie wspolbiezne i rozproszone, etc.</ol> </td></tr>
\r
124 <tr> <th colspan=2>Nowe aplikacje</th></tr>
\r
125 <tr><td> CASE NT </td><td> zob. ponizej </td></tr>
\r
126 <tr><td> browser typu HotJava </td><td> to moze byc i ciekawe i pozyteczne </td></tr>
\r
127 <tr><td> Obiektowa baza danych </td><td> Tu jest sporo wynikow zespolu L. Banachowskiego trzeba to wykorzystac </td></tr>
\r
128 <tr><td> Nowa klasa simulation </td><td> Jak powinna wygladac symulacja przeprowadzana na maszynie wieloprocesorowej? Nie wiemy, ale podejrzewamy ze powinien powstac nowy uniwersalny modul. Jego specyfikacja nie jest dla nas ozywista. Symulacja wieloprocesorowa powinna byc bardziej wydajna za wzgledu na przyspieszenie ale moze tez wnosic i inne aporty. </td></tr>
\r
130 Jest oczywiste ze ta tabela to tylko proba zorganizowania roznych zadan zwiazanych z naszym projektem. Bedzie sie ja rozbudowywac i zaopatrywac w odnosniki wskazujace na stan zaawansowania i adres osoby(osob) pracujacych nad zagadnieniem.
\r
132 <p> Obecne systemy CASE sa drogie i nie dostarczaja zadnych narzedzi wpomagajacych analize poprawnosci
\r
133 powstajacego oprogramowania wzgledem jego specyfikacji. Gorzej, bo nie dostarczane sa narzedzia wspomagajace tworzenie specyfikacji ani tym bardziej ich analizy. Dzis czesto przez specyfikacje rozumie sie liste metod (operacji) czyli funkcji i procedur wraz z wyliczeniem typow argumentow i wynikow. To jest uproszczenie idace zbyt daleko. Mozna dolaczyc postulaty dotyczace tych procedur. Zapisane w jezyku etnicznym nie nadaja sie one do dalszego formalnego przetwarzania.<br>
\r
134 My mozemy sie wesprzec na naszych wlasnych wynikach dotyczacych specyfikacji. Nasza metoda specyfikacji zostala sprawdzona w kilku eksperymentach i cieszy sie nastepujacymi (meta)wlasnosciami:<br>
\r
136 <li> IDENTYFIKACJA - rozwiazujemy zadanie zidentyfikowania (specyfikacji) abstrakcyjnego typu danych,
\r
137 <li> PELNOSC - zbior prawdziwych wlasnosci programow wykonywanych w modelach specyfikacji jest rowny zbiorowi wlasnosci dowodliwych z aksjomatow,
\r
140 <li> dostarcza KRYTERIUM AKCEPTOWALNOSCI modulow software'owych,
\r
141 <li> stanowi dobra baze dla weryfikacki wlasnosci dowodow (BAZA DOWODOW)
\r
143 Nowy system CASE powienen stac sie asystentem zespolu tworzacego oprogramowanie. Powinien nie tylko pamietac o sygnaturze modulow jakie maja powstac, ale i o wlasnosciach jakie maja byc zagwarantowane.<br>
\r
144 <p>Formalnym narzedziem powstajacego systemu CASE bedzie logika algorytmiczna. Rachunek ten w swiecie programowania ma do spelnienia role porownywalna z rola rachunku rozniczkowego i calkowego w tradycyjnej inzynierii mechanicznej czy elektrycznej.<br>
\r
145 Naszym zdaniem nowy system powinien przewyzszac dotychczas znane systemy i dostarczac narzedzi wspomagajacych dowodzenie wlasnosci programow z aksjomatow specyfikacji.<br>
\r
146 <strong>Zadania</strong> jakie sobie stawiamy to miedzy innymi opis abstrakcyjnego typu danych: SRODOWISKO DOWODOW FORMALNYCH Logiki Algorytmicznej i jego obiektowa realizacja. Nalezy wiec opisac typy danych np. formula, wezel drzewa dowodu, drzewo dowodu, etc.i operacje na nich. Zaprogramowac klasy i metody odpowiadajace opisanym typom i operacjom. Zaprogramowac przyjazne srodowisko asystujace dowodzeniu wlasnosci programow.
\r
147 <H3> Algorytmy probabilistyczne </H3> Algorytmy probabilistyczne znajduja rozliczne zastosowania
\r
148 (bardziej znane to np. symulacja i analiza procesow masowej
\r
150 <p><table border><tr><td>wyznaczanie prawdopodobienstw zachowan algorytmow
\r
151 probabilistycznych dzialajacych na zbiorach skonczonych,</td><td>opracowanie oprogramowania (w Loglanie) umozliwiajacego wyznaczanie prawdopodobienstw zachowan algorytmow probabilistycznych (niezaleznie od symulacji ich dzialania)</td></tr><tr><td>zastosowanie algorytmow do zagadnien analizy informacji
\r
152 niepewnej (porownanie z metoda zbiorow przyblizonych -
\r
153 Z.Pawlak, A.Skowron), </td><td>w procesie analizy algorytmow probabilistycznych nasza uwaga skupiona jest wylacznie na stanach koncowych, np. proces wypracowania przyblizonych regul decyzyjnych (analogicznie: zasad wnioskowania statystycznego) dokonuje sie przy pomocy pewnego algorytmu probabilistycznego; poszczegolnym regulom odpowiadaja pewne stany koncowe,</td></tr>
\r
154 <tr><td>badanie zwiazkow miedzy algorytmami probabilistycznymi,
\r
155 interpretowanymi w dziedzinach skonczonych, ze skonczenie
\r
156 stanowymi lancuchami Markowa:</td><td>nawet w przypadku bardzo prostych iteracyjnych
\r
157 algorytmow probabilistycznych, interpretowanych
\r
158 w skonczonym zbiorze, odpowiadajacy lancuch Markowa
\r
159 nie musi byc ergodyczny,<br> potrafimy juz wyznaczac prawdopodobienstwa przejsc
\r
160 wylacznie do stanow koncowych, nawet w przypadku
\r
161 lancuchow nieergodycznych.</td></tr></table>
\r
171 <p><h2>Czy trzeba biernie czekac na spotkanie?</h2>
\r
172 <p> Mamy nadzieje, ze nasza propozycja nie jest Ci obojetna.
\r
174 <li>Jesli jestes oponentem przyjdz na spotkanie lub napisz do nas.
\r
175 <li>Jesli wydaje Ci sie ze plan jest do przyjecia to zglos sie do nas nie czekajac.
\r
176 <li>Czekamy na wszelkie uwagi, propozycje, krytyke.
\r
178 <h3> Jesli nie jestes mieszkancem Bialegostoku to nie szkodzi.</h3> Mozemy pracowac razem na odleglosc. (Tak jak pracuja w projekcie Linux i in.). A moze zechcialbys przyjechac 27go? (czy mamy zalatwic nocleg?)
\r
179 <h3> Jesli czytasz te strony po 27 marca to: </h3>
\r
180 - przeczytaj <a href="sprawozda.htm">sprawozdanie </a> ze spotkania.<br>
\r
181 - <a href=mailto://salwicki@ii.pb.bialystok.pl">napisz do nas </a><br>
\r
183 <address> Last update Fri 1 Mar 1996 <br>
\r
184 <a href="mailto:Grazyna.Mirkowska@univ-pau.fr">Grazyna Mirkowska </a><br>
\r
185 <a href="mailto:salwicki@ii.pb.bialystok.pl"> Andrzej Salwicki </a>
\r
projects / loglan.git / blob