## 6 Experimental Validation Studies
### Experimental Validation II: The Process Mining with Behavioral Analysis  
This section carries out another experimental validation study with and the Experimental Dataset 2 of the loan application example process model for evaluating the behavioral analysis functionality devised in the previous section. The behavioral analysis aspects of the implemented process analyzing subsystem are based upon the formal concept of the behavioral sequence nets that can be generated by the Algorithm 2 and the interactive and visual process instance tracing mechanism as well. First, Figure 13 shows the behavioral sequence net rediscovered from the Experimental Dataset 2 with a captured-screen and a printout form. As you can see in the figure, the process analyzing subsystem is able to rediscover every control-transition with its occurrences. Table 2 is the summary of the behavioral sequence analysis results. As you can see in the table, there are 11 behavioral sequence species rediscovered from the dataset; the behavioral sequence having the maximum number of behavioral sequences is the BS species ID, BS-7, holding 38 behavioral sequences; the average number of events per behavioral sequence is 7.73.  
Figure 12: The quantitative analysis of structural constructs and business activities in the rediscovered SICN process model from the Experimental Dataset-1.  
Based upon the Algorithm 2 and the formal concept of the behavioral sequence nets, the interactive and visual tracing functionality of behavioral sequences is implemented in the process analyzing subsystem. Therefore, the second experimental validation of the behavioral analysis aspect is carried out on the Experimental Dataset 1. Figure 14 is a captured screen of the process analyzing subsystem, on which the rediscovered SICN process model is displayed and the user is able to visually trace a behavioral sequence in an interactive fashion. In the figure, those red-colored circles represent the business activities that are already traversed during interactively running the behavioral sequence tracing session. Additionally, it supports displaying the structural statistics on the behavioral sequence traced; the behavior sequence (i.e., process instance ID, number 0) involves 70 business activities out of 113 business activities; the numbers of disjunctive exclusive-OR, conjunctive parallel-AND, and repetitive iterative-LOOP constructs involved are 7, 9 and 1, respectively.  
\begin{table}
\begin{tabular}{c c c c} \hline \hline
**BS Species ID** & **Number of BSs** & **The BS IDs in the Species** & **Number of Events** \\ \hline BS-1 & 1 & 92 & 8 \\ BS-2 & 12 & 44,45,46,47,48,49,50,51,52,53,54,55 & 8 \\  & & 56,57,58,59,60,61,62,63,64,65,66,67, & \\ BS-3 & 26 & 68,69,70,71,72,73,74,75,76,77,78,79, & 8 \\  & & 80,81 & \\ BS-4 & 2 & 97,98 & 8 \\ BS-5 & 4 & 93,94,95,96 & 8 \\ BS-6 & 8 & 82,83,84,85,86,87,88,89 & 7 \\  & & 6,7,8,9,10,11,12,13,14,15,16,17,18, & \\ BS-7 & 38 & 19,20,21,22,23,24,25,26,27,28,29,30, & 8 \\  & & 31,32,33,34,35,36,37,38,39,40,41,42,43 & \\ BS-8 & 6 & 0,1,2,3,4,5 & 8 \\ BS-9 & 1 & 99 & 7 \\ BS-10 & 1 & 90 & 7 \\ BS-11 & 1 & 91 & 8 \\ \hline \hline \end{tabular}
\end{table}
Table 2: The behavioral sequence (BS) analysis results on the Experimental Dataset-2.  
Figure 13: The behavioral sequence net rediscovered from the Experimental Dataset-2.