Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008.
Dodatkowe informacje organizacyjne znajdują się (od połowy kwietnia) tu: piw2008_organizacja.
Uwagi:
Osoby, które zrealizują w sposób wyróżniający się, a także będą zainteresowane tematyką poruszaną w projektach, będą mogły kontynuować pracę w ramach tematyki pochodnej do PIW 2008 w ramach:
Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML w zadanym formacie zapisanych w postaci modelu XMI (i tu), do formatu ARDML.
j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.
Model ARD w XMI z uwzględnieniem MOF.
Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML w zadanym formacie zapisanych w postaci modelu XMI (i tu), do formatu XTTML.
j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML.
Try to propose an effective encoding of XTT with UML and Java.
TestowanieAPI dla NXT w Prologu.
Uwaga: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.:
Uwaga: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT).
Kontynuacja miw08_mindstormscontrols Kroki:
stty
w Unixie)Uwaga: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
Build a simple control stack that communicates w/ MS via BT in RT, and exposes the control through a TCP socket, providing a simple control protocol, e. g. for Prolog.
Z: Pokrzepa Wojciech, Waliszko Jarosław, jwa@student.agh.edu.pl
Zaproponowanie API dla NXT w Prologu do współpracy grupowej robotów. Przemyślenie scenariuszy, konfiguracji, np.:
Uwaga: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
Reprezentacja XTT w Prologu + prosty interpreter.
Zainteresowani?: Szymon Bobek & Michał Gawędzki (4IS)
Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch. Rozważenie użycia XPCE.
Rozbudowa i naprawa VARDA
Try to apply, refine xtt+ features, design real-life SE cases using xtt+
SE cases, well documented MVC-based UML code
ARD/XTT based representation of the cases
GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements
Feasibility study, a description how to create such editors with GEF, a prototype editor MS Thesis regarding GEF: Interfejs graficzny do budowy aplikacji komponentowych zapewniający weryfikację semantyczną, ARD+ Editor requirements
It is a common visual notation used in the Business_Process_Modeling that is a modeling/design problem in the Business_process_management. The BPMN is officially standarized by OMG. Some possible areas of investigation(at 1st sight):
Extended ARD.
porównać i omówić metody reprezentowania atrybutów w językach:
oraz metody reprezentowania reguł w:
business rules orchestration
Investigate runtime integration aspects, mainly Prolog+Java integration possibilities Investigate runtime integration aspects, mainly the integration of the Object-Oriented Model in Prolog with a Java VC possibilities executable design, LogTalk, etc.
Prolog/Java APIs, Java, OO Prolog documentation, MVC concept. Prolog OOP, LogTalk, TrincProlog, SICStus Prolog
How to integrate Prolog and Java in the best way regarding performance, and coding easiness + examples.
Feasibility study, a prototype.
Podobnie jak powyższe, dla innej grupy
Zaproponować zestaw predykatów realizujących w SWI prologu budowanie dokumentu XML zgodnego z parserem SWI.
W tej chwili SWI prolog pozwala na wczytanie dokumentu do listy i następnie jej ew. zapis z powrotem w XML. Chodzi o dostarczenie predykatów, które będą w stanie wspomóc budowanie w.w. listu od zera, oraz manipulowanie nią.
Patrz też DOM.
Integracja bazy przykładów w Prologu z aiwiki.
Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX.
Chodzi o obsługę podstawowej składni, w tym:
W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter).
Tryb zaawansowany:
j.w. ale konwersja latex do formatu wiki. Może pracować offline, t.j. poza wiki.
Należy wykonać złożony plugin wyszukiwawczy do doku wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.
Generowanie szablonu prac mgr z wiki
Opis może być w tabelce, lub nagłówkami.
Generowanie może polegać na jakiejś translacji (np. XSLT), lub dostarczeniu sensownego CSS.
Wersjonowanie plików w DokuWiki. Przegląd i testowanie aktualnych rozwiązań / zaproponowanie rozwiązania.