A reactive system for specifying and running flexible cloud service business processes based on machine learning