<На страницу назад | На страницу вперед>
3.3.2 Схематики переходов состояний
Первой базовой конструкцией является базовая схематика переходов состояний
(или просто схематика переходов), представленная на рис. 3-38.
Рис. 3-38
Базовая схематика переходов состояний
Интуитивно базовую схематику переходов состояний можно определить как определенную комбинацию событий, определенный вид ситуации, которая может возникнуть, а именно, как ситуацию, в которой имеется объект a в данном состоянии A, после которого следует объект b в состоянии B. Как правило, объект a с течением времени модифицируется, преобразуется или уничтожается для получения b. Довольно часто a и b представляют один и тот же объект, например, определенное количество воды, которая переходит из твердого состояния в жидкое, или данный автомобильный корпус, который переходит из невыкрашенного состояния в выкрашенное. Однако, это не всегда так; например, процесс сжигания может включать переход состояний, при котором кусок дерева уничтожается и дает кучку пепла. Поэтому для обобщения можно сказать, что используемой по умолчанию семантикой базовой схематики переходов состояний является более слабый из двух вариантов. Если необходимо выразить более сильный вариант в явной форме, в котором один и тот же объект подвергается данному переходу состояний, можно использовать стрелку с двумя острыми концами, как показано на рис. 3-39. (Идентичность может выражаться посредством химической структуры, массы, физической формы, функции и т.д. Например, после процесса брожения виноградный сок может превратиться в вино. Кто-то может доказывать, что "состав" вида "виноградный сок" такой же, как у вида "вино". Другие люди, имеющие другое мнение, могут воспринимать эти два вида как совершенно разные виды, например, на основе химического состава двух видов. В тех случаях, когда возможна двусмысленность, рекомендуется установить критерии тождества).
Рис. 3-39
Базовая схематика переходов состояний с сильной связью переходов
Подобно тому, как переход из A в B обычно включает один и тот же объект, объект в состоянии A прекращает существование в A до перехода в B. Так, определенное количество воды переходит из твердого состояния в жидкое; автомобильный корпус переходит из невыкрашенного состояния в выкрашенное и т.д. Однако, это не всегда так. Например, комната из состояния с присутствием одного человека (как минимум) может перейти в состояние с присутствием десятка человек (как минимум). Иначе говоря, комната в состоянии с присутствием десятка человек как минимум также является комнатой в состоянии с присутствием одного человека как минимум.
Как правило, семантика базовой схематики переходов состояний определяется следующим образом: при вхождении указанного перехода состояний сначала имеется объект a в состоянии A и только потом объект b, который находится в состоянии B; т.е. необходимо, чтобы a находился в состоянии A до того, как b будет находиться в состоянии B. Допускается (хотя, возможно, это и не типично), чтобы объект в состоянии A отличался от объекта, который находится в состоянии B, а также допускается (хотя, возможно, и это не типично), чтобы a оставался в состоянии A после того, как b будет находиться в состоянии B.
Важно отметить, что несмотря на примерно одно и то же внешнее оформление, семантика стрелки с черным острием в схематике объектов отличается от семантики стрелки в схематике процессов. В схематике процессов стрелка подразумевает полное временное предшествование: экземпляр UOB, указанный на конце стрелки, должен завершиться не позднее точки, в которой начинается экземпляр UOB, указанный острием стрелки. Напротив, в схематике объектов стрелка подразумевает предшествование только относительно исходных точек: объект, находящийся в состоянии, указанном на конце стрелки, должен начать пребывание в этом состоянии до перехода в объект, находящийся в состоянии, указанном острием стрелки. Причина переключения на более слабый вид предшествования в схематике переходов состояний указана выше: переход состояния включает только изменение объекта, находящегося в одном состоянии, на объект (возможно, тот же объект, возможно, другой), находящийся в другом состоянии; хотя, как правило, это может быть именно так; объект, находящийся в первоначальном состоянии перехода, не должен обязательно прекратить пребывание в этом состоянии после перехода состояний. Для разрешения этого типа перехода состояний для стрелки, используемой в схематиках переходов состояний, используется более слабая семантика.
