Research Article
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool
Table 2
Modeling/analysis approaches based on formal methods.
| Approach | Objective | Underlying formalism and tool | Modeling | Model validation | Transformation |
| MEdit4CEP-CPN [6] | Semantic and quantitative analysis graphically supported by CPN Tools | Colored Petri nets & CPN Tools | Graphical | Syntactic analysis of graphical models | Automatic to EPL and PCPN | CEP in Maude [39] | General formal analysis script supported by Maude | Rewriting logic and Maude | Textual | Syntactic analysis | Manual | CEPA [40] | Rule acyclicity and race condition checking | Graph theory | Textual | Syntactic analysis of textual models | Automatic to AST | REX [32] | Property verification | Timed automata | Graphical | Using UPPAAL | Automatic to timed automata | CAVE [36] | Property verification and performance analysis | Ad hoc CEP language | Textual | Constraint solver | Automatic to configurations |
|
|