A business process is defined as a set of tasks executed in a certain order to
achieve a specific goal. BPMN has become the standard modelling language for
describing and developing business processes. One of the main challenges in the
business process management area is to provide techniques and tools for analyzing
processes, which is necessary for avoiding bugs or unexpected process executions.
However, modelling and debugging processes is a difficult task, particularly
for non-experts. In this talk, we present new techniques for automatically
verifying textual description of processes using model checking. This is achieved
by using several transformations from text to BPMN, and from BPMN to formal
models via an encoding into a process algebraic language.