In the business world workflows are a long established and well-known concept to organize and integrate business functions and tasks. The main improvement compared to static application integration is the fast and flexible orchestration of exiting services into new business processes. With scientific processes becoming ever more complex and distributed over large organizations of scientists a lot of challenges which have also been observed in the business world and were addressed by workflow management systems. However there are also differences when modeling scientific processes as workflows. One of them being that processes need to be formally verified to prove the correctness of the outcome. As will be shown in this article this can be addressed by describing scientific services using the Soap Service Description Language (SSDL) makes use of protocol descriptions and therefore enables formal verification of process interaction.