Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:piw2008_tematy [2008/04/12 16:29] gjn |
pl:miw:piw2008_tematy [2019/06/27 15:50] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Projekty PIW2008 ====== | ||
| - | Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008. | ||
| - | |||
| - | Dodatkowe informacje organizacyjne znajdują się tu: [[piw2008_organizacja]]. | ||
| - | |||
| - | |||
| - | |||
| - | ===== 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. | ||
| - | |||
| - | ===== LaTeX2Doku ===== | ||
| - | j.w. ale konwersja latex do formatu wiki. | ||
| - | Może pracować offline, t.j. poza wiki. | ||
| - | |||
| - | ===== AIwikiSearch ===== | ||
| - | Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. | ||
| - | |||
| - | ===== 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]]. | ||
| - | |||
| - | ===== ARD2UML ===== | ||
| - | j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML. | ||
| - | |||
| - | ===== XMI_ARD ===== | ||
| - | Model ARD w XMI z uwzględnieniem MOF. | ||
| - | |||
| - | ===== 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]]. | ||
| - | |||
| - | ===== XTT2UML ===== | ||
| - | j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML. | ||
| - | |||
| - | ===== WikiMsc ===== | ||
| - | generowanie szablonu prac mgr z wiki | ||
| - | |||
| - | |||
| - | ===== NXTAPItest ===== | ||
| - | testowanie API dla NXT w Prologu. | ||
| - | |||
| - | ===== NXTcompile ===== | ||
| - | 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 Java bytecode | ||
| - | |||
| - | |||
| - | |||
| - | ===== 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). | ||
| - | |||
| - | Kontynuacja [[pl:miw: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 [[pl:miw:miw08_mindstormscontrols#projekt|istniejacych predykatow]] tak, aby pokrywaly calą funkcjonalność [[pl:mindstorms:dokumentacja:dokumentacja_techniczna|protokołu lego nxt]] | ||
| - | * 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 | ||
| - | |||
| - | ===== 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. | ||
| - | |||
| - | Z: Paweł Muchacki (4IS) | ||
| - | |||
| - | ===== XTT_Serialization ===== | ||
| - | |||
| - | Try to propose an effective encoding of XTT with UML and Java. | ||
| - | |||
| - | |||
| - | ===== 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 | ||
| - | |||
| - | |||
| - | |||
| - | ===== BizRulesVocabularies ===== | ||
| - | |||
| - | 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 | ||
| - | |||
| - | ===== 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.]] | ||
