A Formalized Transformation Process for Generating Design Models from Business Rules Conference Paper uri icon