According to the log, the format of the model mined by using Declare Maps Miner is DeclareMinerOutput, and the format of the input file of Declare Analyzer and Declare Replayer plug-ins is DeclareMap. If I want to use Declare Analysis and Declare Replayer plug-ins, how can I get the model in DeclareMap format through the log? Thank you very much
Comments
- Janus Declare Miner
- MINERful Declare Miner
- Simple Declare Designer
- Simple Declare Editor
The first two take an event log as input, so these are the plugins you're looking for. The third has no inputs, while the fourth takes an existing DeclareMap as input.