Assume component A provides an interface P and requires an interface R. In order for a component B to be substituted for component A, what must be true?
Assume !x means sending message x and ?x means receiving message x. Which operator should replace the text "op" in the combined fragment such that <!p, !q, ?q, ?p> is a valid trace.