Et tilstandsovergangsdiagram er et diagram, der anvendes i softwareteknik til at repræsentere deterministisk automata . Det er en del af UML- modellen og er hovedsagelig inspireret af formalismen i statecharts og minder om automatens grafcets . Hvis de ikke tillader en generel forståelse af systemets funktion, kan de overføres direkte til en algoritme. Dette skyldes, at tilstandsdiagrammet i modsætning til aktivitetsdiagrammet, der ser på systemet fra et globalt synspunkt, målretter mod et enkelt objekt i systemet. Alle PLC'er i et system kører parallelt og kan derfor ændre tilstand uafhængigt.
Ud over starttilstandene (mindst en) og ankomsten (et hvilket som helst tal) kan en overgang have følgende valgfri elementer:
Når begivenheden finder sted, mens starttilstandene er aktive, og beskyttelsestilstanden er sand, udløses handlingerne.
Denne udførelse beriges, når staterne definerer en indgangshandling og en udgangshandling: starttilstandens udgangshandling udføres først, derefter handlingen af overgangen, derefter handlingen af l. Ankomsttilstand.
Knudepunkterne er kun et grafisk element, der gør det muligt at gruppere flere overgangssegmenter for at gøre diagrammet mere læsbart. Beslutningspunkter bruges til at simulere et valg: hvis-så-ellers, hvilket resulterer i to forskellige tilstande.
Formalismen pålægger et diagram pr. Klassifikator.
I den indledende tilstand ikke svarer den konstruktøren af klassen , i den endelige tilstand af destructor af klassen.