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:

• Tematy oznaczone znaczkiem należy uznać za tematy o podwyższonym priorytecie
• Tematy są realizowane 2 osobowo (chyba, że ktoś chce indywidualnie)
• Niektóre tematy mogą być realizowane przez więcej niż jeden zespół (do negocjacji )

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:

• pracy magisterskiej u dr. inż. G. J. Nalepy lub u dr. inż. I. Wojnickiego, uaktualniona lista tematów będzie dostępna na wiosnę, wstępnie do końca kwietnia
• projektu Hekate, potencjalnie za wynagrodzeniem

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

• Kompilacja do kodu bajtowego NXT File and Bytecode Reference
• kompilacja do Java bytecode???

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:

• testy komunikacji z SWI Prologu (http://gollem.science.uva.nl/SWI-Prolog/Manual/IO.html)
• ustawienie parametrów portu (stty w Unixie)
• testy prostego we/wy
• opracowanie/rozbudowa istniejacych predykatow tak, aby pokrywaly calą funkcjonalność protokołu lego nxt
• można do pewnego stopnia oprzeć się koncepcyjnie na Legolog-u (ale ma on średniezastosowanie bo jest do starych Mindstorms RCX
• w miarę możliwości praca po usb i BT

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

• P2P
• MasterSlave
• saoorganizacja metodami computational intelligence

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

Paweł Muchacki

Try to apply, refine xtt+ features, design real-life SE cases using xtt+

• input

SE cases, well documented MVC-based UML code

• output

ARD/XTT based representation of the cases

GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements

• input
  • Eclipse: EMF, GEF resources (GEF, http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html),
  • ARD: Towards Formalization of ARD+ Conceptual Design and Refinement Method and An ARD+ Design and Visualization Toolchain Prototype in Prolog and UServ Case Study, Conceptual Design with ARD+ Method.
• output

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):

• input
  • relation between BPMN and UML, e.g. see Use of UML and Model Transformations for Workflow Process Definitions
  • how could we use Business_Process_Execution_Language
  • the general idea of workflow and tools such as yawl is worth digging in…
  • SBVR
• output

Extended ARD.

porównać i omówić metody reprezentowania atrybutów w językach:

• RDF
• OWL
• RIF
• R2ML
• RuleML

oraz metody reprezentowania reguł w:

• RIF
• R2ML
• RuleML

business rules orchestration

Weronika Furmańska(4IS)

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.

• input

Prolog/Java APIs, Java, OO Prolog documentation, MVC concept. Prolog OOP, LogTalk, TrincProlog, SICStus Prolog

• output

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

Wojciech Leś, Michał Łosiewicz

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:

• {sub}*section
• czcionki \text… \emph, etc.
• generowanie \label i \ref z odpowiednich nagłówków wiki

W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter).

Tryb zaawansowany:

• praca na kilku stronach wiki (zadanych regexp, ew przestrzenią nazw)
• włączanie obrazków
• praca jako plugin wiki.

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.