No/VOL: 07/2009 Page no. 192-195
Authors: Michał Doligalski :
Title: Konwersja wybranych elementów maszyny stanów UML w ramach dualnej specyfikacji
Abstract: W artykule przedstawiono metodę dywersyfikacji specyfikacji behawioralnej jako odpowiedź na zapotrzebowanie rynku na nowe techniki modelowania. Przedstawiono model dualny w postaci połączonej maszyny stanów UML oraz hierarchicznej sieci Petriego. Zastosowanie modelu dualnego pozwala na zwiększenie jakości oraz niezawodności sterownika logicznego, skraca czas projektowania. Maszyna stanów UML pełni rolę interfejsu użytkownika, izomorficzna do niej hierarchiczna sieć Petriego bazę do weryfikacji formalnej i implementacji układowej
Key words: UML, maszyna stanów, hierarchiczna sieć Petriego, specyfikacja dualna