In the exhibit, what applies if the interaction constraint is false when the loop is entered?
A) All valid traces will include message r.
B) Valid traces include both the case where the loop iterates once, and when it iterates zero times.
C) The specification if illegal.
D) The loop body is not included in a valid trace.

Question

In the exhibit, what applies if the interaction constraint is false when the loop is entered? 
A) All valid traces will include message r. 
B) Valid traces include both the case where the loop iterates once, and when it iterates zero times. 
C) The specification if illegal. 
D) The loop body is not included in a valid trace.

Quizplus · Accepted Answer

The Answer of In the exhibit, what applies if the interaction constraint is false when the loop is entered? 
A) All valid traces will include message r. 
B) Valid traces include both the case where the loop iterates once, and when it iterates zero times. 
C) The specification if illegal. 
D) The loop body is not included in a valid trace.

In the Exhibit, What Applies If the Interaction Constraint Is