Automatic compositional verification of business processes

Conference Object

Abstract: Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notation

Palabras claves:

Business process modelling, Formal Methods, Model-checking, Task model, Verification

Autores:

Luis Eduardo Mendoza Morales, Tuñón M.I.C.

Fuentes:

google

scopus