From Formal Workkow Models to Intelligent Agents the Case Study