Howdy, Stranger!
It looks like you're new here. If you want to get involved, click one of these buttons!
Categories
- 1.5K All Categories
- 45 Announcements / News
- 213 Process Mining
- 6 - BPI Challenge 2020
- 9 - BPI Challenge 2019
- 24 - BPI Challenge 2018
- 27 - BPI Challenge 2017
- 8 - BPI Challenge 2016
- 63 Research
- 951 ProM 6
- 368 - Usage
- 280 - Development
- 7 RapidProM
- 1 - Usage
- 6 - Development
- 54 ProM5
- 19 - Usage
- 183 Event Logs
- 30 - ProMimport
- 75 - XESame
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
Posts: 6
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!
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!