Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:piw2008_tematy [2008/04/12 16:09] gjn |
pl:miw:piw2008_tematy [2019/06/27 15:50] (aktualna) |
Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008. | Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008. |
| |
Dodatkowe informacje organizacyjne znajdują się tu: [[piw2008_organizacja]]. | 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 [[http://hekate.ia.agh.edu.pl|Hekate]], potencjalnie za wynagrodzeniem |
| |
===== Doku2LaTeX ===== | |
Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX. | |
| |
Chodzi o obsługę podstawowej składni, w tym: | ===== UML2ARD ===== |
* {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. | |
| |
===== LaTeX2Doku ===== | |
j.w. ale konwersja latex do formatu wiki. | |
Może pracować offline, t.j. poza wiki. | |
| |
===== AIwikiSearch ===== | Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML |
Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. | [[pl:miw:miw08_umlandardxtt:umlandard:approach2#zaleznosci_trace_use_i_derive|w zadanym formacie]] zapisanych w postaci modelu [[hekate:XMI]] ([[pl:miw:miw08_umlandardxtt:notatki|i tu]]), do formatu [[hekate:hekate_markup_language|ARDML]]. |
| |
===== UML2ARD ===== | ===== ARD2UML ===== |
Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu [[hekate:XMI]], do formatu [[hekate:hekate_markup_language|ARDML]]. | :!: |
| |
===== ARD2UML ===== | |
j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML. | j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML. |
| |
| |
===== XMI_ARD ===== | ===== XMI_ARD ===== |
| :!: |
| |
Model ARD w XMI z uwzględnieniem MOF. | Model ARD w XMI z uwzględnieniem MOF. |
| |
| |
===== UML2XTT ===== | ===== UML2XTT ===== |
Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu [[hekate:XMI]], do formatu [[hekate:hekate_markup_language|XTTML]]. | :!: |
| |
| Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML |
| [[pl:miw:miw08_umlandardxtt:activity_diagrams#section1|w zadanym formacie]] |
| zapisanych w postaci modelu [[hekate:XMI]] ([[pl:miw:miw08_umlandardxtt:notatki|i tu]]), do formatu [[hekate:hekate_markup_language|XTTML]]. |
| |
===== XTT2UML ===== | ===== XTT2UML ===== |
| :!: |
| |
j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML. | j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML. |
| |
===== WikiMsc ===== | ===== XTT_Serialization ===== |
generowanie szablonu prac mgr z wiki | Try to propose an effective encoding of XTT with UML and Java. |
| |
| |
===== NXTAPItest ===== | ===== NXTAPItest ===== |
testowanie API dla NXT w Prologu. | :!: |
| |
| Testowanie[[pl:miw:miw08_mindstormsapi|API dla NXT w Prologu]]. |
| |
| //Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu! |
| |
===== NXTcompile ===== | ===== NXTcompile ===== |
ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.: | ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.: |
* Kompilacja do kodu bajtowego NXT [[http://mindstorms.lego.com/Overview/NXTreme.aspx|File and Bytecode Reference]] | * Kompilacja do kodu bajtowego NXT [[http://mindstorms.lego.com/Overview/NXTreme.aspx|File and Bytecode Reference]] |
* kompilacja do Java bytecode | * kompilacja do Java bytecode??? |
| |
| //Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu! |
| |
| ===== NXTserialProlog ===== |
| :!: |
| |
===== CodeLib ===== | |
Integracja bazy przykładów w Prologu z aiwiki. | |
| |
| |
===== NXTserialProlog ===== | |
Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT). | Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT). |
| |
* można do pewnego stopnia oprzeć się koncepcyjnie na [[http://www.cs.toronto.edu/cogrobo/Legolog/|Legolog]]-u (ale ma on średniezastosowanie bo jest do starych Mindstorms RCX | * można do pewnego stopnia oprzeć się koncepcyjnie na [[http://www.cs.toronto.edu/cogrobo/Legolog/|Legolog]]-u (ale ma on średniezastosowanie bo jest do starych Mindstorms RCX |
* w miarę możliwości praca po usb i BT | * 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! |
| |
| ==== MindStormsControlT ==== |
| 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> |
| |
| |
| ===== NXTherd ===== |
| |
| 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! |
| |
| ===== XTT_Prolog ===== |
| :!: |
| |
| Reprezentacja XTT w Prologu + prosty interpreter. |
| |
| Zainteresowani?: Szymon Bobek & Michał Gawędzki (4IS) |
| |
| |
| ===== ARD_Prolog ===== |
| |
| Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch. |
| Rozważenie użycia [[http://www.swi-prolog.org/packages/xpce/|XPCE]]. |
| |
| |
| ===== VARDAshell ===== |
| |
| Rozbudowa i naprawa VARDA |
| |
| [[piw08_vardashell|Paweł Muchacki]] |
| |
| ===== XTTplusApps ===== |
| 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 |
| |
| |
| ===== GEFARDXTT ===== |
| :!: |
| |
| 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 |
| |
| |
| |
| ===== BizRulesVocab ===== |
| |
| 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. |
| |
| |
| |
| |
| |
| |
| ===== HekateOnto ===== |
| :!: |
| |
| 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 |
| |
| [[piw08_hekateonto|Weronika Furmańska(4IS)]] |
| |
| |
| ===== RuleRuntimeJO ===== |
| |
| :!: |
| |
| 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. |
| |
| ===== Prolog_Java ===== |
| Podobnie jak powyższe, dla innej grupy :-) |
| |
| [[piw08_prolog_java|Wojciech Leś, Michał Łosiewicz]] |
| |
| ===== Prolog_XML ===== |
| |
| Zaproponować zestaw predykatów realizujących w SWI prologu budowanie dokumentu XML zgodnego z [[http://www.swi-prolog.org/packages/sgml2pl.html#sec:sec-3.1|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ż [[http://www.w3.org/DOM/|DOM.]] |
| |
| ===== Prolog_CodeLib ===== |
| :!: |
| |
| Integracja bazy przykładów w Prologu z aiwiki. |
| |
| |
| ===== Wiki_Doku2LaTeX ===== |
| :!: |
| 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. |
| |
| ===== Wiki_LaTeX2Doku ===== |
| :!: |
| |
| j.w. ale konwersja latex do formatu wiki. |
| Może pracować offline, t.j. poza wiki. |
| |
| ===== Wiki_Search ===== |
| Należy wykonać złożony plugin wyszukiwawczy do doku wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. |
| |
| |
| ===== Wiki_Msc ===== |
| 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. |
| |
| ===== Wiki_Upload ===== |
| |
| Wersjonowanie plików w DokuWiki. Przegląd i testowanie aktualnych rozwiązań / zaproponowanie rozwiązania. |