DAT: Dependency Analysis Tool for Service Based Business Processes · Study