Model checker for executable processes needs update

bpmn-os / bpmnos-modeller

A BPMN modeller for optimization and simulation

MIT License

0 stars 0 forks source link

Open bpmn-os opened 1 month ago

bpmn-os commented 1 month ago

The model checker has several issues:

[x] Implicit start and end should not be reported for ad-hoc subprocesses
[x] Start and end events should be reported for ad-hoc subprocesses
[x] Warning on event-subprocesses should only be issued for start event types that are not supported
[x] Error on typed tasks should be replaced by warnings, and only be shown for types that are ignored
[x] Attribute 'instance' is missing should be removed

bpmn-os commented 1 month ago

https://github.com/bpmn-os/bpmnos-modeller/commit/7acf6fe373eeea90616f0aeb4fc5dfb484ec04db addresses above mentioned issues. Keep issue open until model checking is checked thoroughly.