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

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

PDF-файл Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL, страница 3 Формальная спецификация и верификация программ (63942): Книга - 9 семестр (1 семестр магистратуры)Мансуров Н. Н., Майлингова О. Л. - Методы формальной спецификации программ - языки MSC и SDL: Формальная спецификация и верификация программ - PDF, с2020-08-21СтудИзба

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

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

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

Текст 3 страницы из PDF

Основной особенностью фазыанализа требований является точка зрения на системы как на «черный ящик»,находящийся в некотором окружении. Основные усилия разработчиковнаправляются на уточнение непосредственного окружения системы.8Назначение фазы анализа системы (system analysis) заключается внахождении основных объектов системы, необходимых для достижениятребуемой функциональности.Назначение фазы системного проектирования (system design)заключается в уточнении архитектуры системы, выделении компонентовсистемы (подсистем) и определении детальных интерфейсов междукомпонентами системы. Фаза системного проектирования включает в себятакже дополнительный анализ системы с точки зрения среды разработки инахождение такой организации компонентов системы, при которой возможнопоследующаяреализациянесколькиминезависимымигруппамиразработчиков.Фаза детального проектирования (detailed design) заключается вуточнении поведения всех объектов системы.Фаза реализации (implementation) заключается в создании исполнимогоприложения, отвечающего исходным требованиям.Интересно, что на ранних фазах разработки имеет местопреимущественно аналитическая деятельность, связанная с обнаружением иописанием объектов и свойств, тогда как на более поздних фазах имеет местопреимущественно синтетическая деятельность, связанная с изобретением,построением новых объектов и свойств.Мы будем рассматривать современный объектно-ориентированныйметод разработки.

Форма моделей и последовательность их построенияпредставлена на Рис. 1. Основу метода составляют модели двух типов:объектные модели и сценарные модели.Рассмотрим фазы разработки и соответствующие модели болееподробно.1.1. Фаза анализа требованийФаза анализа требований разделяется на два вида деятельности:Анализ предметной областиАнализ требований к системе.9Рис.

1. Фазы разработки и моделиНазначением анализа предметной области является достижениепонимания среды, для которой разрабатывается система, безотносительно ксамой системе. Формой представления знания о предметной области являетсятак называемая объектная модель требований (объектная модель на Рис. 1).Объектная модель документирует все понятия предметной области, а такжесвязи (отношения) между этими понятиями.

Преимущества построения такоймодели трудно переоценить:Разработчики и заказчики получают общее понятийное поле, котороеможно использовать для проверки взаимопонимания10Объектная модель существенно облегчает построение архитектурноймодели. Объектная модель позволяет быстро интегрировать новых членовколлектива разработчиков, ранее не знакомых с данной предметнойобластью.Для формализации объектной модели мы будем использовать такназываемый язык объектных моделей (OMT).Назначением анализа требований к системе является формализациятребований заказчика к разрабатываемой системе. Формой представлениязнания о решаемой задаче является так называемая сценарная модель.Сценарная модель представляет собой набор описаний сценариевиспользования системы, т.е.

набор целенаправленных обменов информациеймежду пользователем и системой, ведущих к достижению пользователейодной из своих целей (ради достижения которых и разрабатываетсясистема!). Преимуществом сценарного подхода к моделированию внешнихтребований к системе является его ориентация на пользователя, что даетвозможность заказчикам оценивать правильность понимания разработчикамизадачи.Для формализации сценарных моделей мы будем использовать языкдиаграмм взаимодействия MSC.Словарь проекта представляет собой простое, но эффективное средствов арсенале разработчиков. Словарь проекта представляет собой определениявсех понятий, обнаруженных в предметной области, а также понятий,вводимых при анализе.

Назначением словаря проекта являетсястандартизация терминологии, применяемой всеми участниками проекта,включая разработчиков, заказчиков и пользователей.1.2. Фаза анализа системыРассмотрим теперь следующую фазу – анализ системы. Назначениемфазы анализа системы является выявление архитектуры разрабатываемойсистемы. Основу системного анализа составляет поиск оптимального набораобъектов, взаимодействие которых обеспечит выполнение требований ксистеме.

Таким образом, на данной фазе происходит анализ того, какуюинформацию необходимо представлять в системе (данные, алгоритмы,интерфейсы.), а также распределение функциональности по компонентамсистемы. Источником информации является преимущественно объектнаямодель требований и сценарная модель требований.

Формойдокументирования результатов системного анализа является так называемаяархитектурная модель – объектная модель, описывающая компонентысистемы, их назначение (т.е. выполняемые им функции) и их взаимосвязи.11Именно на этапе анализа системы происходит выбор стабильной, устойчивойк изменениям, расширяемой архитектуры, которая будет способнаобеспечить последующую эволюцию системы на протяжении ее ожидаемойжизни.Дополнительно, на фазе системного анализа происходит уточнениесценариев использования системы и описание динамики архитектуры, т.е.описание взаимодействия компонентов системы по каждому сценарию.Формой документирования динамики архитектуры являются диаграммывзаимодействия MSC.1.3.

