Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_xttplusapps [2008/04/15 11:46] miw |
pl:miw:miw08_xttplusapps [2008/09/18 12:01] gjn koniec |
====== Opis ====== | |
| |
R: Łukasz Dziewanowski (4AR) <dziewano@student.agh.edu.pl> | |
| |
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 | |
| |
case: webserver | |
| |
| |
====== Spotkania ====== | |
| |
===== 08.03.04 ===== | |
* przykłady: webserver, pralka | |
* wiedza zapisana regułowo | |
| |
| |
===== 080318 ===== | |
| |
===== 080408 ===== | |
* użycie [[hekate:hqed]] do modelowania | |
* wybrać przykłady z [[pl:miw:miw08_ardcase_cs#control_system_models]] [[pl:miw:miw08_ardcase_uml#linki_do_uml_i_mvc]] | |
| |
====== Projekt ====== | |
- Format zapisu XTTML, jak wygląda? | |
- Projekt [[http://mirella.ia.agh.edu.pl/|Mirella]], czy w nim tworzyć diagramy ? | |
| |
=== Pomysły na kolejne przykłady aplikacji === | |
- Pizzeria | |
- Wypożyczalnia samochodów | |
- Firma konsultingowa | |
- Sklep internetowy | |
| |
| |
====== Sprawozdanie ====== | |
- [[hekate:hqed]], uruchamia się z błędem na Windows XP, na Ubuntu 7.10 - brak QtOpenGL (muszę przekompilować źródła - na razie szukam jakiegoś przykładu (jest zainstalowany GLUT - więc ??)) | |
| |
Głównym problemem jest złożoność problemów i ich opis, im więcej parametrów i/lub warunków tym więcej tabel i powiązań między nimi np. [[http://regulus.ia.agh.edu.pl/gjn-Regulus-WWW/miw2002/MIW02-projekty/MIW02-Winda.pdf|Students MiW Project by J.Sysak, P.Zieliński]]. | |
System musi pokrywać 13296 stanów, co w zapisie XTT daje nam tabelę o 47 wierszach (przed redukcją) - skoro dla niezbyt złożonego przykładu otrzymuje się tak duża tabelę, czego spodziewać się po bardziej złożonych problemach? | |
| |
Kolejną przeszkodą jest brak kontekstu wywołania metody znanego choćby z Javy czy C++, czyli musimy zawsze sprawdzać wszystkie warunki? | |
| |
====== Materiały ====== | |
- [[.:miw08_xttplusapps:pralka|Pralka]] | |
- [[.:miw08_xttplusapps:webserver|Web Server]] | |
- [[.:miw08_xttplusapps:notatki|Notatki]] | |
- [[.:miw08_xttplusapps:linki|Linki]] | |
- xtt, GREP (enase,inap) FIXME | |
* [[:hekate:bib:hekate_bibliography]] | |
* gjn-enase2007.pdf | |
* gjn-inap2007-grep.pdf | |
| |