To jest stara wersja strony!
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
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
080401
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 nowej wersji
varda
080520
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
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).
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
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
Przykład (przykład jak nie powinno się robić)
Materiały
Links to ARD and XTT
ARD
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:
Cashpoint:
Washing-machine:
Vending Machine: