Integration of bpmn2constraints into Declare4Py #12
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* Added initial integration * Presentation changes * Checkpoint changes * Declare model working * Finalized bpmn2constraints tutorial
|
Added an example of the code for MPDeclareAnalyzer for clarity. The usage is returned with: |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
WIP
This is my idea for a integration of bpmn2constraints into Declare4Py.
There is some less refined aspects of the code, such as the function parse_from_diagram in LTLModel, this was due to parse_from_string not working on the event log for the sepsis cases.
I did not manage to get an example of conformance checking working with the DECLARE model, this is presumably because the DeclareAnalyzer didn't support some templates for DECLARE. I don't know if this is subject to change or if I should modify our DECLARE code.
There is an example tutorial located in Declare4Py/Utils/bpmnconstraints/tutorial/bpmn2constraints.ipynb
Some pruning is expected to be done before the actual merge, but let me know what you think!