Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL (1185161)
Текст из файла
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТимени М. В. ЛОМОНОСОВАФакультет вычислительной математикии кибернетикиМансуров Н. Н., Майлингова О. Л.Методы формальнойспецификации программ:языки 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. Определение переменных ..................................................................
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
