123
Yakindu Statechart Tools

Yakindu Statechart Tools

Det fria att använda, öppen källkod verktygssats YAKINDU Statechart Tools (SCT) ger en integrerad modelleringsmiljö för specifikation och utveckling av reaktiva, händelsestyrda ...
Det fria att använda, öppen källkod verktygssatsen YAKINDU Statechart Tools (SCT) ger en integrerad modelleringsmiljö för specifikation och utveckling av reaktiva, händelsestyrda system baserade på konceptet med statiska diagram.Redigering av Yakindu Statechart Tools (SCT) har en intuitiv kombination av grafisk och textlig notation.Medan tillstånd, övergångar och tillståndshierarkier är grafiska element, anges alla förklaringar och åtgärder med hjälp av en textnotation.Statechartseditorens användbarhet är optimerad för att arbeta med dessa statecharts.Validering Valideringen av statecharts inkluderar syntax och semantiska kontroller av det kompletta tillståndsdiagrammet.Exempel på valideringar är upptäckten av oåtkomliga tillstånd, återvändsgrändar och referenser till okända händelser.Dessa valideringsbegränsningar kontrolleras direkt under redigering.Simulering Förutom den strukturella valideringen är det viktigt att kontrollera den dynamiska semantiken.Det är inte möjligt att bestämma riktigheten för ett statykart bara genom visuell undersökning.Således måste användaren kunna utföra de statikartecken han arbetar med.Den integrerade statecharts-simuleringsmotorn tillgodoser dessa behov.Användaren kan utföra statecharts direkt i modelleringsmiljön.Aktiva tillstånd markeras direkt i statecharteditorn och ett dedikerat simuleringsperspektiv har åtkomst till exekveringskontroller (start, stopp, paus, återuppta), inspektion och inställning av variabler, samt att höja händelser.Kodgenerering Yakindu Statechart Tools (SCT) innehåller kodgeneratorer för Java, C och C ++.Kodgeneratorerna följer en "kod-endast" strategi och litar inte på något extra runtime-bibliotek.Den genererade koden ger ett väldefinierat gränssnitt och kan enkelt integreras med vilken klientkod som helst.Den genererade koden är också läsbar och strukturerad på ett sådant sätt att det möjliggör mycket effektivitet

Funktioner

kategorier

Alternativ till Yakindu Statechart Tools för Android med kommersiell licens

MATLAB

MATLAB

Beräkningsmiljö i företagsklass och programmeringsspråk för numerisk beräkning.