Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Attend_class is collapsed (by clicking on the pencil icon) to hide the atomic events.  You can see this on the GUI by the bars on the left of the Attend_class.

  

Image Added

Figure 9 Example 5 Trace 2

In this sequence of events (trace) you went to the library after class.  Dragging the Go_to_library on the GUI allows you to see that library follows attending class (solid arrow).  

Image Added

 

Figure 10 Example 5 Trace 3

...

Trace 4 is similar to trace #2 shown above. 

Image Added

Figure 11 Example 5 trace 4

...

Example 6 Attend_class with more decomposition

 

 

 

 

 

  

Image Added

 

  

Image Added

 

Image Added

Image Added

Now let us say that sometimes you go Visit_with_friends instead of going to the library.  This is included as an alternative event as shown.   Note that the ( ) syntax must be used, not just the |, to indicate “or”.  This allows sequences of events to be included in the or construct.  Also note that since the first line

...

You now have another option (Visit_with_friends) and there is also Visit_with_friends option if you do not attend class since library and friends are independent (and mutually exclusive in this case) events.

5. Iterating With MP (Repetitive Event Patterns)