LEARN PAD - Formal verification of business processes

In this deliverable we identified the quality assessment strategies for Business Process models related to the Learn PAd project. This is discussed considering different roles impacting on the platform and strategies to be implemented for its maintaining. After an in-depth analysis of the literature this deliverable (i) reports guidelines to model Business Processes in such a way that resulting model are understandable and (ii) discusses Business Process correctness criteria. Such quality check impacts on the learnability of the Business Process for Public Administrations. The deliverable also introduces some technical details that paves the basis to successively create the Learn PAd platform model verification component.