Maciej Dudek (4AR) md5@o2.pl

ARD

GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements

• input
  • Eclipse: EMF,
  • 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

Wykonano:

• Zapoznanie się z częścią pracy magisterską Macieja Kwietnia i Jana Rachwalika dotyczącą GEF.
• Zainstalowanie plug-inu GEF na platformie Eclipse
• Uruchomienie przykładowego edytora, stworzenie przykładowego grafu w tym edytorze, przeglądnięcie kodu przykładowego edytora.
• Zapoznanie się ze specyfikacją ARD+ zawartą w https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted
• Zapoznanie się z opisem systemu VARDA zawartego w https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted
• Pobieżne przestudiowanie przykładu UServ zawartego w https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted

Powstałe wątpliwości:

• Finalizacja.
• Zbiór wszystkich możliwych operacji wykonywanych przez użytkownika.
• Język opisu powstałego grafu: RGML? ATTML hekate_markup_language
• Przestrzeń nazw.
• Czy również implementacja drzewa TPH? Na ile bezpieczne w sytuacji cykli, split/merge, manual refactoring.
• Liczba korzeni w drzewie, czy istnieje coś takiego jak korzeń?
• XSD z opisem ARD+.
• Co jak na końcu „liścia” jest Conceptual Attribute? Jaki wpływ na system?
• Physical Attribute a XTT.
• Attribute a Property. W prologu deklarowane oba.

• varda - uruchomiono i przeanalizowano funkcjonalność.
• Zapoznano się ze specyfikacją ATTML
• Zapoznano się z UServ case study

Planowano:

• prototyp

Zrealizowano:

• Przeanalizowanie Diagram Editor
• Przeanalizowanie Schema Editor
• Rozpoznanie struktury framework'u GEF

GEF resources (GEF, http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html),

GEF MS Thesis

Patrz też na osobne hasło