Representing and validating digital business processes