Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:piw2008_tematy [2008/04/12 16:58] gjn |
pl:miw:piw2008_tematy [2008/04/18 12:23] wojnicki wiki upload |
====== 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 | |
| |
===== 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, | |
integration http://www.manning.com/friedman-hill, | |
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_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.]] | |