Towards performance-oriented perfective evolution of BPMN models | IEEE Conference Publication | IEEE Xplore