Abstracting Imperative Workflow to Declarative Business Rules In Proceedings of the Third International Symposium on Business Modeling and Software Design BMSD - Volume 1, 74-85, 2013 , Noordwijkerhout, Netherlands