Automated transformation of business rules specification to business process model