A BPMN extension for modeling non functional properties of business processes · Study