A scenario-based verification technique to assess the compatibility of collaborative business processes · Study