Response Property Pattern
Response Property Pattern
Intent
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.
Example Mappings
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.
Relationships
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.