Моделирования uml

Правила для узлов объектов 
1. Параметр деятельности (1 на рис. 4.19) создает один маркер 
данных и все исходящие дуги (2 на рис. 4.19) готовы передать этот 
маркер. 
2. Хранилище данных (3 на рис. 4.19) поглощает один маркер 
данных и создает неограниченное количество его копий. Все 
выходные дуги хранилища (4 на рис. 4.19) всегда готовы передать 
копию хранимого маркера данных. 
3. Центральный буфер перенаправляет маркеры данных, не 
создавая и не поглощая их. Как только входная любая входная дуга 
25
Но маркер один — конкуренция, кто первый готов, тот и получит 
маркер. 

---

173
готова передать маркер, все выходные дуги готовы передать этот 
маркер. 
4. Входной контакт действия (5 на рис. 4.19) поглощает маркер 
данных. 
5. Выходной контакт действия (6 на рис. 4.19) создает маркер 
данных. 
Правила для контактов и действий 
1. Если все дуги данных, входящие во все входные контакты 
действия, готовы передать маркеры данных, и если есть входящие 
дуги управления и хотя бы одна готова передать маркер управления, 
то действие выполняется. 
2. Если действие выполнено, то все дуги данных, выходящие из 
выходных контактов, готовы передать маркеры данных, и если есть 
исходящие ребра управления, то те исходящие дуги управления, на 
которых сторожевые условия выполняются, готовы передать маркер 
управления. 
Продолжим пример об увольнении сотрудника. Теперь мы 
рассмотрим этот пример не как бизнес-процесс высокого уровня, а 
как операцию информационной системы. Рассмотрим рис. 4.19. 
Выполнение этого графа деятельности происходит следующим 
образом. 
Начальное состояние (7 на рис. 4.19) готово передать маркер 
управления, а параметр деятельности (1 на рис. 4.19) готов передать 
маркер данных. Таким образом, все входящие дуги деятельности 
Get Person Info
готовы передать маркеры и деятельность 
выполняется. В результате выполнения появляются три маркера 
данных в контактах 
pos
, 
fnd
, 
dpt
, соответственно. Маркер данных 
fnd
имеет булевский тип и его значение определяет, присутствует ли 
в базе данных объект 
p
. Если это так, то 
pos
и 
dpt
содержат 
должность и подразделение увольняемого, в противном случае они 
пусты. 

---

174
activity
AdmFire
p:Person
Get Person Info 
p
pos
fnd
dpt
«datastore»
pos:Position
Notify Boss
Calc 
Payment
Delete 
Account
dpt
[fnd = true]
[else]
pos
pos