A BPMN extension for modeling non functional properties of business processes