BTRANSFORMER: A tool for BPMN to CSP+T transformation

Conference Object

Abstract: In any organisation, properties such as scope, structure, deployment, capability, structural consist

Palabras claves:

Business process modelling language, Formal software specification, Model transformation languages, Process calculus, Transformation tool

Autores:

Domínguez K., González A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A., Tuñón M.I.C.

Fuentes:

scopus