Figure 12: the execution trace of the use case is recorded.

图12：用例的执行踪迹被记录了。