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

lzha174
lzha174
in - Usage
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

Comments

  • hverbeek
    hverbeek
    edited December 2017
    Dear,

    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,

    Eric.

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