To jest stara wersja strony!
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:
W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter).
Tryb zaawansowany:
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 XMI, do formatu 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 XMI, do formatu 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.:
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 miw08_mindstormscontrols
Kroki:
XTT_Prolog
![:!:](/lib/images/smileys/icon_exclaim.gif)
Reprezentacja XTT w Prologu + prosty interpreter.
Zainteresowani: Szymon Bobek & Michał Gawędzki (4IS)
ARD_Prolog
![:!:](/lib/images/smileys/icon_exclaim.gif)
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
o
Eclipse: EMF, GEF resources (GEF, http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html),
o
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
o
relation between BPMN and UML, e.g. see Use of UML and Model Transformations for Workflow Process Definitions
o
how could we use Business_Process_Execution_Language
o
the general idea of workflow and tools such as yawl is worth digging in...
o
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