-
Notifications
You must be signed in to change notification settings - Fork 10
Running example
ceciliaiacometta edited this page Aug 20, 2024
·
9 revisions
Create an event log as illustrated in Creating event logs. The example log can be downloaded from logs.
To run MINERful, we locate our command shell in the working directory, and launch run-MINERful.sh as follows.
./run-MINERful.sh --in-log-file logs/uniexamplelog.xes --support 0.02 --confidence 1.0 --coverage 0.02 --trace-support 0.125 --trace-confidence 1.0 --trace-coverage 0.125 --prune-with 'hierarchy' --save-as-csv specifications/uni-declarative-specification.csv --save-as-json specifications/uni-declarative-specification.jsonAlternatively, short names for options can be used:
./run-MINERful.sh -iLF logs/uniexamplelog.xes -iLClassif 'logspec' -s 0.02 -c 1.0 -g 0.02 -sT 0.125 -cT 1.0 -gT 0.125 -prune 'hierarchy' -oCSV specifications/uni-declarative-specification.csv -oJSON specifications/uni-declarative-specification.jsonThe rationale for those abbreviations is that the parameter prefixes pertain to the context: -iL for the input (event) Log, -o… for the output format in which discovered specifications are saved.
The mandatory --in-log-file (or -iLF) option locates the input event log. It should be in the XML-based XES format. The default thresholds for event based support, confidence and coverage of the returned constraints are by default 0.05, 0.95, and 0.05, respectively, but can be modified with the --support, --confidence, and --coverage option. The default thresholds for trace based support, confidence and coverage of the returned constraints are by default 0.125, 0.95, and 0.125, respectively, but can be modified with the --trace-support, --trace-confidence, and --trace-coverage option. More information on these metrics and how they are computed can be found in the paper at DOI:10.1007/978-3-031-08848-3_4. Some post-processing can be required to polish the returned set of constraints from redundancies or possible internal inconsistencies (the lower the thresholds, the higher their amount). Here we select the default and faster strategy (-prune), that is to say,hierarchy. The --save-as-csv (-oCSV) and save-as-json (-oJSON) options state where the CSV and JSON versions of the discovered constraints should be saved. The CSV file should show something like this:
| 'Constraint' | 'Template' | 'Activation' | 'Target' | 'Confidence' | 'Coverage' | 'Support' | 'Trace confidence' | 'Trace coverage' | 'Trace support' | 'Marked for exclusion' | 'Below thresholds' | 'Redudant' | 'Conflicting' |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 'AtMost1(Create a candidate account)' | 'AtMost1' | '' | '[Create a candidate account]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'Init(Create a candidate account)' | 'Init' | '' | '[Create a candidate account]' | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Create a candidate account, Enrol in the program)' | 'NotChainResponse' | '[Create a candidate account]' | '[Enrol in the program]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Create a candidate account, Enter evaluation phase)' | 'NotChainResponse' | '[Create a candidate account]' | '[Enter evaluation phase]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Create a candidate account, Pay subscription fee)' | 'NotChainResponse' | '[Create a candidate account]' | '[Pay subscription fee]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Create a candidate account, Pre-enrol in the program)' | 'NotChainResponse' | '[Create a candidate account]' | '[Pre-enrol in the program]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Create a candidate account, Receive admission notification)' | 'NotChainResponse' | '[Create a candidate account]' | '[Receive admission notification]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Create a candidate account, Receive rejection notification)' | 'NotChainResponse' | '[Create a candidate account]' | '[Receive rejection notification]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Enrol in the program, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Enrol in the program]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Enrol in the program, Create a candidate account)' | 'NotChainSuccession' | '[Enrol in the program]' | '[Create a candidate account]' | 1.000 | 0.179 | 0.179 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Enter evaluation phase, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Enter evaluation phase]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Enter evaluation phase, Create a candidate account)' | 'NotChainSuccession' | '[Enter evaluation phase]' | '[Create a candidate account]' | 1.000 | 0.281 | 0.281 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Pay subscription fee, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Pay subscription fee]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Pay subscription fee, Create a candidate account)' | 'NotChainSuccession' | '[Pay subscription fee]' | '[Create a candidate account]' | 1.000 | 0.183 | 0.183 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Pre-enrol in the program, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Pre-enrol in the program]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Pre-enrol in the program, Create a candidate account)' | 'NotChainSuccession' | '[Pre-enrol in the program]' | '[Create a candidate account]' | 1.000 | 0.183 | 0.183 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Receive admission notification, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Receive admission notification]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Receive admission notification, Create a candidate account)' | 'NotChainSuccession' | '[Receive admission notification]' | '[Create a candidate account]' | 1.000 | 0.199 | 0.199 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Receive rejection notification, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Receive rejection notification]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Receive rejection notification, Create a candidate account)' | 'NotChainSuccession' | '[Receive rejection notification]' | '[Create a candidate account]' | 1.000 | 0.191 | 0.191 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Register for selection round, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Register for selection round]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Upload admission test score, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Upload admission test score]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'NotPrecedence(Upload certificates, Create a candidate account)' | 'NotPrecedence' | '[Create a candidate account]' | '[Upload certificates]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'AtMost1(Enrol in the program)' | 'AtMost1' | '' | '[Enrol in the program]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'Precedence(Create a candidate account, Enter evaluation phase)' | 'Precedence' | '[Enter evaluation phase]' | '[Create a candidate account]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainPrecedence(Create a candidate account, Enter evaluation phase)' | 'NotChainPrecedence' | '[Enter evaluation phase]' | '[Create a candidate account]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotResponse(Enter evaluation phase, Create a candidate account)' | 'NotResponse' | '[Enter evaluation phase]' | '[Create a candidate account]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Enter evaluation phase, Pre-enrol in the program)' | 'NotChainResponse' | '[Enter evaluation phase]' | '[Pre-enrol in the program]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainPrecedence(Pay subscription fee, Enter evaluation phase)' | 'NotChainPrecedence' | '[Enter evaluation phase]' | '[Pay subscription fee]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Pre-enrol in the program, Enter evaluation phase)' | 'NotChainSuccession' | '[Pre-enrol in the program]' | '[Enter evaluation phase]' | 1.000 | 0.114 | 0.114 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'AlternatePrecedence(Register for selection round, Enter evaluation phase)' | 'AlternatePrecedence' | '[Enter evaluation phase]' | '[Register for selection round]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'CoExistence(Register for selection round, Enter evaluation phase)' | 'CoExistence' | '[Register for selection round]' | '[Enter evaluation phase]' | 1.000 | 0.211 | 0.211 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'Precedence(Upload admission test score, Enter evaluation phase)' | 'Precedence' | '[Enter evaluation phase]' | '[Upload admission test score]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'AtMost1(Pay subscription fee)' | 'AtMost1' | '' | '[Pay subscription fee]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'AtMost1(Pre-enrol in the program)' | 'AtMost1' | '' | '[Pre-enrol in the program]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'AtMost2(Receive rejection notification)' | 'AtMost2' | '' | '[Receive rejection notification]' | 1.000 | 0.175 | 0.175 | 1.000 | 1.000 | 1.000 | FALSE | FALSE | FALSE | FALSE |
| 'Precedence(Create a candidate account, Register for selection round)' | 'Precedence' | '[Register for selection round]' | '[Create a candidate account]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainPrecedence(Enrol in the program, Register for selection round)' | 'NotChainPrecedence' | '[Register for selection round]' | '[Enrol in the program]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'CoExistence(Enter evaluation phase, Register for selection round)' | 'CoExistence' | '[Enter evaluation phase]' | '[Register for selection round]' | 1.000 | 0.211 | 0.211 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'Succession(Enter evaluation phase, Register for selection round)' | 'Succession' | '[Enter evaluation phase]' | '[Register for selection round]' | 1.000 | 0.211 | 0.211 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'AlternateSuccession(Enter evaluation phase, Register for selection round)' | 'AlternateSuccession' | '[Enter evaluation phase]' | '[Register for selection round]' | 1.000 | 0.211 | 0.211 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainPrecedence(Pay subscription fee, Register for selection round)' | 'NotChainPrecedence' | '[Register for selection round]' | '[Pay subscription fee]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Pre-enrol in the program, Register for selection round)' | 'NotChainSuccession' | '[Pre-enrol in the program]' | '[Register for selection round]' | 1.000 | 0.114 | 0.114 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotResponse(Register for selection round, Create a candidate account)' | 'NotResponse' | '[Register for selection round]' | '[Create a candidate account]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'AlternateResponse(Register for selection round, Enter evaluation phase)' | 'AlternateResponse' | '[Register for selection round]' | '[Enter evaluation phase]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Register for selection round, Pre-enrol in the program)' | 'NotChainResponse' | '[Register for selection round]' | '[Pre-enrol in the program]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'RespondedExistence(Register for selection round, Upload admission test score)' | 'RespondedExistence' | '[Register for selection round]' | '[Upload admission test score]' | 1.000 | 0.106 | 0.106 | 1.000 | 0.499 | 0.499 | FALSE | FALSE | FALSE | FALSE |
| 'Precedence(Create a candidate account, Upload admission test score)' | 'Precedence' | '[Upload admission test score]' | '[Create a candidate account]' | 1.000 | 0.272 | 0.272 | 1.000 | 0.789 | 0.789 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainPrecedence(Pay subscription fee, Upload admission test score)' | 'NotChainPrecedence' | '[Upload admission test score]' | '[Pay subscription fee]' | 1.000 | 0.272 | 0.272 | 1.000 | 0.789 | 0.789 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainSuccession(Pre-enrol in the program, Upload admission test score)' | 'NotChainSuccession' | '[Pre-enrol in the program]' | '[Upload admission test score]' | 1.000 | 0.280 | 0.280 | 1.000 | 0.789 | 0.789 | FALSE | FALSE | FALSE | FALSE |
| 'NotResponse(Upload admission test score, Create a candidate account)' | 'NotResponse' | '[Upload admission test score]' | '[Create a candidate account]' | 1.000 | 0.272 | 0.272 | 1.000 | 0.789 | 0.789 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Upload admission test score, Pre-enrol in the program)' | 'NotChainResponse' | '[Upload admission test score]' | '[Pre-enrol in the program]' | 1.000 | 0.272 | 0.272 | 1.000 | 0.789 | 0.789 | FALSE | FALSE | FALSE | FALSE |
| 'Precedence(Create a candidate account, Upload certificates)' | 'Precedence' | '[Upload certificates]' | '[Create a candidate account]' | 1.000 | 0.283 | 0.283 | 1.000 | 0.725 | 0.725 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainPrecedence(Pay subscription fee, Upload certificates)' | 'NotChainPrecedence' | '[Upload certificates]' | '[Pay subscription fee]' | 1.000 | 0.283 | 0.283 | 1.000 | 0.725 | 0.725 | FALSE | FALSE | FALSE | FALSE |
| 'NotResponse(Upload certificates, Create a candidate account)' | 'NotResponse' | '[Upload certificates]' | '[Create a candidate account]' | 1.000 | 0.283 | 0.283 | 1.000 | 0.725 | 0.725 | FALSE | FALSE | FALSE | FALSE |
| 'NotChainResponse(Upload certificates, Pre-enrol in the program)' | 'NotChainResponse' | '[Upload certificates]' | '[Pre-enrol in the program]' | 1.000 | 0.283 | 0.283 | 1.000 | 0.725 | 0.725 | FALSE | FALSE | FALSE | FALSE |
The JSON version of the specification would look like follows:
{
"name": "Process specification discovered from uniexamplelog.xes",
"tasks": [
"Create a candidate account",
"Enter evaluation phase",
"Upload certificates",
"Receive admission notification",
"Pay subscription fee",
"Enrol in the program",
"Upload admission test score",
"Pre-enrol in the program",
"Receive rejection notification",
"Register for selection round"
],
"constraints": [
{
"template": "NotResponse",
"parameters": [
[
"Upload admission test score"
],
[
"Create a candidate account"
]
],
"support": 0.2721213715688854,
"confidence": 1.0,
"coverage": 0.2721213715688854,
"tr_support": 0.789,
"tr_confidence": 1.0,
"tr_coverage": 0.789
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Pre-enrol in the program"
],
[
"Enter evaluation phase"
]
],
"support": 0.11356660527931246,
"confidence": 1.0,
"coverage": 0.11356660527931246,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "CoExistence",
"parameters": [
[
"Register for selection round"
],
[
"Enter evaluation phase"
]
],
"support": 0.21117249846531613,
"confidence": 1.0,
"coverage": 0.21117249846531613,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainPrecedence",
"parameters": [
[
"Create a candidate account"
],
[
"Enter evaluation phase"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainPrecedence",
"parameters": [
[
"Pay subscription fee"
],
[
"Register for selection round"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Receive rejection notification"
],
[
"Create a candidate account"
]
],
"support": 0.1905638866964834,
"confidence": 1.0,
"coverage": 0.1905638866964834,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainResponse",
"parameters": [
[
"Create a candidate account"
],
[
"Receive admission notification"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotResponse",
"parameters": [
[
"Enter evaluation phase"
],
[
"Create a candidate account"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainResponse",
"parameters": [
[
"Create a candidate account"
],
[
"Enter evaluation phase"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainPrecedence",
"parameters": [
[
"Pay subscription fee"
],
[
"Upload admission test score"
]
],
"support": 0.2721213715688854,
"confidence": 1.0,
"coverage": 0.2721213715688854,
"tr_support": 0.789,
"tr_confidence": 1.0,
"tr_coverage": 0.789
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Enter evaluation phase"
],
[
"Create a candidate account"
]
],
"support": 0.2809786898184688,
"confidence": 1.0,
"coverage": 0.2809786898184688,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AtMost1",
"parameters": [
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotPrecedence",
"parameters": [
[
"Pay subscription fee"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "Precedence",
"parameters": [
[
"Upload admission test score"
],
[
"Enter evaluation phase"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotPrecedence",
"parameters": [
[
"Receive rejection notification"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotPrecedence",
"parameters": [
[
"Enrol in the program"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "CoExistence",
"parameters": [
[
"Enter evaluation phase"
],
[
"Register for selection round"
]
],
"support": 0.21117249846531613,
"confidence": 1.0,
"coverage": 0.21117249846531613,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Pre-enrol in the program"
],
[
"Register for selection round"
]
],
"support": 0.11356660527931246,
"confidence": 1.0,
"coverage": 0.11356660527931246,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotResponse",
"parameters": [
[
"Upload certificates"
],
[
"Create a candidate account"
]
],
"support": 0.28317109532579143,
"confidence": 1.0,
"coverage": 0.28317109532579143,
"tr_support": 0.725,
"tr_confidence": 1.0,
"tr_coverage": 0.725
},
{
"template": "NotPrecedence",
"parameters": [
[
"Enter evaluation phase"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "Precedence",
"parameters": [
[
"Create a candidate account"
],
[
"Upload certificates"
]
],
"support": 0.28317109532579143,
"confidence": 1.0,
"coverage": 0.28317109532579143,
"tr_support": 0.725,
"tr_confidence": 1.0,
"tr_coverage": 0.725
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Pre-enrol in the program"
],
[
"Create a candidate account"
]
],
"support": 0.18337279663246514,
"confidence": 1.0,
"coverage": 0.18337279663246514,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainPrecedence",
"parameters": [
[
"Enrol in the program"
],
[
"Register for selection round"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotPrecedence",
"parameters": [
[
"Upload admission test score"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainPrecedence",
"parameters": [
[
"Pay subscription fee"
],
[
"Enter evaluation phase"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "RespondedExistence",
"parameters": [
[
"Register for selection round"
],
[
"Upload admission test score"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotResponse",
"parameters": [
[
"Register for selection round"
],
[
"Create a candidate account"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotPrecedence",
"parameters": [
[
"Pre-enrol in the program"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AlternateSuccession",
"parameters": [
[
"Enter evaluation phase"
],
[
"Register for selection round"
]
],
"support": 0.21117249846531613,
"confidence": 1.0,
"coverage": 0.21117249846531613,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "Init",
"parameters": [
[
"Create a candidate account"
]
],
"support": 1.0,
"confidence": 1.0,
"coverage": 1.0,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainResponse",
"parameters": [
[
"Register for selection round"
],
[
"Pre-enrol in the program"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainResponse",
"parameters": [
[
"Create a candidate account"
],
[
"Receive rejection notification"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AtMost2",
"parameters": [
[
"Receive rejection notification"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AtMost1",
"parameters": [
[
"Pay subscription fee"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainResponse",
"parameters": [
[
"Upload admission test score"
],
[
"Pre-enrol in the program"
]
],
"support": 0.2721213715688854,
"confidence": 1.0,
"coverage": 0.2721213715688854,
"tr_support": 0.789,
"tr_confidence": 1.0,
"tr_coverage": 0.789
},
{
"template": "NotChainPrecedence",
"parameters": [
[
"Pay subscription fee"
],
[
"Upload certificates"
]
],
"support": 0.28317109532579143,
"confidence": 1.0,
"coverage": 0.28317109532579143,
"tr_support": 0.725,
"tr_confidence": 1.0,
"tr_coverage": 0.725
},
{
"template": "NotChainResponse",
"parameters": [
[
"Create a candidate account"
],
[
"Pay subscription fee"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotPrecedence",
"parameters": [
[
"Upload certificates"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Receive admission notification"
],
[
"Create a candidate account"
]
],
"support": 0.19854424274313778,
"confidence": 1.0,
"coverage": 0.19854424274313778,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "Precedence",
"parameters": [
[
"Create a candidate account"
],
[
"Upload admission test score"
]
],
"support": 0.2721213715688854,
"confidence": 1.0,
"coverage": 0.2721213715688854,
"tr_support": 0.789,
"tr_confidence": 1.0,
"tr_coverage": 0.789
},
{
"template": "NotChainResponse",
"parameters": [
[
"Create a candidate account"
],
[
"Pre-enrol in the program"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AtMost1",
"parameters": [
[
"Pre-enrol in the program"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AlternatePrecedence",
"parameters": [
[
"Register for selection round"
],
[
"Enter evaluation phase"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Pay subscription fee"
],
[
"Create a candidate account"
]
],
"support": 0.18337279663246514,
"confidence": 1.0,
"coverage": 0.18337279663246514,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotPrecedence",
"parameters": [
[
"Receive admission notification"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotPrecedence",
"parameters": [
[
"Register for selection round"
],
[
"Create a candidate account"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "AlternateResponse",
"parameters": [
[
"Register for selection round"
],
[
"Enter evaluation phase"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Pre-enrol in the program"
],
[
"Upload admission test score"
]
],
"support": 0.28010172761553975,
"confidence": 1.0,
"coverage": 0.28010172761553975,
"tr_support": 0.789,
"tr_confidence": 1.0,
"tr_coverage": 0.789
},
{
"template": "Succession",
"parameters": [
[
"Enter evaluation phase"
],
[
"Register for selection round"
]
],
"support": 0.21117249846531613,
"confidence": 1.0,
"coverage": 0.21117249846531613,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "Precedence",
"parameters": [
[
"Create a candidate account"
],
[
"Register for selection round"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainSuccession",
"parameters": [
[
"Enrol in the program"
],
[
"Create a candidate account"
]
],
"support": 0.17925107427869857,
"confidence": 1.0,
"coverage": 0.17925107427869857,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "Precedence",
"parameters": [
[
"Create a candidate account"
],
[
"Enter evaluation phase"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "AtMost1",
"parameters": [
[
"Enrol in the program"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainResponse",
"parameters": [
[
"Create a candidate account"
],
[
"Enrol in the program"
]
],
"support": 0.17539244058581074,
"confidence": 1.0,
"coverage": 0.17539244058581074,
"tr_support": 1.0,
"tr_confidence": 1.0,
"tr_coverage": 1.0
},
{
"template": "NotChainResponse",
"parameters": [
[
"Enter evaluation phase"
],
[
"Pre-enrol in the program"
]
],
"support": 0.10558624923265807,
"confidence": 1.0,
"coverage": 0.10558624923265807,
"tr_support": 0.499,
"tr_confidence": 1.0,
"tr_coverage": 0.499
},
{
"template": "NotChainResponse",
"parameters": [
[
"Upload certificates"
],
[
"Pre-enrol in the program"
]
],
"support": 0.28317109532579143,
"confidence": 1.0,
"coverage": 0.28317109532579143,
"tr_support": 0.725,
"tr_confidence": 1.0,
"tr_coverage": 0.725
}
]
}The output specifications files can be downloaded from specifications.
For the post-processing, other techniques than hierarchy (say, hierarchyconflictredundancy, or hierarchyconflictredundancydouble, the default) can be used. However, this implies more accuracy in the detection (and removal) of the redundant constraints. Generally, the mining per se is very fast. The post-processing takes most of the computation time.
To filter out constraints, the thresholds event and trace based for support, confidence and coverage can be increased. Mind that especially support and coverage tend to be highly sensitive to slight variations in the threshold as they average over the whole set of events or traces.