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.

How to create Declare Map for the Declare to LTL plug-in input

I want to create a LTL model for compliance check based on a declare map. I used the plug in Declare Map Miner to create a DeclareMinerOuptut object, but I don't know how to make it into a declare map object so I can use as input for the LTL conversion. Please help


  • hverbeek
    edited December 2017

    I've asked the developer of these plug-ins, his answer is as follows:

    The only way to do it with the current implementation is to export the DeclareMapsMiner output as a Declare model and import the model again.

    Kind regards,


Sign In or Register to comment.