Compositional verification of business processes modelled with BPMN

Conference Object

Abstract: A specific check that is required to be performed as part of the Business Process Modelling (BPM) is

Palabras claves:

Business process modelling, Compositional verification, Formal specification, Model-checking, Task model

Autores:

Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.

Fuentes:

google

scopus