Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:piw2008_tematy [2008/04/12 17:40] gjn uwagi |
pl:miw:piw2008_tematy [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 13: | Linia 13: | ||
| * 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 | * 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 | * projektu [[http://hekate.ia.agh.edu.pl|Hekate]], potencjalnie za wynagrodzeniem | ||
| + | |||
| ===== UML2ARD ===== | ===== UML2ARD ===== | ||
| - | 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]]. | + | :!: |
| + | |||
| + | Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML | ||
| + | [[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]]. | ||
| ===== ARD2UML ===== | ===== 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. | ||
| ===== XTT_Serialization ===== | ===== XTT_Serialization ===== | ||
| - | |||
| Try to propose an effective encoding of XTT with UML and Java. | Try to propose an effective encoding of XTT with UML and Java. | ||
| ===== NXTAPItest ===== | ===== NXTAPItest ===== | ||
| + | :!: | ||
| + | |||
| Testowanie[[pl:miw:miw08_mindstormsapi|API dla NXT w Prologu]]. | Testowanie[[pl:miw:miw08_mindstormsapi|API dla NXT w Prologu]]. | ||
| Linia 47: | Linia 64: | ||
| ===== NXTserialProlog ===== | ===== 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). | ||
| Linia 59: | Linia 78: | ||
| //Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu! | //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 ===== | ===== NXTherd ===== | ||
| Linia 71: | Linia 96: | ||
| ===== XTT_Prolog ===== | ===== XTT_Prolog ===== | ||
| + | :!: | ||
| Reprezentacja XTT w Prologu + prosty interpreter. | Reprezentacja XTT w Prologu + prosty interpreter. | ||
| - | Zainteresowani: Szymon Bobek & Michał Gawędzki (4IS) | + | Zainteresowani?: Szymon Bobek & Michał Gawędzki (4IS) |
| ===== ARD_Prolog ===== | ===== ARD_Prolog ===== | ||
| Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch. | Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch. | ||
| + | Rozważenie użycia [[http://www.swi-prolog.org/packages/xpce/|XPCE]]. | ||
| - | Z: Paweł Muchacki (4IS) | ||
| + | ===== VARDAshell ===== | ||
| + | |||
| + | Rozbudowa i naprawa VARDA | ||
| + | |||
| + | [[piw08_vardashell|Paweł Muchacki]] | ||
| ===== XTTplusApps ===== | ===== XTTplusApps ===== | ||
| Linia 96: | Linia 128: | ||
| ===== GEFARDXTT ===== | ===== GEFARDXTT ===== | ||
| + | :!: | ||
| GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements | GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements | ||
| Linia 120: | Linia 153: | ||
| Extended ARD. | Extended ARD. | ||
| + | |||
| + | |||
| + | |||
| + | |||
| ===== HekateOnto ===== | ===== HekateOnto ===== | ||
| + | :!: | ||
| porównać i omówić metody reprezentowania atrybutów w językach: | porównać i omówić metody reprezentowania atrybutów w językach: | ||
| Linia 134: | Linia 172: | ||
| * RIF | * RIF | ||
| * R2ML | * R2ML | ||
| - | |||
| * RuleML | * RuleML | ||
| + | |||
| + | |||
| + | business rules orchestration | ||
| + | |||
| + | [[piw08_hekateonto|Weronika Furmańska(4IS)]] | ||
| ===== RuleRuntimeJO ===== | ===== RuleRuntimeJO ===== | ||
| + | :!: | ||
| Investigate runtime integration aspects, mainly Prolog+Java integration possibilities | Investigate runtime integration aspects, mainly Prolog+Java integration possibilities | ||
| Linia 152: | Linia 195: | ||
| Feasibility study, a prototype. | Feasibility study, a prototype. | ||
| + | ===== Prolog_Java ===== | ||
| + | Podobnie jak powyższe, dla innej grupy :-) | ||
| + | |||
| + | [[piw08_prolog_java|Wojciech Leś, Michał Łosiewicz]] | ||
| ===== Prolog_XML ===== | ===== Prolog_XML ===== | ||
| Linia 163: | Linia 210: | ||
| ===== Prolog_CodeLib ===== | ===== Prolog_CodeLib ===== | ||
| + | :!: | ||
| + | |||
| Integracja bazy przykładów w Prologu z aiwiki. | Integracja bazy przykładów w Prologu z aiwiki. | ||
| ===== Wiki_Doku2LaTeX ===== | ===== Wiki_Doku2LaTeX ===== | ||
| + | :!: | ||
| Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX. | Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX. | ||
| Linia 181: | Linia 231: | ||
| ===== Wiki_LaTeX2Doku ===== | ===== Wiki_LaTeX2Doku ===== | ||
| + | :!: | ||
| + | |||
| j.w. ale konwersja latex do formatu wiki. | j.w. ale konwersja latex do formatu wiki. | ||
| Może pracować offline, t.j. poza wiki. | Może pracować offline, t.j. poza wiki. | ||
| - | ===== Wiki_AIwikiSearch ===== | + | ===== Wiki_Search ===== |
| - | Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. | + | Należy wykonać złożony plugin wyszukiwawczy do doku wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. |
| ===== Wiki_Msc ===== | ===== Wiki_Msc ===== | ||
| Linia 194: | Linia 247: | ||
| Generowanie może polegać na jakiejś translacji (np. XSLT), lub dostarczeniu sensownego CSS. | 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. | ||
