Техникалық сипаттама және сипаттама тілі - Specification and Description Language

Техникалық сипаттама және сипаттама тілі (SDL) Бұл спецификация тілі реактивті және мінез-құлық сипаттамалары мен сипаттамаларына бағытталған бөлінген жүйелер.

Шолу

The ITU-T SD.1-ді Z.100-ден Z.106-ға дейінгі ұсынымдарда анықтады. SDL бастапқыда телекоммуникация жүйелеріне бағытталған; 2016 жылғы жағдай бойынша оның қолданыстағы салаларына процесті басқару және жалпы нақты уақыттағы қосымшалар жатады. Табиғатына байланысты оны имитациялық жүйелерді ұсыну үшін қолдануға болады [1] екіұштылықсыз және графикалық белгімен.

Техникалық сипаттама және сипаттама тілі графикалық сипаттаманы ұсынады Графикалық бейнелеу (SDL / GR), сондай-ақ мәтіндік Фразаны ұсыну (SDL / PR), олар бірдей негізгі семантиканың эквивалентті көріністері болып табылады. Модельдер әдетте графикалық SDL / GR түрінде көрсетіледі, ал SDL / PR негізінен құралдар арасында модельдермен алмасу үшін қолданылады. Жүйе кеңейтілген өзара байланысты дерексіз машиналар жиынтығы ретінде көрсетілген ақырғы күйдегі машиналар (FSM).

Тіл ресми түрде аяқталды,[2]сондықтан оны модельдеу немесе соңғы мақсаттар үшін кодты құру үшін пайдалануға болады.

Ерекшеліктер мен сипаттама тілі бес негізгі аспектіні қамтиды: құрылым, қарым-қатынас, мінез-құлық, деректер және мұрагерлік. Компоненттердің әрекеті жүйені бірқатар иерархияларға бөлумен түсіндіріледі. Компоненттер арасындағы байланыс арналар арқылы қосылған қақпалар арқылы жүзеге асады. Арналар кешіктірілген арна түріне жатады, сондықтан байланыс әдетте асинхронды болады, бірақ кідіріс нөлге теңестірілгенде (яғни кідіріссіз) байланыс синхронды болады.

Тілдің алғашқы нұсқасы 1976 жылы графикалық синтаксисті (SDL-76) қолдану арқылы шығарылды. Бұл 1980 жылы кейбір рудиментарлы семантикамен қайта қаралды (SDL-80). Семантикасы 1984 жылы нақтыланды (SDL-84), машиналық өңдеуге мәтіндік форма енгізіліп, мәліметтер енгізілді. 1988 жылы SDL-88 тілдің формальды негізімен шығарылды: дерексіз грамматика, сонымен қатар нақты грамматика және толық ресми анықтама. 1992 жылы шығарылған нұсқада (SDL-92) объектілік-бағдарланған тұжырымдамалар, мысалы, мұрагерлік, абстрактілі жалпы типтер және т.б. енгізілді, объектілік-бағдарлық емес сипаттағы объектілікке айналу сипатталған. SDL-2010 - бұл түрлендірулермен сипаттауға емес, толығымен объектіге негізделген SDL-2000 жаңартылған нұсқасы. Бұл нұсқа а UML -Профиль: ITU-T ұсынысы Z.109 (04/12), SDL-2010 UML-мен біріктірілген. SDL-2010 сонымен қатар бастапқыда SDL-RT енгізген C деректер түрлерін қолдауды енгізді.

Ұйымдастыру

Иерархия деңгейі

SDL иерархия деңгейі келесідей құрылымдалған.

  • Кітапхана пакеті
  • Жүйелік агент
  • Блок агенті
  • Процесс агенті
  • Процедура түрі
  • Қашықтағы процедура

Сәулет

SDL жүйесі функционалды блоктардан жасалған және әрбір блок ішкі блоктарда одан әрі ыдырауы мүмкін. Төмен деңгей блогы ақырғы күй машиналары ретінде сипатталған бір немесе бірнеше процесстен тұрады.

SdlArchitecture.JPG

Байланыс

Блоктар блоктар арасында алмасқан хабарламаларды (немесе сигналдарды) тасымалдайтын каналдар арқылы қосылады. Блок агент технологиялық агенттерден тұрады.

SdlChannels.png

Мінез-құлық

