PEACE: goal-oriented logic-based formalism for process modelling