lection 5 (1162418)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

1Лекция № 5Семантика языка MSC. Данные в MSC.MSC как формальная система• Нотационная компонента• Интерпретационная компонента• ДанныеВертикальная декомпозициявертикальная декомпозиция детализирует спецификацию( уточнение реализации ), но нерасширяетфункциональность.Функциональность расширяется, когда:• Появляются новые символы• Появляются дополнительные MSC диаграммы( т.е.

HMSC диаграммы становятсясложнее )2Альтернативная композиция( Z.120 `99 page 100 )3Какие состояния являются глобальными?критерий:Каждое состояние, которое разделяется всеми осями и не является local decision, являетсяглобальным состоянием.4Global condition( start, C )– это состояние, разделяемое несколькими осями.Local condition( D )– это состояние, разделяемое только одной осью.Local decision( alt: when, otherwise) – это состояние, которое разделяется одной осью и имеетприсоединненый спецыальный комментарий.msc document xx;msc xx;A: instance;env_0: instance;text `data dcl n integer; `;A: action `task n:= 0; `;A: condition n comment ‘>’;A: out ok,1 to env_0;env_0: in ok,1 to from A;env_0: end instance;A: end instance;end msc;Всегда ли можно environment рассматривать как обьект? ( да, можно )5Данные в MSC( MSC как формальная система )envДанные всистемесистемаДля чего нужны?( Чтобы задать управление )Управление цикломА как вообще реализуетсяуправление в MSC ?MSC – это исчисление( не алгоритм, т.е.

нет управления – противопостовляется алгоритму )Примеры исчислений: Формальные грамматики, Канонические системы Поста.Канонические системы Поста:Посылка 1Заключение 1, ... ,Посылка NЗаключение NСамое сложное в исчислении – задать управление.Один из способов задать управление – local decision6тоже способ управления – выбор сигнала.Манипулирование данными в MSC• Автоматическая декларация данных• Явная декларация данных• Явные local decisions, основанные на данных• Неявные local decisions.встроенное преобразование данных подразумеваетсяПроблема соответствия со стандартом( к проблеме валидации )либо H1, либо H27Возможная трасса( не возможна по стандарту, но на практике такое возможно )Поэтому процесс стандартизации нужно корректировать.Стандарт не есть догма !!!.

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов лекций