Siirtymäedellytysten

Siirtymäedellytysten ovat ehtoja, jotka on täytettävä, jotta siirtymä tilasta toiseen voidaan toteuttaa kyseisessä järjestelmässä. Ne ovat yleisiä automaatioteoriassa, mallintamisessa sekä tilamuotojen, kuten tiladiagrammien ja statechartien, yhteydessä. Siirtymäehto kuvaa, milloin siirtymä voidaan “käynnistää”: se määrittelee, mitkä tiedot, tilat ja mahdolliset lisäehtojen tarkistukset vaikuttavat siirtymään.

Tyypillisesti siirtymäedellytysten osia ovat nykyinen tila, syöte tai tapahtuma sekä mahdolliset muistivälineet kuten pino tai rekisterit. Joissakin malleissa mukana voi olla ympäristötilan arvoja tai aikarajoja, jotka vaikuttavat siihen, saako siirtymän toteuttaa. Eri muodollisissa malleissa käytetään erilaisia ilmaisutapoja siirtymäehdoille: guard-ehdot, ehdolliset siirtymät, tai yksinkertaisesti määritelty hyväksi todettu syöte ja tila.

Formaali esimerkki: Deterministisessä lopullisessa automaatissa (DFA) siirtymä S --0--> T voidaan nähdä siirtymäehtona, että nykyinen tila on S ja luettu merkki on 0. Siirtymä toteutuu vain näillä ehdoilla; muilla merkki- ja tila-yhdistelmillä ei siirtymää tehdä. Monimutkaisemmissa malleissa kuten pushdown-automaatissa siirtymäehdot voivat sisältää myös pinoarvon, esimerkiksi siirtymä, joka päteekin vain, kun nykyinen tilakokonaisuus ja ylimmäinen pino-symbooli vastaa ehtoja.

Siirtymäedellytysten käsite auttaa mallintamaan ja tarkastamaan järjestelmien käyttäytymistä sekä kuvaamaan, millaiset puitteet tai olosuhteet johtavat tilamuutoksiin. Ne ovat keskeisiä käsiteissä mallintamisessa, ohjelmistotarkastuksessa ja virheenkorjauksessa. Siirtymäehtoja voidaan hyödyntää myös guard-lausekkeina ja reaktiomalleina erilaisissa ohjelmisto- ja järjestelmäanalyysipeleissä.