The dissertation introduces a novel scientific workflow synthesis, i.e., automated composition, approach, which relies on an existing temporal (SLTL)-based approach and builds upon it. This chapter provides an overview of the existing program synthesis approaches, and focuses on workflow synthesis as their subset. Unlike the program synthesis approaches, which often have to limit the structure of synthesised programs to provide efficient automated composition approaches, scientific workflow synthesis has, by definition, well-defined and structured composition goals. The scientific workflows can be represented as acyclic directed graphs, and are used as such in practice. This loop-free structure allows for an efficient synthesis, without compromising the workflow structure. The temporal logic (SLTL)-based synthesis approach presented in the chapter, allows for an automated composition of scientific workflows based on an abstract description of the problem. The approach is used as a basis for the contributions presented in the following chapters.