A linguagem formal para definir processos concorrentes que se comunicam, incluindo, mas não restrita a, processos de negócio, e que pode fornecer uma base formal às características de controle de fluxo, comunicação baseada em mensagens e mobilidade do BPM é o
