Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008.

Dodatkowe informacje organizacyjne znajdują się tu: piw2008_organizacja.

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 ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.

Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu XMI, 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 z góry zadanym formacie) zapisanych w postaci modelu XMI, do formatu XTTML.

j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML.

generowanie szablonu prac mgr z wiki

testowanie API dla NXT w Prologu.

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

Integracja bazy przykładów w Prologu z aiwiki.

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

Reprezentacja XTT w Prologu + prosty interpreter.

Zainteresowani: Szymon Bobek & Michał Gawędzki (4IS)

Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch.

Z: Paweł Muchacki (4IS)

Try to propose an effective encoding of XTT with UML and Java.

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

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.