Response Property Pattern
To describe cause-effect relationships between a pair of events/states. An occurrence of the first, the cause, must be followed by an occurrence of the second, the effect. Also known as Follows and Leads-to.
In these mappings P is the cause and S is the effect.
Examples and Known Uses
Response properties occur quite commonly in specifications of concurrent systems. Perhaps the most common example is in describing a requirement that a resource must be granted after it is requested.
Note that a Response property is like a converse of a Precedence property. Precedence says that some cause precedes each effect, and Response says that some effect follows each cause. They are not equivalent, because a Response allows effects to occur without causes (Precedence similarly allows causes to occur without subsequent effects).
Note that this pattern does not require that each occurrence of a cause will have its own occurrence of an effect.
This is an Order pattern.