Numer: 07/2009 Str. 192-195
Autorzy: Michał Doligalski :
Tytuł: Konwersja wybranych elementów maszyny stanów UML w ramach dualnej specyfikacji
Streszczenie: 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
Słowa kluczowe: UML, maszyna stanów, hierarchiczna sieć Petriego, specyfikacja dualna