Әрбір технологиялық агент - бұл жүйе жүзеге асыратын әрекетке ықпал ететін мемлекеттік машина. Қоршаған ортадан немесе басқа агенттен агентке келетін хабарламаны ынталандыру сигнал деп аталады. Процесс агенті алған сигналдар алдымен кезекке қойылады (кіріс порты). Күй машинасы күйде тұрған кезде, егер кіріс портындағы бірінші сигнал осы күйге қосылса, ол басқа күйге апаратын көшуді бастайды. Өтпелер басқа агенттерге немесе қоршаған ортаға сигнал бере алады. Процесс агентіне бірдей әрекеттерді әр түрлі жерден шақыруға болатындай етіп процедура түрлері кіруге рұқсат етілген. Процедураны басқа агентте (немесе тіпті басқа жүйеде) шақыру және жауап күту үшін қашықтағы процедура түрін шақыруға рұқсат етіледі.

SdlStateMachine.png

Бұл мысалда MyVariable INTEGER типіне жатады және процесстегі жалғыз айнымалы болып табылады. Бірінші ауысу бастау жергілікті айнымалыны инициализациялайтын ауысу. Байланыс туралы хабарлама келісім 5 секундтық таймер жіберілді conReqTimer іске қосылды, ал мемлекеттік машина байланыстырушы мемлекет. Ішінде байланыстырушы таймер сөніп қалса, бұл хабарлама қабылдауға тең - қосылу туралы сұраныс 10 есеге дейін қайта жіберіледі. Егер қосылым туралы растау қабылданса, онда мемлекеттік машина жіберіледі байланысты мемлекет. Бұл әдеттегі телекоммуникациялық протокол сценарийі.

Қол жетімді символдар:

SdlSymbols.jpg

Деректер

SDL дерек деректері (ADT) деректердің негізгі типтерін қолдайды, мысалы INTEGER, REAL, CHARSTRING, сонымен қатар құрылымдар (STRUCT), тізілген (LITERALS), тұрақтылар (SYNONYMS) сияқты құрылымдалған. Синтаксис Паскальдан алынғанға ұқсайды, мысалы ': =' тапсырмасы жазылады.

Нұсқалар

  • SDL-RT деректер тілін С-мен алмастыратын МӘС сипаттамасы мен сипаттамасы тіліне негізделген.[3] SDL стандартының соңғы нұсқасы (SDL'2010) енді C деректерінің типтерін қолдауды және SDL-RT ресми стандарттың негізгі принципін құрайтын синтаксисті қамтиды.
  • TNSDL - бұл ішкі қолдану үшін Nokia жасаған нұсқасы.

Байланысты технологиялар

  • MSC Хабарламалар тізбегінің диаграммасы. Жүйенің динамикалық әрекетін сипаттайтын тағы бір ITU-T белгісі.
  • ASN.1 Синтаксистік реферат SDL ішінде пайдалануға болатын деректер типтерін сипаттайтын ISO стандарты.
  • TTCN-3 Тестілеу және тестілеудің нотациялық нұсқасы 3. ITU-T стандарттаған және ETSI жазған тестілеу тілі.
  • Бірыңғай модельдеу тілі Жалпы модельдеу белгісі. SDL негізінде профиль стандартталған.

Сондай-ақ қараңыз

Әдебиеттер тізімі

Бұл мақала алынған материалға негізделген Есептеу техникасының ақысыз онлайн сөздігі 2008 жылдың 1 қарашасына дейін және «қайта қарау» шарттарына сәйкес енгізілген GFDL, 1.3 немесе одан кейінгі нұсқасы.

  1. ^ Fonseca i Casas, Pau and Pi, Xavier and Casanovas, Josep and Jové, Jordi (2013). «Виртуалды шындық модельдеу моделін анықтау және сипаттама тілінің диаграммаларын қолдану». SDL 2013: модельге негізделген сенімділік инжинирингі. Информатика пәнінен дәрістер. 7916. Springer Berlin Heidelberg. 258–274 бет. дои:10.1007/978-3-642-38911-5_15. hdl:2117/22156. ISBN  978-3-642-38910-8.CS1 maint: бірнеше есімдер: авторлар тізімі (сілтеме)
  2. ^ Р.Граммес; Р. Готжейн (2007). Бағдарламалық жасақтама жасаудың негізгі тәсілдері. Информатика пәнінен дәрістер. 4422. Спрингер. 200–214 бет. дои:10.1007/978-3-540-71289-3_17. ISBN  978-3-540-71288-6.
  3. ^ «Техникалық сипаттама және сипаттама тілі - нақты уақыт». Алынған 2014-03-29. SDL-RT-дің негізгі қолданылуы нақты уақыт пен ендірілген бағдарламалық жасақтаманы әзірлеу болып табылады. SDL-RT бір уақытта жұмыс істейтін, хабарламалар арқылы ақпарат алмасатын және бір-бірімен семафоралар көмегімен синхронды болатын тапсырмаларға негізделген.

Сыртқы сілтемелер