To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

Error By Using Declare Replayer Package

Jasim
Jasim
in ProM 6
Hello Everyone,

I am trying to measure the fitness of the declare model by using Declare replayer package. however, when I run the package, I always get this error message ( java.lang.ArithmeticException: / by zero). Also, I tried many different models by the same package and getting this type of error.

So, anyone can help to resolve this issue?

Thanks all.

Jasim  

the Prom version Prom 6.8
The package name: Declare Replayer 




Comments

  • hverbeek
    hverbeek
    Hello Jasim,

    I do not have an in-depth knowledge on the Declare replayer, but it seems that you have two traces, and that both traces fail to replay. It is clear that the replay of the second trace fails, as this is in the screenshot, but I assume the replay of the first also fails, as this explains the error: Some average is computed over the successfully replayed traces.

    Perhaps it would be best to contact Fabrizio Maggi (see https://scholar.google.nl/citations?user=Jo9fNKEAAAAJ&hl=nl) on this, as he is the lead developer on this.

    Kind regards,
    Eric.
  • Jasim
    Jasim
    Hi Eric, 

    Thank you so much for your helpful information.
  • Jasim
    Jasim
    edited December 2019
    hverbeek said:
    Hello Jasim,

    I do not have an in-depth knowledge on the Declare replayer, but it seems that you have two traces, and that both traces fail to replay. It is clear that the replay of the second trace fails, as this is in the screenshot, but I assume the replay of the first also fails, as this explains the error: Some average is computed over the successfully replayed traces.

    Perhaps it would be best to contact Fabrizio Maggi (see https://scholar.google.nl/citations?user=Jo9fNKEAAAAJ&hl=nl) on this, as he is the lead developer on this.

    Kind regards,
    Eric.
    Hi Eric, 

     Thank you so much for your helpful information.
Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion