Representing and Validating Digital Business Processes · Study