2. Extracting Business Logic from Business Process Models