7. The method according to claim 1 , wherein said annotating of said model elements of each partial process model comprises: instantiating of a process goal for each not trivial event and each function of said process model by extracting a process object and a state from said named model element, and associating constraints extracted from events with said instantiated process goals.
7. The method according to claim 1 , wherein said annotating of said model elements of each partial process model comprises: instantiating of a process goal for each not trivial event and each function of said process model by extracting a process object and a state from said named model element, and associating constraints extracted from events with said instantiated process goals. 8. The method according to claim 7 , wherein global constraints associated with root goals are extracted from start events of said partial process models, and wherein local constraints associated with goals are extracted from events of said partial process model which capture a result of a preceding decision function of said partial process model.