Фаза системного проектированияНа данной фазе принимаются окончательные решения по одному изсамых важных вопросов разработки – определение архитектуры системы, т.е.того, как сложная система строится из более простых частей, которые, в своюочередь, могут состоять из еще более простых частей и так далее. Выявлениеархитектуры происходит на фазе анализа системы, но ее точное определениеявляется основным содержанием фазы системного проектирования.Источником информации для фазы системного проектированияявляются архитектурная модель и соответствующая ей сценарная модель,построенные на фазе анализа системы. Результатом фазы является детальноеописание компонентов системы и их интерфейсов.На фазе системного проектирования создаются следующие модели:Определение архитектуры системыСтруктура проектных модулей системыДетальная сценарная модель, соответствующая архитектуреАрхитектура системы описывается на языке SDL. В языке SDL основнойструктурной единицей является блок.

Блок является контейнером для другихобъектов.Архитектураописываетлогическуюструктурусистемы.Дополнительно, производится разделение системы на проектные модули.Проектные модули представляют собой организационное деление системы начасти, которые могут быть реализованы независимо и параллельно другдругу разными группами разработчиков. На языке SDL проектные модулиобычно представляются как пакеты.

При описании структуры проектныхмодулей может быть описано, каким образом в системе планируетсяиспользовать стандартные каркасы, компоненты и инструментальныесредства. Дополнительно здесь принимаются решения по стратегииреализации каждого модуля. Структура проектных модулей описывается припомощи объектной диаграммы.12Интерфейсы компонентов архитектуры системы описываются на языкеSDL.

В SDL средством описания интерфейса являются определениясигналов. Динамический аспект интерфейсов, т.е. описание взаимодействияблоков, моделируется при помощи очередного уточнения сценарной модели.1.4. Фаза детального проектированияДанная фаза завершает разработку системы. Существует тесная связьмежду данной фазой и предшествующей фазой системного проектирования,т.к. на фазе детального проектирования решаются вопросы представления иопределения поведения объектов, тогда как на фазе системногопроектирования происходит распределение объектов по блокам иорганизация коммуникации между блоками.13Глава 2. Сценарные моделиСценарные модели предназначены для описания внешнего поведениясистемы. Сценарная модель представляет собой систематическое описаниеспособов использования системы.

Техника использования оказываетсявесьма эффективной при анализе требований заказчиков и пользователей.Преимуществом данной техники является то, что она полностьюориентирована на пользователя системы, т.е. все описания ведутсяисключительно с точки зрения пользователя системы. Это означает, чтонабор сценариев использования системы может использоваться на всехпоследующих фазах разработки программной системы для верификациипринимаемых проектных решений с точки зрения использования системы.Первая публикация, содержащая достаточно подробное описаниеметода, появилась в 1992 году. В ней предложена основная терминология:сценарий использования (use case), сценарная модель (use case model).В настоящее время техника получила широкое распространение ииспользуется (в той или иной форме) в большинстве современных методовразработки программного обеспечения.2.1.

Основные понятияСценарная модель использует понятия агент (от англ. actor), роль,интерфейс и сценарий. Каждый агент использует систему для достиженияопределенной цели. Основная идея сценарной модели заключается вописании поведения системы как совокупности ролей по отношению кагентам. По определению, роль – это определенная функциональность,которой должна обладать система для достижения одним из агентов одной изего целей. Достижение агентом своей цели предполагает взаимодействиемежду агентом и системой.

Система взаимодействует с каждым из агентов водной из ролей. Каждой роли соответствует отдельный интерфейс. Каждаяроль описывается как сценарий взаимодействия между агентом и системой,т.е. как возможные последовательности событий. Такой сценарийназывается сценарием использования системы, т.к.

он полностьюопределяется некоторой целью агента. Подчеркнем, что последовательностьсобытий, описываемая сценарием использования, не обязательно являетсяединственной.Вся совокупность сценариев использования (по всем ролям системы поотношению ко всем агентам) составляет сценарную модель системы.Рассмотрим основные понятия сценарных моделей более подробно.142.1.1. АгентПонятие агент используется для моделирования чего-либо, чтосуществует вне системы и взаимодействует с системой. Агенты существуютвне системы.

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

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Нашёл ошибку?
Или хочешь предложить что-то улучшить на этой странице? Напиши об этом и получи бонус!
Бонус рассчитывается индивидуально в каждом случае и может быть в виде баллов или бесплатной услуги от студизбы.
Предложить исправление
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
5138
Авторов
на СтудИзбе
442
Средний доход
с одного платного файла
Обучение Подробнее