lection 7 (Электронные лекции)
Описание файла
Файл "lection 7" внутри архива находится в папке "Электронные лекции". PDF-файл из архива "Электронные лекции", который расположен в категории "". Всё это находится в предмете "методы формальных спецификаций программ" из 8 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
1Лекция № 7SDL( Specification and Description Language )Фролов Артем МихайловичSDL используется для реактивных дискретных систем( реактивные системы – системы,взаимодействующие с окружением и поведение является определяющим, дискретныесистемы – поведение такой системы характерезуется ответом на раздражители )SDL используется для описания функциональных требованийSDL применяют для описания телекоммуникационных систем( 1965г – ITU )1972 – начало разработки SDL1976 – первая публикация1988 – SDL881992 – SDL922000 – SDL2000Telelogic( SDL – UML )Две формы синтаксиса описания программ на SDL: текстовый и графическийSDL-система – часть мира, достойная описания как единое целое( набор расширенныхконечных автоматов – РКА )Окружение – всё, что вне системыРКА создают поведение.В SDL есть структуризация:• Система• Блоки• Процессы• Процедуры• Сервисы2Блоки3Каналыпроцессные каналымаршрутные каналыБлок – основная структурная единицаПроцесс – основная единица поведенияШлюз( gate ) – входные, выходные, двусторонниеПоведение.Описывается при помощи РКА.Конфетки за монетки:4Диаграммы для “конфетки за монетки”:56.