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.

Can I export a DeclareMap as something like a .xml file?

Danyuan_Mike_Li
Danyuan_Mike_Li
in Process Mining
Hi all,

I'm currently learning how to do compliance checking with the plug-in Declare Analyzer in ProM 6.9.
I'm using the plug-in Simple Declare Designer to design Declare constraints. I notice the output is called a DeclareMap, so I wonder:

1. Is there a way to export a designed DeclareMap like a .xml file?
2. Is there any resource provided for the syntax of a DeclareMap so I can learn how to design a more complicated DeclareMap myself instead of using the plug-in?

By the way, I found that https://www.win.tue.nl/declare/ provided a tool to support the Declare model design; however, it seems that the saved .xml files from this tool can not be recognized in ProM 6.9. Maybe I'm doing something wrong or the version of the tool is getting out-of-date?

Thanks!
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