Todays business workflows, e.g. in administration, have a strong need for support by information technology, because they heavily rely on the efficient and fluent interaction of human actors and artificial systems. At the same time, workflow tasks supported or automatically executed by computers get more and more complex. Intelligent agents try to cope with both of these settings by providing a Software Engineering abstraction, which incorporates complex functionality for task planning and execution with elaborate interaction capabilities. This paper presents a method for identifying and specifying such agents and their behavior by careful analysis of formal workflow models. It follows a small example out of an industrial-size case study, which is currently conducted at Europe’s biggest hospital, Charit~ Berlin.