Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_ardcase_cs [2008/05/19 21:27] miw |
pl:miw:miw08_ardcase_cs [2008/06/11 18:25] miw |
====== Opis ====== | |
Marcin Kamiński, <makamin@student.agh.edu.pl> | |
| |
:!::!: | |
Design ARD+, XTTv2: | |
Control System Cases -- A search for well documented Control System examples/designs, esp. robot control, autonomous robots etc.; evaluation of the existing cases; modelling selected examples with ARD+/XTT+(v2) | |
| |
====== Spotkania ====== | |
===== 08.02.26 ===== | |
* wyszukane case: bankomat, pralka | |
| |
===== 08.03.11 ===== | |
* kopie lokalne | |
* decyzje, selekcja, etc. | |
* jakaś winda, jakiś bankomat, jakaś pralka | |
* jeżeli można, to wybieramy jakiś jeden konkretny projekt windy z tych co mamy | |
* gdyby to było trudne (skala, niejasność, etc?) możemy spróbowac uogólnić "naszą windę" z wind które mamy | |
* bazujemy tylko na //specyfikacji// przykładu, a nie repr. gotowego modelu UML! | |
* przy okazji do pomyślenia i spisania: jak się ma projektowanie w UML,DFD, etc, do ARD/XTT | |
| |
| |
===== 080318 ===== | |
* bankomat, prób opisu zgodnie z [[hekate:hekate_process]] | |
| |
| |
===== 080401 ===== | |
* j.w.,(varda, hqed) + ew. 2. case, poszukanie pralki (można umieszczać pliki DOT w wiki!) | |
| |
| |
| |
===== 080415 ===== | |
* upload plikow varda do wiki, na stronie w postaci uploadowanych plikow dot: | |
* ARD ostatni poziom | |
* TPH | |
* XTT | |
* projekt w varda (.pl) jako plik po pobrania z wiki | |
* kolejny case | |
| |
| |
===== 080429 ===== | |
* użycie [[hekate:hqed]] | |
* użycie nowej wersji [[hekate:varda]] | |
| |
===== 080520 ===== | |
* 3. case | |
* dokument, etapów | |
* spójność hqed z [[hekate:xtt]] | |
| |
====== Projekt ====== | |
Cele projektu - wyszukanie dobrze udokumentowanych systemów sterujących w języku UML, próba zamodelowania znalezionych przykładów w ARD/XTT. | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
====== Sprawozdanie ====== | |
** 0. Zapoznanie sie z literatura z wiki dotyczącą ARD/XTT** | |
| |
** 1. Wyszukanie case** | |
| |
** 2. Selekcja case, próby modelowania różnic i podobieństw w modelowaniu UML vs ARD/XTT:** | |
| |
Modelowanie UML a modelowanie ARD/XTT, uwagi: | |
| |
| |
| |
* W zależności od systemu - zdarza się, iż dobrze zamodelowany w UML system przy użyciu DFD i Use-case pozwala łatwo wyodrębnić wejścia i wyjścia systemu co jest dobrym początkiem dla wyszukiwania atrybutów dla ARD. Np. dla biletomatu wejścia i wyjścia wynikają jasno z diagramów DFD i Use-case tj. z use-case można było rozpoznać możliwe akcje, a z diagramu DFD odczytać interesujące informacje. Dla windy use-case mówi niewiele, potrzebne od wyselekcjonowania atrybutów dane znaleźć za to można na diagramie klas (gorsze rozwiązanie) lub na diagramie współpracy | |
* Diagramy stanów mogą być bardzo przydatne przy określaniu reguł. Tj. wiedząc, że system może przejść z jednego stanu do drugiego mamy już pewną regułę, więc pozostaje tylko (na diagramie współpracy, bądź DFD) uzupełnić przejście ze stanu o warunki jakie muszą zajść, aby to przejście miało miejsce (niestety w przypadku bardziej złożonych warunków przejścia tej informacji nie da się łatwo wywnioskować z UML). | |
| |
** 3. Wybór, implementacja ARD i XTT dla case bankomatu i pralki (szczegóły na podstronach)** | |
| |
** 4. Ciekawe problemy napotkane w trakcie pracy** | |
* Porównanie atrybut do atrybutu - przykładowo PIN wpisany z PINem w bazie. Można zapisać to na dwa równoważne sposoby - PIN w bazie dowolny, a PIN wpisany równy PINowi w bazie <=> PIN wpisany dowolny, PIN w bazie równy wpisanemu (dwie reguły, ale równoważne) - w pracach zakładałem prawy atrybut jako dowolny a lewy jako porównywany w sytuacjach porównywania atrybutu z atrybutem. {{pl:miw:miw08_ardcase_cs:miw-cashpoint-xtt.pdf|Przykład}} - w tabeli 1 przyjęto koncepcje, iż atrybut z prawej jest dowolny, a z prawej porównywany, w drugiej odwrotnie. | |
* TBC: Co w przypadku porównywania większej ilości atrybutów | |
* Należy unikać działań po stronie warunków, aby je wyeliminować należy wprowadzać dodatkowe atrybuty pojęciowe (conceptual attributes) - należy unikać zapisów jak w pierwszej tabeli {{pl:miw:miw08_ardcase_cs:miw-vendingmachine-xtt.pdf|Przykład}} (przykład jak nie powinno sie robić) | |
* ARD nie specyfikuje struktur danych, więc może okazać się ciężkim zdefiniowanie danej pochodzącej z tablicy np. cena wybranego produktu z listy cen dlatego zapis jak w pierwszej tabeli jest niepoprawny {{pl:miw:miw08_ardcase_cs:miw-vendingmachine-xtt.pdf|Przykład}} (przykład jak nie powinno się robić) | |
| |
| |
** 5. Uwagi do wiki, VARDA, HqEd** | |
* HqEd: Problemy z typami danych - dwie dane typu integer czasem (nie wiadomo czemu) nie mogą być porównywane | |
* HqEd: Problemy z zapisem typów tablicowych - cena=lista[produkt] - jak to zapisac, czy tak jak w [[pl:miw:miw08_ardcase_cs:biletomat]] Logical design v3 jest OK? | |
| |
| |
| |
| |
| |
| |
====== Materiały ====== | |
| |
| |
| |
| |
===== Links to ARD and XTT ===== | |
| |
| |
| |
=== ARD === | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted | |
| |
Nalepa, G. J. (2008). UServ Case Study, Conceptual Design with ARD+ Method. Paper presented at the FLAIRS2008. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted | |
| |
Nalepa, G. J., & Wojnicki, I. (2008). Towards Formalization of ARD+ Conceptual Design and Refinement Method. Paper presented at the FLAIRS2008. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted | |
| |
Nalepa, G. J., & Wojnicki, I. (2008). An ARD+ Design and Visualization Toolchain Prototype in Prolog. Paper presented at the FLAIRS2008. | |
| |
| |
| |
| |
| |
| |
| |
| |
=== XTT === | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007ruleapps | |
| |
Nalepa, G. J. (2007). Proposal of business process and rules modeling with the XTT method. Paper presented at the Symbolic and numeric algorithms for scientific computing : SYNASC'07 : 9th international symposium : RuleApps'2007~-- workshop on Rule-based applications : Timisoara, Romania, September 26--29, 2007 : IeAT Technical Report 07-11, Timisoara : West University. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007safecomp | |
| |
Nalepa, G. J. (2007). Application of the XTT rule-based model for formal design and verifcation of Internet security systems. Paper presented at the Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007 : Nuremberg, Germany, September 18--21, 2007 : proceedings, Berlin ; Heidelberg. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007icss | |
| |
Nalepa, G. J., & Mach, M. A. (2007). Intelligent business web applications design using the XTT approach. Paper presented at the Proceedings of the 16th international conference on Systems science. Vol. 2, Manufacturing systems ; Distributed computer systems and computer networks ; Knowledge-based and intelligent systems ; Decision support and expert systems : 4--6 September 2007, Wrocław, Poland, Wrocław. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#ali2007cms-xtt-extended | |
| |
Ligęza, A. (2007). An Improved Knowledge Representation Language for XTT. Extended Tabular Graphs with Variables, Constraints and Control. Paper presented at the Proceedings of the International Conference Computer Methods and Systems. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007cms-destls | |
| |
Nalepa, G. J. (2007). Visual Design Tools for XTT-based Rulebases. Paper presented at the Proceedings of the international Conference Computer Methods and Systems. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007cms-knowtrans | |
| |
Nalepa, G. J., & Wojnicki, I. (2007). XML-based Knowledge Translation Methods for XTT-based Expert Systems. | |
| |
https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007cms-busproc | |
| |
Nalepa, G. J., & Mach, M. A. (2007). Conceptual Modeling of Business Rules and Processes with the XTT Method. | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
===== Control System Models ===== | |
=== Elevator: === | |
| |
| |
[[http://www.soi.wide.ad.jp/class/20040034/slides/07/|Very well documented Elevator Model slide I (7)]] {{:pl:miw:miw08_ardcase_cs:download.zip|local copy}} | |
| |
[[http://www.soi.wide.ad.jp/class/20040034/slides/08/|Very well documented Elevator Model slide II (8)]] {{:pl:miw:miw08_ardcase_cs:download.zip|local copy}} | |
| |
[[http://www.soi.wide.ad.jp/class/20040034/slides/09/|Very well documented Elevator Model slide III (9)]] {{:pl:miw:miw08_ardcase_cs:download.zip|local copy}} | |
| |
[[http://www.soi.wide.ad.jp/class/20040034/slides/10/|Very well documented Elevator Model slide IV (10)]] {{:pl:miw:miw08_ardcase_cs:download.zip|local copy}} | |
| |
[[http://www.soi.wide.ad.jp/class/20040034/slides/12/|Very well documented Elevator Model slide V (12)]] {{:pl:miw:miw08_ardcase_cs:download.zip|local copy}} | |
| |
[[http://regulus.ia.agh.edu.pl/gjn-Regulus-WWW/miw2002/MIW02-projekty/MIW02-Winda.pdf|Students MiW Project by J.Sysak, P.Zieliński]] {{:pl:miw:miw08_ardcase_cs:miw02-winda.pdf|local copy}} | |
| |
{{:pl:miw:miw08_ardcase_cs:elevator_example_in_uml.pdf|Example of elevator (local copy)}} | |
| |
Wybór, analiza i porownanie [[pl:miw:miw08_ardcase_cs:winda|tutaj]] | |
| |
=== Cashpoint: === | |
| |
| |
[[http://cis.paisley.ac.uk/mcmo-ci0/SoftDev/Text/UML%20QuickGuide.pdf|Quite good documented Cashpoint Model]] {{:pl:miw:miw08_ardcase_cs:uml_quickguide.pdf|local copy}} | |
| |
[[http://www.emn.fr/x-info/jroyer/cashpoint.pdf|Another quite good documented Cashpoint Model]] {{:pl:miw:miw08_ardcase_cs:cashpoint.pdf|local copy}} | |
| |
[[http://www4.in.tum.de/lehre/da/DA_Wimmel.ps.gz|One more Cashpoint Model]] {{:pl:miw:miw08_ardcase_cs:da_wimmel.ps.ps|local copy}} | |
| |
Wybór, analiza i porownanie [[pl:miw:miw08_ardcase_cs:bankomat|tutaj]] | |
| |
=== Washing-machine: === | |
| |
| |
| |
[[ftp://ftp.elteknik.chalmers.se/Publications/MSc/Hedin&LundstromMSc.pdf|Very good, technical model of Washing-machine with controller in Simulink languare (too technical, can be useless?)]] {{:pl:miw:miw08_ardcase_cs:hedin_lundstrommsc.pdf|local copy}} | |
| |
[[http://cserg0.site.uottawa.ca/seg/bin/viewfile/SEG3201/WebHome?rev=1;filename=UML_2_State_Machine_Diagrams.ppt#263,8, State Machine Diagrams|Examples of State Machine Diagrams (also example of Washing-machine)]] {{:pl:miw:miw08_ardcase_cs:uml_2_state_machine_diagrams.ppt|local copy}} | |
| |
Wybór, analiza i porownanie [[pl:miw:miw08_ardcase_cs:pralka|tutaj]] | |
| |
=== Vending Machine: === | |
| |
| |
[[http://student.agh.edu.pl/~makamin/MiW/TPa%b3osz,MMazur%20-%20Automat.pdf|Well documented Vending Machine Model by T. Pałosz, M. Mazur (AiR IV)]] {{:pl:miw:miw08_ardcase_cs:tpa_b3osz_mmazur_-_automat.pdf|local copy}} | |
| |
Analiza [[pl:miw:miw08_ardcase_cs:biletomat|tutaj]] | |