Övergångsbegränsning
En övergångsbegränsning är ett sätt att genomdriva att data inte går in i ett omöjligt tillstånd på grund av ett tidigare tillstånd. Det ska till exempel inte vara möjligt för en person att byta från att vara "gift" till att vara "singel, aldrig gift". De enda giltiga staterna efter "gift" kan vara "skild", "änka" eller "död".
Detta är den databascentrerade tolkningen av termen.
I formella modeller inom datorsäkerhet är en övergångsbegränsning en egenskap som styr varje giltig övergång från ett tillstånd i modellen till ett efterföljande tillstånd. Det kan ses som ett komplement till de tillståndskriterier som avser stater i sig men som inte har någon betydelse för övergångar mellan successiva stater.
Kategorier: