Formal analysis of comprehensiveness of the mapping rules

cardialfly / DALNIM

[DEPRECATED] Some source code and scripts for DALNIM

GNU Lesser General Public License v3.0

0 stars 0 forks source link

Formal analysis of comprehensiveness of the mapping rules #10

Closed cardialfly closed 2 years ago

cardialfly commented 2 years ago

Formally analyze whether the current set of BPMN-ConceptModel mapping rules are comprehensive and exhaustive.

cardialfly commented 2 years ago

It seems to be comprehensive in the context of DALNIM because we do not intend to implement the full BPMN semantics (e.g., executable orchestration, choreography, collaboration...).