## 5 Process Analyzing Functionality
### Architectural Components of the Process Analyzer  
This subsection describes the detailed design specifications of the process analyzer with supporting structural and behavioral analysis in a fashion of visual simulation. As already illustrated in Figure 2, the functional architecture of the process analyzer is composed of two groups of architectural components. One is the XPDL process structural analyzer and its related components; the other is the XPDL process performative simulator and its related components. Actually, there are five functional components with three database connection agents: the model and analytics visualizer, the XPDL process structural analyzer, the XPDL process performative simulator, the structural analytics report generator, and the performative analytics report generator. The database schema for the process analyzer consist of rediscovered XPDL process models' database schema, structural database schema, and performative database schema. As we know, the rediscovered process model database schema are for storing XPDL process models rediscovered and transformed by the process mining functionality described in the previous subsection. The structural database schema and the performative database schema preserve the structural analysis and the behavioral analysis results, respectively, including the statistical data of the structural attributes and the behavioral attributes of those XPDL process models.  
The _rediscovered process models and analytics visualizer_ are in charge of the overall control of the analyzer, including user management, session and access control, and XPDL process management, in particular. Assume that the rediscovered process model is based upon the structured information control net methodology, and the process mining subsystem supports the _Export-to-XPDL_ function that automatically translates the graphical representation of a rediscovered SICN process model into a textual representation of its corresponding XPDL process model. Since then, all the functions and operations, such as verifying, analyzing, reporting, and visualizing operations, to be applied into the XPDL process models, are controlled and managed via this visualizer. The _structural and performative report generators_ are to generate and visualize the structural analysis and performative simulation results and statistics of each structural component in an XPDL process model. This generator is able to produce two-level structural and performative simulation results and statistics. The first level is the process-level analytical results and statistics, and the other is the package-level analytical results and statistics. For the sake of providing the complete version of process analyzing functionality, the _XPDL process structural analyzer_ and _XPDL process animator_ including the _XPDL process instance tracer_ perform the following verifiable analysis functions:  
* Structural properness verification: checking up whether the rediscovered process model is keeping the rules of proper-nestings and matched pairings when building its gateway-type activities.
* Associative relationship verification: checking up whether the rediscovered process model is keeping the correct associative attributes when building activity-to-role associations, activity-to-program associations, activity-to-data associations, and role-to-actor associations.  
Performance properness verification: checking up whether the rediscovered process model is maintaining efficiency when managing the dynamic aspects at the package level, process level, activity level, and the performer level (performative indicators).
* Behavioral simulation verification: based upon the rediscovered process model with its enactment event histories, checking up the enactment histories by tracing a process instance of the corresponding model via step-by-step clicking operations.