In this paper, the authors present the BPAL platform aimed at the management of business process knowledge bases. It includes a logic-based language for BP modeling and a reasoning mechanism providing support to BP designers in several services. Firstly, the definition of a BP Meta-Model (MM) consisting of a set of rules that guide the BP designers in their work. Secondly, given a BP, the BPAL platform allows for the automatic verification of the compliance of a given BP w.r.t. the defined MM. Finally, the execution semantics of a BP is given in term of its instances to provide two basic services; checking if an execution of a BP has been carried out in accordance with the corresponding definition; simulating possible executions by automatic traces generation.