Abstract
Business Process Modelling Notation (BPMN) is a visual specification language without well-defined concepts for equivalences. This necessitates the establishment of fundamental notions that underpin the equivalences of BPMN processes. The main body of the paper is centered around the principle of substitutibility in which different types of equivalences of BPMN processes are formally described. Additionally, these results provide a basis for defining the behavioural equivalence of BPMN models. Our research investigation contributes to the field of business process management by developing a tight connection between BPMN and its associated equivalence notions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.