tillståndsbeskrivningar

Tillståndsbeskrivningar är dokument eller modeller som specificerar vilka tillstånd ett system kan befinna sig i, hur övergångar mellan tillstånd uppstår och vilka åtgärder som ska utföras i varje tillstånd. Syftet är att ge en tydlig, verifierbar och kommunicerbar bild av systemets beteende över tid, vilket underlättar design, implementering, testning och underhåll.

En tillståndsbeskrivning omfattar vanligtvis: ett namn eller identifierare för varje tillstånd; en beskrivning av vad som kännetecknar tillståndet; initialt och ofta andra nyckeltillstånd; övergångar mellan tillstånd med utlösande händelser och villkor (guards); eventuella entry- och exit-åtgärder som ska köras när man går in i eller lämnar ett tillstånd; och regler för felhantering eller återställning.

Beslutet att använda tillståndsbeskrivningar gör det möjligt att modellera beteenden som ofta beror på sekventiell eller asynkron händelsehantering, och de används i bland annat inbyggda system, mjukvarudesign, affärsprocesser och robotik. De kompletteras ofta av tillståndsdiagram (state diagrams) eller UML-diagram samt av arbetsflödesmodeller och tester.

Utmaningar kan vara att hålla tillstånden väldefinierade och slutna, undvika överlappningar, hantera icke-determinism och hålla dokumentationen synkron med implementeringen. När de är väl underhållna erbjuder tillståndsbeskrivningar tydlighet, spårbarhet och en grund för formell verifiering och testning.