Главная » Все файлы » Просмотр файлов из архивов » PDF-файлы » Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL

Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL

PDF-файл Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL, который располагается в категории "книги и методические указания" в предмете "формальная спецификация и верификация программ" издевятого семестра. Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL - СтудИзба 2020-08-21 СтудИзба

Описание файла

PDF-файл из архива "Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL", который расположен в категории "книги и методические указания". Всё это находится в предмете "формальная спецификация и верификация программ" из девятого семестра, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст из PDF

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТимени М. В. ЛОМОНОСОВАФакультет вычислительной математикии кибернетикиМансуров Н. Н., Майлингова О. Л.Методы формальнойспецификации программ:языки MSC и SDL(учебное пособие для студентов4 курса факультета ВМиК)1998УДК 681.142Пособие посвящено современным объектно-ориентированным методамразработки программного обеспечения. Подробно рассматриваются все фазыпроцесса разработки, такие как анализ требований, системный анализ,системное проектирование, детальное проектирование и реализация.Описываются техники построения формальных моделей, стандартные языкиспецификаций MSC (язык диаграмм взаимодействия) и SDL (языкспецификаций и описаний), а также приводится практическое руководство посистеме SDT - инструментальной системе поддержки разработкипрограммного обеспечения на основе языков MSC и SDL.

Пособиепредназначено для поддержки одноименного лекционного курса.Рецензенты:А.Н. Томилин, д.ф.-м.н., профессорА.К. Петренко, к.ф.-м.н.Мансуров Н. Н., Майлингова О. Л. Формальные методы спецификациипрограмм: языки MSC и SDL(учебное пособие для студентов 4 курса факультета ВМиК МГУ).Издательский отдел факультета ВМиК МГУ(лицензия ЛР № 040777 от 23.07.96), 1998.- 126 с.Печатается по решению Редакционно-издательского Совета факультетавычислительной математики и кибернетики МГУ им.

М.В.Ломоносова.ISBN 5-89407-021-X@Издательский отдел факультетавычислительной математики икибернетики МГУ им. М.В. Ломоносова19982ПРЕДИСЛОВИЕНастоящее пособие представляет собой практическое руководство поприменению формальных методов разработки программного обеспечения.Пособие предназначено для поддержки курса лекций, читаемого авторамина факультете вычислительной математики и кибернетики Московскогогосударственного университета с 1997 года.Пособие представляет современный процесс разработки программногообеспечения как процесс построения моделей.

Основное внимание уделяетсядвум разновидностям моделей:сценарии использования системы иобъектная модель системы. Подробно рассматривается процесс уточнения идетализации моделей на каждой фазе разработки: анализ требований, анализсистемы, системное проектирование и детальное проектирование.Содержание пособия разделяется на три части. Первая часть посвященаметодике построения формальных моделей систем на каждой фазе процессаразработки.Вторая часть пособия посвящена описанию некоторых нотаций,которые используются для формализации моделей.

Основное вниманиеуделяется языку диаграмм взаимодействия MSC. Материал, публикуемый впособии, представляет собой первую публикацию по данному языку нарусском языке. Отдельная глава посвящена языку спецификаций и описанийSDL.Заключительная часть пособия представляет собой практическоеруководство по системе SDT – инструментальной системе поддержкиразработки программного обеспечения на базе языков MSC и SDL.

Материалпрактического руководства представляет собой практикум, предназначенныйдля самостоятельной проработки в терминальном классе рабочих станций.Авторы выражают благодарность фирме TeleLOGIC AB (Швеция) запредоставление лицензий на систему SDT и содействие в организации курса.3СОДЕРЖАНИЕГлава 1. Введение .................................................................................................... 81.1. Фаза анализа требований............................................................................. 91.2. Фаза анализа системы................................................................................

111.3. Фаза системного проектирования ............................................................ 121.4. Фаза детального проектирования ............................................................. 13Глава 2. Сценарные модели ................................................................................. 142.1. Основные понятия...................................................................................... 142.1.1. Агент..................................................................................................... 152.1.2. Сценарий .............................................................................................. 152.1.3. Интерфейс ............................................................................................

152.2. Связи между сценариями .......................................................................... 152.2.1. Отношение использования................................................................. 152.2.2. Отношение расширения ..................................................................... 162.3. Сценарная модель ...................................................................................... 172.4. Процедура моделирования........................................................................ 172.4.1. Описание сценариев использования ................................................. 18Глава 3. Архитектурные модели..........................................................................

203.1. Устойчивые структуры.............................................................................. 213.2. Интерфейсные объекты ............................................................................. 223.3. Информационные объекты........................................................................ 223.4. Управляющие объекты .............................................................................. 233.5.

Заключение ................................................................................................. 24Глава 4. Язык диаграмм взаимодействия ........................................................... 254.1. Основные понятия...................................................................................... 254.1.1. Диаграмма ............................................................................................ 254.1.2. Объект ..................................................................................................

264.2. События....................................................................................................... 274.2.1. Сообщение ........................................................................................... 274.2.2. Действие...............................................................................................

294.2.3. Создание объекта ................................................................................ 294.2.4. Уничтожение объекта ......................................................................... 304.2.5. Таймер ..................................................................................................

304.2.6. Область неупорядоченных событий ................................................. 314.3. Семантика диаграмм взаимодействия ..................................................... 324.4. Структурные средства ...............................................................................

354.4.1. Состояния............................................................................................. 354.4.2. Декомпозиция диаграмм .................................................................... 374.4.3. Композиция секций............................................................................. 374.4.4. Виды композиции диаграмм .............................................................. 384.4.5.

Иерархическая декомпозиция объектов ........................................... 39Глава 5. Язык объектных моделей ...................................................................... 4245.1. Классы ......................................................................................................... 425.2. Отношения между классами ..................................................................... 425.3. Объекты.......................................................................................................

465.4. Модули ........................................................................................................ 475.5. Заключение ................................................................................................. 47Глава 6. Язык SDL................................................................................................. 486.1.

Теоретическая модель................................................................................ 486.2. Графические грамматики ......................................................................... 486.3. Структура SDL системы............................................................................ 506.3.1. Система ................................................................................................ 536.3.2. Блок....................................................................................................... 536.3.3. Процесс................................................................................................. 546.3.4. Процедура ............................................................................................

566.4. Взаимодействие.......................................................................................... 566.4.1. Сигнал................................................................................................... 576.4.2. Список сигналов..................................................................................

586.4.3. Канал..................................................................................................... 586.4.4. Межпроцессный канал ....................................................................... 596.5. Поведение ................................................................................................... 596.5.1. Определение переменных ..................................................................

Свежие статьи
Популярно сейчас