/**
* checks, for the set of initial ChoreographyActivities, that they are initiated by the
* ChoreographySubProcess´ initiator
*/
private Collection<EnforceabilityProblem> checkInitiatorsInSubprocess(
Collection<ProcessNode> firstChoreographyActivities, ChoreographySubProcess subProcess) {
Collection<EnforceabilityProblem> problems = new HashSet<EnforceabilityProblem>();
for (ProcessNode node : firstChoreographyActivities) {
if (!Utils.initiatorOf(node).equals(Utils.initiatorOf(subProcess))) {
problems.add(new EnforceabilityProblem(DESC_Initiators, node, subProcess));
}
}
return problems;
}
