Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ardcase_cs [2008/05/19 19:19] miw |
pl:miw:miw08_ardcase_cs [2008/06/11 18:25] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== 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 | ||
| - | |||
| - | * 5. Uwagi do wiki, VARDA, HqEd | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== 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]] | ||
