Bir durum-geçiş diyagramı a, diyagram kullanılan yazılım mühendisliğinde temsil etmek için deterministik otomata . UML modelinin bir parçasıdır ve esas olarak istatistik grafiklerinin biçimliliğinden esinlenmiştir ve otomatların grafetlerini hatırlatır . Sistemin işleyişinin genel bir anlayışına izin vermezlerse, doğrudan bir algoritmaya dönüştürülebilirler . Bunun nedeni, sisteme küresel bir bakış açısıyla bakan etkinlik diyagramından farklı olarak, durum diyagramının sistemdeki tek bir nesneyi hedeflemesidir. Bir sistemdeki tüm PLC'ler paralel olarak çalışır ve bu nedenle durumları bağımsız olarak değişebilir.
Başlangıç (en az bir) ve varış (herhangi bir sayı) durumlarına ek olarak, bir geçiş aşağıdaki isteğe bağlı öğelere sahip olabilir:
Olay, başlatma durumları etkinken ve koruma koşulu doğruyken meydana gelirse, eylemler tetiklenecektir.
Durumlar bir giriş eylemi ve bir çıkış eylemi tanımladığında bu yürütme zenginleşir: ilk olarak başlangıç durumunun çıkış eylemi, ardından geçiş eylemi, ardından 1. varış durumu eylemi yürütülür.
Bağlantı noktaları, diyagramı daha okunaklı hale getirmek için birkaç geçiş segmentinin gruplanmasına izin veren yalnızca bir grafik öğesidir. Karar noktaları, bir seçimi simüle etmek için kullanılır: eğer-ise-aksi halde, bu iki farklı durumla sonuçlanır.
Biçimcilik, sınıflandırıcı başına bir diyagram uygular.
Başlangıç durumunda karşılık vermez kurucu bir sınıf son durumunda, yıkıcı sınıfı.