8
Det gratis brugte, open source værktøjssæt YAKINDU Statechart Tools (SCT) giver et integreret modelleringsmiljø til specifikation og udvikling af reaktive, begivenhedsstyrede systemer baseret på konceptet med statecharts.Redigering af Yakindu Statechart Tools (SCT) er en intuitiv kombination af grafisk og tekstmæssig notation.Mens stater, overgange og tilstandshierarkier er grafiske elementer, specificeres alle erklæringer og handlinger ved hjælp af en tekstnotation.Brugervenligheden af statecharteditoren er optimeret til at arbejde med disse statecharts.Validering Valideringen af statecharts inkluderer syntaks og semantisk kontrol af det komplette tilstandsoversigt.Eksempler på valideringer er påvisning af utilgængelige tilstande, blindgyder og henvisninger til ukendte begivenheder.Disse valideringsbegrænsninger kontrolleres live under redigering.Simulering Foruden den strukturelle validering er det vigtigt at kontrollere den dynamiske semantik.Det er ikke muligt at bestemme rigtigheden af et statechart blot ved visuel undersøgelse.Således skal brugeren være i stand til at udføre de statecharts, han arbejder på.Den integrerede statecharts-simuleringsmotor imødekommer disse behov.Brugeren kan udføre statecharts direkte i modelleringsmiljøet.Aktive tilstande er direkte fremhævet i statecharteditoren, og et dedikeret simuleringsperspektiv indeholder adgang til udførelseskontroller (start, stop, pause, genoptag), inspektion og indstilling af variabler samt hævning af begivenheder.Kodegenerering Yakindu Statechart Tools (SCT) inkluderer kodegeneratorer til Java, C og C ++.Kodegeneratorerne følger en 'kun-kodet' tilgang og stoler ikke på noget ekstra runtime-bibliotek.Den genererede kode giver en veldefineret grænseflade og kan let integreres med enhver klientkode.Den genererede kode er også læsbar og struktureret på en sådan måde, at den muliggør meget effektivitet