Weaving Multiple Aspects in Sequence Diagrams - Transactions on Aspect-Oriented Software Development - page 191

Fig. 12. Transformation of Models

structures of sequence diagrams such as messages between two instances, mes-
sages on a single instance, crossing messages or cSD with alternatives, etc. For
all test cases, we checked manually that the composed models correspond to the
expected models. The implementation of the detection algorithms was tested us-
ing various simple scenarios corresponding to detection and non-detection cases.
We especially had to test the detection algorithms in situations where several
potential matches could be chosen. In addition to the testing of each step of the
weaving, we applied our prototype tool on several small academic examples.

6.3 Using the Prototype Tool

This goal of this section is to present the use of our weaving technique from a
user perspective.
First, the developer has to model the base scenario of his/her application. To
do so we use the UML 2.0 sequence diagram editor available in the TopCaseD
eclipse plugin [27]. Figure 13 presents a screenshot of this editor with a base
model. The base model consists of an interaction between two instances names
user and server . Figure 14 presents the two scenarios of a behavioral aspect to
weave in the base model. The pointcut and advice are presented respectively at
the top and at the bottom of the figure. This goal of this aspect is to update a
display object whenever a customer object sends a log in message or receives a
response from the server .
Once the scenarios for both the base model and the behavioral aspect are
defined, a wizard can be used to perform the weaving. Figure 15 presents a
screenshot of this wizard. To apply our weaving algorithms, the user has to
provide the scenarios corresponding to the pointcut and advice and specify in
which base models the weaving should be applied. In addition to this, the user
can choose the detection strategy to use. If the strict sequence of messages is
selected then the detection strategy corresponds to the notions of strict part
and enclosed part of a bSD. The check-box allow surrounding messages allows