Bezpłatny w użyciu zestaw narzędzi Open Source YAKINDU Statechart Tools (SCT) zapewnia zintegrowane środowisko modelowania do specyfikacji i rozwoju reaktywnych systemów sterowanych zdarzeniami w oparciu o koncepcję kart statystycznych.
Redagowanie Narzędzia Yakindu Statechart Tools (SCT) zawierają intuicyjne połączenie zapisu graficznego i tekstowego. Podczas gdy stany, przejścia i hierarchie stanów są elementami graficznymi, wszystkie deklaracje i działania są określane za pomocą notacji tekstowej. Użyteczność edytora statystyk jest zoptymalizowana do pracy z tymi statystykami.
Uprawomocnienie Sprawdzanie poprawności wykresów statystycznych obejmuje sprawdzanie składni i semantyczne pełnego wykresu stanu. Przykładami walidacji są wykrywanie nieosiągalnych stanów, ślepych zaułków i odniesienia do nieznanych zdarzeń. Te ograniczenia sprawdzania poprawności są sprawdzane na żywo podczas edycji.
Symulacja Oprócz walidacji strukturalnej kluczowe znaczenie ma sprawdzenie dynamicznej semantyki. Nie można ustalić poprawności wykresu statystycznego tylko na podstawie oględzin. W związku z tym użytkownik musi być w stanie wykonać wykresy, nad którymi pracuje. Zintegrowany silnik symulacyjny statechart zaspokaja te potrzeby. Użytkownik może wykonywać wykresy bezpośrednio w środowisku modelowania. Stany aktywne są bezpośrednio podświetlane w edytorze statystyk, a dedykowana perspektywa symulacji zapewnia dostęp do kontroli wykonania (start, stop, pauza, wznowienie), kontroli i ustawiania zmiennych, a także wywoływania zdarzeń.
Generowanie kodu Yakindu Statechart Tools (SCT) zawiera generatory kodu dla Java, C i C ++. Generatory kodu działają zgodnie z podejściem „tylko kod” i nie polegają na żadnej dodatkowej bibliotece wykonawczej. Wygenerowany kod zapewnia dobrze zdefiniowany interfejs i można go łatwo zintegrować z dowolnym kodem klienta. Wygenerowany kod jest również czytelny i ustrukturyzowany w taki sposób, który pozwala na bardzo efektywne działanie
Yakindu Statechart Tools Funkcje
State machine
Najlepsze alternatywy dla Yakindu Statechart Tools