lection 3 (Электронные лекции)
Описание файла
Файл "lection 3" внутри архива находится в папке "Электронные лекции". PDF-файл из архива "Электронные лекции", который расположен в категории "". Всё это находится в предмете "методы формальных спецификаций программ" из 8 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
1Лекция № 3MSC( message sequence charts ).Диаграммы взаимодействия.ITU-T Z.120( 11/99 )MSC2000Telelogic TauSDL ForumMessage sequence charts( MSC )bMSC – baseMSCMSCHMSC – High Level MSC•••UMLSequence ChartsCollaboration DiagramsActivity Diagrams( нет языка, есть толькоправила “layout-a” )Сопоставление с другими алгоритмическими языкамиСинтаксис языка MSCПрограмма на языке MSCВ Pascal-е: программа – это слово, построенное по правилам синтаксиса языкаСлово в MSC – это трасса( конструкция baseMSC )Программа( система ) в MSC это сама языковая конструкция( система в MSC – это набордиаграмм )HMSCMSC2Какой контекст использования MSC диаграмм?для каждого Use Case-aСценарные моделиMSCUse CasesDomainModelМодельфункционированиямоделиАвтоматнаямодельИсполняемаяпрограммаСловарь СистемыBridge( SDL )Что можно делать с описаниемсистемы на языке MSC?• симулировать( выполнять ) прогонку и валидировать модель( проверкаудовлетворения системы существующим требованиям – справедливо для трассы )MSC имеет две нотации: PR – Phrase Representation( для автоматической обработке ) GR – Graphical Representation( для человека )PR H1( ordering )msc ordering;inst a, b, c;instance a;in m1 from env;out m2 to b;out m3 to c;in m4 from b;end instanceinstance b;in m2 from a;out m4 to a;end instanceinstance c;in m3 from a;end instanceend msc;3Сообщения( как можно реализовать? ):1.
Вызов процедур2. Протокольное взаимодействие( характерно для UML )( характерно для MSC )В MSC нет глобального времени, даже в пределах одной диаграммы и для системы в целом.Поэтому нужна синхронизация по времени.Но реально произвести синхронизацию можно только по отправке и получению собщений.Можно лишь говорить о частичной упорядоченности событий( если нет coregion ) на однойлинии жизни( оси ).вполне может быть!!!4граф предшествования( для трассы )in( m1 )out( m2 )in( m2 )out( m3 )in( m4 )in( m3 )out( m4 )HMSC диаграммыMSC referenceпоказываеткакобьединяютсяMSCдиаграммы5Основные конструкции MSC1. Messagesregularmessagelost message( уже нет получателя )found message( уже нет отправителя )( < parameter list > )baseMSC отличается отMSC тем, что в baseMSCне должно бытьпараметров !!!( ни переменных, ни спискапараметров )< name >2.
TimerУстановкатаймераT(10)является baseMSCдиаграммойreset( stop )сброс таймераactionTask x:= 10T(x)timeoutсрабатывание таймераявляется MSCдиаграммой, но неявляется baseMSCдиаграммой.