For both an instance of the visit Proclet class has been created repre second

For both an instance of the visit proclet class has

This preview shows page 251 - 254 out of 307 pages.

b) Updated interaction graphs for ‘Sue’ and ‘Anne’. For both an instance of the ‘visit’ Proclet class has been created representing the second visit. Also, for both the state of an interaction arc has been updated to ‘consumed’ S u e A n n e 2 performatives are not consumed yet Sue: - ‘decide’ task is finished - instance for second visit is created - graph is updated with the instance identifier of the second visit Proclet instance - state interaction arcs updated in graph Sue Anne: - ‘decide’ task is finished - instance for second visit is created - graph is updated with the instance identifier of the second visit Proclet instance - state interaction arcs updated in graph Anne Figure 9.11: Both for “Sue” and “Anne” an instance of the “visit” Proclet class is created. For the “receive” task of the “MDM” proclet instance, the relevant performatives are not consumed yet.
Image of page 251