Tilstandsdiagram

Tilstandsdiagram, eller tilstandsdiagrammets beskrivelse, er en grafisk framstilling av hvordan et system kan befinne seg i ulike tilstander og hvordan tilstanden endres som svar på hendelser eller betingelser. Det brukes særlig i programvareutvikling, innebygde systemer og kontrollteori for å modellere og analysere dynamisk oppførsel på en kompakt og forståelig måte.

Et tilstandsdiagram består vanligvis av tilstander som representeres som noder, og overganger mellom tilstander som går mellom disse nodene. Overgangene er vanligvis merket med hendelser, betingelser eller handlinger som utløser endringen. I tillegg kan diagrammet angi en starttilstand og, i noen tilfeller, akjoner som kjøres når man går inn i eller forlater en tilstand. I noen representasjoner kan det også være guard-betingelser (betingelser som må være oppfylt) og handlinger knyttet til overgangene.

Typer og nærmere forklaring inkluderer endelige tilstandsmodeller eller maskiner, som ofte deles inn i Moore-maskiner og Mealy-maskiner. Moore-maskiner har utgang som avhenger kun av tilstanden, mens Mealy-maskiner har utgang som avhenger av både tilstand og inngang. I praksis brukes også statecharts og andre utvidede notasjoner for å beskrive mer komplekse oppføringer og hierarkiske tilstander.

Anvendelser inkluderer modellering av brukergrensesnitt, kommunikasjonsprotokoller, protokoller i nettverk og innebygde kontrollsystemer. Tilstandsdiagrammer hjelper med å verifisere korrekt sekvens av hendelser, generere implementasjonskode og utføre simulering og feilsøking. Eksempelvis kan et enkelt tavle- eller låseområde beskrives med to tilstander (Låst og Låst opp) og overganger utløst av hendelser som innsatt mynt eller trykk på spaker.

---