1. A method of determining at least one transaction within a process model having a plurality of process activities, the at least one transaction having at least one process activity, comprising the steps of: analyzing properties of each of the plurality of process activities; performing an optimization procedure on the basis of the properties of each of the plurality of process activities; and determining the at least one transaction on the basis of the optimization procedure.