Просмотр сообщений
В этом разделе можно просмотреть все сообщения, сделанные этим пользователем.
Я два года размещаю рекламу наших (и чужих) тренингов в разделе «Обучение и тренинги» и являюсь модератором этого раздела.Прошу также прокомментировать процитированное в части модераторства. Отдельного списка модераторов нет, так что приходится лазить по дереву разделов, а в нём легко заблудиться.
Рисуя переход от границы суперсостояния Рамбо, скорее всего, имел в виду то же самое, что и рисуя от границы регионаСогласен. А ведь можно было бы наделить разным смыслом переходы идущие от пунктирной и от сплошной границы.
регион Night light switch не имеет начального псевдосостояния, а это делает невозможным повторный вход в регион - это нужно для перехода от границы суперсостояния (хотя здесь, скорее всего, ошибка - на стр. 149 есть фраза:"Подсветка управляется выключателем, поэтому начальное значение для нее не имеет смысла". Желание правильное, то есть в диаграмме должно что-то быть, но не исключение начального состояния, а, например, псевдосостояние решения "ромбик" после начального)Текст Рамбо показывает, что для него ортогональные регионы -- как бы подмашины.
нигде ранее ничего на эту тему не говоритсяУвы, это так.
рисуя переход от границы региона подчеркивается идея того, что переход внутри суперсостояния это переход внутри региона. Да и любая точка на границе суперсостояния относится ровно к одному регионуГеометрически это верно. Но можно представить себе переход внутри состояния, но не внутри региона с явным форком, от которого идут звенья в регионы. Его первое звено по конкретному синтаксису будет лежать в каком-то из регионов, но по смыслу оно исходит от суперсостояния. Наличие в конкретном синтаксисе явной видимой границы релиона, отделяющей его от суперсостояния, могло бы быть полезно в таком случае.
Переход, который "принадлежит" региону (и идущий от пунктирной линии) нужен только тогда, когда относится ко ВСЕМ без исключения состояниям региона. Если не ко всем, то приходится всё равно заводить композитное состояние (принадлежащее региону), в которое включать только те состояния региона, к которым относится переход. Примеры:Это точно. Просто я подумал, что Рамбо не зря на рис. 6.11 часть переходов (по set day, set clock, view program) нарисовал от границы между регионами, часть (по run program, power on) -- от границы суперсостояния. Или это совпадение.)
- У Рамбо и Блахи в их книге "UML 2.0. Объектно-ориентированное моделирование и разработка" рис. 6.11 - регион InteractiveDisplay, композитное состояние Setup, переход after (90 sec without input)
- У Харела в "STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS" Fig. 28. регион chime-status, композитное состояние enabled, переход d (in chime.on)
Изменил соглашение при регистрации, теперь оно соответствует правилам из первого сообщения этой ветки.Благодарю Вас за пояснения и коррекцию соглашения.
Получается, что Фаулер ошибся - если надо, чтобы переход затронул только один регион (но для нескольких состояний этого региона), то в соответствии с UML надо завести композитное состояние на эти состояния и делать переходы от этого композитного состояния (у вас это пунктирная линия).Возможно. Фаулера не очень заботило соответствие стандарту: часть его диаграмм им самим помечены как ненормативные. Или до версии 2.5 было что-то, что позволяло ему выразить нужный ему смысл именно так. Полагаю, что он и Рамбо, рисуя переходы от границ композитных состояний, исходили из диаграмм Харела (у которого "регион" -- это состояние, и есть представление о "зазоре" между границами "региона" и суперсостояния, в которое тот входит). Думаю, Фаулеру претила мысль о том, чтобы рисовать лишнюю рамочку. В принципе можно было бы в конкретном синтаксисе установить, что переход от пунктирной линии, разделяющей регионы "принадлежит" региону, а от сплошной границы суперсостояния -- суперсостоянию.
Мне давно хотелось поднять вопрос о терминологии:Ценное замечание.
- в описании (спецификации, диаграмме) автомата есть vertex (состояния и псевдосостояния) и transition (звенья)
- при работе автомата есть конфигурации (как допустимые сочетания состояний, но не псевдосостояний) и переходы (смена одной конфигурации на другую). На самом деле это не совсем точно - например не учитывается "историчность".
Почему Вы считаете, что это способ поражения в правах?Я так не считаю. Я считаю, что это способ регулирования рекламы, предложенный одним из участников (цитирую: "Сделайте в конце концов подраздел ... — и там сходите с ума"). По прецеденту можно было бы отделить вопросы обучения от рекламы ШСА тем же самым путём, что и в случае с Cradle.
Да, он имеет право публиковать сообщения рекламного характера, согласно правилам форума. Регистрационные правила следует уточнить, спасибо за наблюдение. Но хотелось бы услышать причину, которая побудила написать это сообщение. Это возможно?1) В марте я заметил, что новички ограничены в правах строже старожилов. Например, приняв соглашения, я обязался не размещать никаких рекламных сообщений, хотя мог бы пригласить молодых исследователей в области SE участвовать в одной из (некоммерческих) научных конференций. Захотел проверить, продолжает ли действовать дискриминация новичков.
Хороший пример, вызвал вопрос - в примере из предыдущего сообщения (рис. 14.34 с состоянием s2) какими (локальными или внешними) будут переходы, если бы они были нарисованы внутри s0 (мой вариант в скобках):В стандартных терминах локальности/внешности так и будет.
- из s0 в s0 (локальный, он и нарисован слева внизу)
- из s0 в s1 (локальный, он и нарисован слева в середине)
- из s1 в s0 (не знаю!, стандарт считает внешним)
- из s1 в s2 (внешний)
Переход внутренний или локальный сам по себе, но для локального перехода, целью которого является композитное состояние, это композитное состояние должно иметь начальное псевдосостояние (также, как для внешнего перехода, целью которого является композитное состояние, это композитное состояние должно иметь начальное псевдосостояние).Я имел в виду, что локальность перехода лучше (разумнее) определять для него самого, а не для его возможных связок с переходами из начальных состояний. Конкретная диаграмма может быть такой, что от границы состояния, к которой ведёт локальный/внешний переход, может начинаться цепочка переходов из начальных псевдосостояний, которая телепортирует куда-то внутрь вложенных подсостояний (при этом маршрут телепортации может зависеть от предыстории, например, чтобы было веселее). В таком случае цепочку проще разбить на звенья и описывать поведение по частям. Локальность/внутренность -- это поведение и свойство первого звена.
Тогда как будет выглядеть ответ на вопрос в первом топике не по стандарту, а по Харелу?По Харелу диаграмма состояний основывается на формализме higraph'ов (хайграфов), введённым им же (см.).
А если так: на рис. 14.34 левый нижний (и верхний) переход не внутренний, а локальный потому, что целью является композитное состояние (s0) и в целевую конфигурацию состояний должно войти то элементарное состояние, на которое есть переход от начального псевдосостояния. Пример: дополним рис. 14.34 состоянием s2 и начальным псевдосостоянием внутри s0 с переходом к s2. Тогда для исходной конфигурации {s0, s1} внутренний переход (для s0!) приведет к той же конфигурации {s0, s1}, а локальный переход - к конфигурации {s0, s2}.Разбираемый пример показывает, что описание локальных и внутренних переходов в стандарте дано неаккуратно и не отражено должным образом в метамодели. Так мне кажется.
Конструктивная критика приветствуется.Не уверен, что критикую конструктивно, но всё же:
Просьба указать на недочеты.1) Никогда не соединяйте варианты использования коммуникациями (ассоциациями) -- сплошными линиями. У этих связей на одном конце должно быть действующее лицо, а на другом -- ВИ.
