| Мемлекеттік өтпелі диаграммалардың сипаттамасы (SDT). SDT диаграммалары бақылау әрекеттерін қабылдаған кезде дамитын бағдарламаның мінез-құлқын көрсетеді. Басқару іс- әрекеттері немесе сигналдар астында бұл жағдайда жүйенің сырттан келген бақылау туралы мәліметтері бар; мысалы, басқару пәрмендері компьютердің жүйесімен қосылған датчиктердің пайдаланушы командалары мен сигналдары арқылы қарастырылады. Мұндай бақылауды қабылдағаннан кейін, дамыған жүйе белгілі бір әрекеттерді орындауы керек, содан кейін бірдей күйде қалады немесе жүйеде кейбір өзгерістерді белгілеп, басқа мемлекетке ауысады. Бұл диаграмманың басты мақсаты оның өмірлік циклі кезінде үлгінің элементінің мінез-құлқын сипаттайтын күйлердің және өтулердің ықтимал тізбегін сипаттау болып табылады. Мемлекеттің өтпелі диаграммасы белгілі бір нақты оқиғаларды қабылдау реакциясының ерекшеліктерінің негізінде субъектілердің динамикалық мінез-құлқын білдіреді. Басқа жүйелер немесе пайдаланушылардың сыртқы әсерлеріне жауап беретін жүйелер кейде реактивті деп аталады. Егер осындай әсерлер ерікті кездейсоқ сәттерде басталса, онда модельдің асинхронды мінез-құлқымен танысыңыз. Диаграммалар көбінесе сыныптардың (нысандардың) жекелеген даналарын мінездеумен сипатталады, бірақ олар кей жағдайларда, актерлерде, кіші жүйелерде, операциялар мен әдістерде пайдаланылатын басқа үлгі компоненттерінің функционалдығын анықтау үшін пайдаланылуы мүмкін.
Мемлекеттің өтпелі диаграммасын құру үшін түпкілікті автомат теориясына сәйкес негізгі жағдайларды, басқару әрекеттерін (немесе өту шарттарын), орындалатын іс-әрекеттерді және әзірленетін бағдарламалық жасақтаманың өтуін анықтау қажет. Мемлекеттік өтпелі диаграммаларды құру кезінде қолданылған белгілер сурет. 2.3.
Мемлекеттің өтпелі диаграммасы, негізінен, автоматиканы білдіретін арнайы түрдің кестесі болып табылады.
Жағдайы
Әрекет
а б в
Сурет. 2.3. Мемлекеттік өтпелі диаграммалардың аңыздары: a - бастапқы және соңғы күйлер; b - аралық күйі; в – көшу
UML контексінде автоматтың тұжырымдамасы автоматика теориясына негізделген нақты семантикаға ие. Осы кестенің шыңдары жай графикалық таңбалармен ұсынылған жай-күйі және автомат элементтерінің басқа түрлері (жалған күйлер) болып табылады. Графиктің шоғырлары мемлекетнен мемлекетке өтуді белгілеу үшін қолданылады. Автоматты түрде формализмге негізделген күйлердің визуалды көріністері мен өтулердің қарапайым мысалы компьютер сияқты техникалық құралдың жағдайына байланысты болуы мүмкін. Бұл жағдайда екі ең кең
Сурет. 2.4. Компьютер сияқты техникалық құрылғыға өтудің қарапайым диаграммасының ең қарапайым мысалы
тараған күйлер енгізіледі: «мінсіз» және «ақаулы» және екі ауысу:
«сәтсіздік» және «жөндеу». Графикалық түрде бұл ақпарат компьютерлік диаграмма түрінде ұсынылуы мүмкін (2.4 сурет).
Автоматтың формализміне кіретін негізгі ұғымдар мемлекет пен өтпелі кезең болып табылады. Олардың арасындағы негізгі айырмашылық мынада, бұл жүйені табу уақыты жеке мемлекетте бір мемлекеттен екіншісіне өту уақытынан әлдеқайда көп. Шектеулерде бір мемлекеттен екіншісіне ауысу уақыты нөлге тең болады (егер ештеңе айтылмаса). Басқаша айтқанда, объектіні мемлекеттен мемлекетке көшіру дереу орын алады.
Басқаша айтқанда, объектіні мемлекеттен мемлекетке көшіру дереу орын алады.
Белгілі бір мемлекеттік схеманың семантикасын түсіну үшін модельдеудің мінез-құлқын ғана емес, сонымен қатар
автоматтандыру теориясы туралы жалпы ақпаратты білу керек.
Күту күйі, егер бар болса, триггер оқиғадан кейін әрдайым тік жақшаларда жазылады және кейбір булевалық өрнек ұсынады. Еске салайық, бұл логикалық өрнек екі шын мәнінде айрықша құндылықтардың бірі болуы керек: «шындық» немесе «өтірік». Мемлекеттердің диаграммалары тұрғысынан бұл өрнек семантикасы нақты түрде орындалуы керек. Егер watchdog күйі
«true» мәнін алса, онда тиісті өту жұмыс істей алады, нәтижесінде нысан нысаналы күйге өтеді. Егер watchdog күйі «жалған» мәнін алса, өтпелі жұмыс істей алмайды және басқа ауысулар болмаған жағдайда нысан осы өту үшін мақсатты күйге шыға алмайды. Алайда, бағыныстылық жағдайының шынайылығын есептеу онымен байланысты оқиға болғаннан кейін ғана орын алады.
Жетілдірілген пайдаланушы интерфейсі бар интерактивті бағдарламалық жасақтама үшін негізгі басқару әрекеттері нақты уақыт режимінде бағдарламалық қамтамасыз ету үшін - сенсорлардан және (немесе) өндіріс операторынан сигналдар үшін пайдаланушы пәрмендері болып табылады. Бағдарламалық қамтамасыз етудің бұл түрлеріне ортақ жүйе келесі басқару әрекетін алғанша жүйе жұмысын тоқтатқанда күту күйінің болуы болып табылады. Интерактивті бағдарламалық қамтамасыз ету үшін әр түрлі типтегі командаларды қабылдау және нақты уақыттағы бағдарламалық қамтамасыз ету үшін ең тән - сигналдардың бірдей түрін немесе көптеген сенсорлардан немесе ұзақ өңдеуді талап етеді.
Нақты уақыттағы жүйелер үшін интерактивті жүйелерден айырмашылығы, қабылданған сигналдың өңдеу уақытына қатаң шектеулер бар. Мұндай шектеу жүйенің мінез-құлқын уақыт бойынша қосымша зерттеуді талап етеді.
Бағдарламалық қамтамасыз ету, оның дамуы кезінде мінез- құлық сипаттамаларын мемлекеттік күйлердің диаграммасын жасау арқылы талап етеді, желіде жұмыс істеуге бағдарланған бағдарламалық қамтамасыз етуді қамтиды. Бұл жағдайда сервердің және клиенттің мінез-құлқының үлгілері әдетте бөлек салынып, олардың арасындағы басқарушы әрекеттер түрінде жіберілген хабарларды білдіреді.
Достарыңызбен бөлісу: | 
