Tilstandsmaskiner Tilstandsmaskiner kan beskrives med tilstandsdiagrammer Nivået er teknisk Tilstandsdiagrammet viser ett objekts tilstander og transisjoner Objektdiagrammet viser flere objekters tilstander på en gang Tilstandsdiagrammet viser hva som skal til for å endre tilstanden

Grunnleggende diagram Hver tilstand vises som en avrundet firkant Hver tilstand må ha en merkelapp Hver transisjon har retning Transisjonen kan ha merkelapp Stopp viser hvilken tilstand objektet må være i rett før det destrueres

Transition label Transition label, eller ”merkelapp”, har tre avdelinger Alle avdelingene er valgfrie

Tilstandsoperasjoner entry/ spesifiserer operasjoner ved inngangen til tilstanden exit/ spesifiserer operasjoner ved utgangen fra tilstanden do/ spesifiserer operasjoner i selve tilstanden I tillegg kan språket utvides ved å definere nye tilstandsord

Kompliserte tilstander GUI-komponenter kan være kompliserte Tilstandene kan vises med sammensatte tilstander og såkalte topp-tilstander

Sammensatte tilstander Sammensatte tilstander har topptilstand Under topptilstanden kan det finnes ulike sammensatte tilstander

UML-rammer UML 2.0 definerer UML-rammer for andre spesifikasjoner Grafen er en firkant med en label i en ramme øverst i venstre hjørne Vi kan for eksempel vise kode med UML-rammer Denne koden illustrerer forrige tilstandsmaskin

Historisk tilstand Historisk tilstand kan spesifisere komplisert oppførsel betinget av en forhistorie. Spesifikasjonen after kan vise automatisk transisjon

Tilstandstabeller Tilstandstabeller er ikke UML En tilstandstabell kan vise noe av det samme som et UML-diagram Det kan altså føre til mer kunnskap om systemet

Tilstander med pekerkontroll Tilstander i GUI som styres med mus er kompliserte Tilstandene er standardiserte og velkjente og virker derfor ikke så kompliserte for oss lenger Se for eksempel java[8].FocusMania og java[10].testMouseMove

Avbrudd og historisk tilstand En transisjon til historisk tilstand er en transisjon til den forrige tilstanden En transisjon fra historisk tilstand er en transisjon til default tilstand Default tilstand er som regel det samme som starttilstanden

Sekvensielle tilstander Husholdningsmaskiner kan kreve høy grad av systemforståelse fra vanlige brukere Adax elektroniske varmelistsystem er et eksempel Adax veiledninger og oversikter for forbrukeren

Forenkling og fokusering Kompliserte diagrammer er ikke så lærerike Diagrammer som ser for enkle ut er ofte bedre

Samtidige tilstander Samtidige tilstander modellers i samme tilstandsgraf Tilstandene deles med en stiplet linje