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