To prevent spam users, you can only join this forum by invitation. If you want to join 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.
On June 4th, we noticed that many discussions were gone from the forum. To fix this, a backup of May 22nd has been restored. As a result, any addition from May 22nd to June 4th is now lost. Please add it again if necessary. Apologies for the inconvenience.
Bug in LTL Checker in ProM 6.1?
  • IsabelIsabel
    Posts: 26
    Hello,

    I have found that it is not possible to access instance (trace) attributes with the LTL Checker in ProM 6.1:
    java.lang.ClassCastException:org.deckfour.xes.model.impl.XAttributeLiteralImpl cannot be cast to java.lang.String

    The instance attributes are specified in a MXML event log, probably that is why? Same log and same LTL rule work just fine using ProM 5.2.

    I attach the simple LTL rule (ltl.txt) and give an event log with two example instances (mxml.txt). I was not allowed to upload files ending with .XML and .LTL ;)

    It is fine for me to just use ProM 5.2, but I thought you nevertheless might want to resolve this issue :)

    Best wishes,
    Isabel
    Attachments
    		 mxml.txt 2K
    		ltl.txt 63B
  • fmaggifmaggi
    Posts: 3
    This answer was Accepted.
    Hi Isabel! you are right. There is a bug. I will solve it as soon as possible. You will find the new release of the plug-in in the nightly build package of ProM. Thank you for your help! Fabrizio
  • fmaggifmaggi
    Posts: 3
    This answer was Accepted.

    Hi Isabel!


    I have just released a new version of the LTLChecker. It should work now. (you will find the new version in the nightly build package soon). Thank you!


    Fabrizio

  • IsabelIsabel
    Posts: 26
    Hi Fabrizio,

    no, thank _you_! :) I will check it out tomorrow!

    Kind regards,
    Isabel
Add a Comment

Howdy, Stranger!

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

Sign In Apply for Membership

Categories

In this Discussion