lection 4 (Электронные лекции)
Описание файла
Файл "lection 4" внутри архива находится в папке "Электронные лекции". PDF-файл из архива "Электронные лекции", который расположен в категории "". Всё это находится в предмете "методы формальных спецификаций программ" из 8 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
1Лекция № 4MSC: Композиция и декомпозиция MSC диаграммMSC как формальная система• нотация( нотационная компонента, знаковая система )• данные• интерпретационаая компонента( система поддержки )• MSC диаграммы и HMSC диаграммаПример задачи на экзамене:нужно выбрать правильные трассы:23Ответ:HDBECFIAсразу вычеркиваем, т.к. нет сообщения s4( а онообязательно должно быть )Тоже не подходятGОкончательный ответДекомпозиция диаграммы ИС_а_1 на пару диаграмм 1a и 1b:HMSC диаграмма для ИС_а_1:4Сколько глобальных состояний может быть на диаграммах и какие?a) Начальное состояниеОтвет: начальное состояние всегда вводится( может быть даже неявно )b) Конечное глобальное состояниеОтвет: нетc) Можно ли осуществить горизонтальную декомпозицию ?Ответ: да, обязаныПреобразование MSC диаграмм• Горизонтальная декомпозиция до элементарных диаграмм• Построение HMSC диагаммы( одной ! )5BridgeEA( events automate)SDL модель“C” компиляцияJava программаSimulate( выполнять)Validate( проверить)Отображение трассы на исходныеMSC диаграммыПостроение автоматной модели приводит к расширению семантики( поведения ) MSCдиаграмм( решение этой проблемы – задача валидации ).Тоже может получиться !!!Какие данные обрабатываются?Что интерпретируют MSC диаграммы?.