Techniques for Validation and Controlled Execution of Processes, Codes and Data - A Survey