Information about the entire pattern system is available at the Specification Patterns Home Page.
Globally | [- P]* |
Before R | [- R]* | [-P,R]*; R; .* |
After Q | [- Q]*; (Q; [- P]*)? |
Between Q and R | ([- Q]*; Q; [- P,R]*; R)*; [- Q]*; (Q; [- R]*)? |
After Q until R | ([- Q]*; Q; [- P,R]*; R)*; [-Q]*; (Q; [- P,R]*)? |
Globally | [- P]*; P; .* |
Before R | [- R]* | [-P,R]*; P; .* |
After Q | [- Q]*; (Q; [- P]*; P; .*)? |
Between Q and R | ([- Q]*; Q; [- P,R]*; P; [-R]*; R)*; [- Q]*; (Q; [- R ]*)? |
After Q until R | ([- Q]*; Q; [- P,R]*; P; [-R]*; R)*; [-Q]*; (Q; [- P, R]*; P; [-R]*)? |
Globally | (([- P]*;P)?)^k; [- P]* |
Before R | [- R]* | (([- P,R]*;P)?)^k; [- P,R]*; R; .* |
After Q | [- Q]*; (Q; (([- P]*;P)?)^k; [- P]* )? |
Between Q and R | ([- Q]*; Q; (([- P,R]*;P)?)^k; [- P,R]*; R)*; [- Q]*; (Q; [- R]*)? |
After Q until R | ([- Q]*; Q; (([- P,R]*;P)?)^k; [- P,R]*; R)*; [-Q]*; (Q; (([- P,R]*;P)?)^k; [- P,R]*)? |
Our assumption is that the initial state has the desired property.
Globally | [- N]* |
Before R | [- R]* | [- N,R]*; R; .* |
After Q | [- Q]* | ([- Q]*;P)? ; [- N,Q]* ; Q ; [- N]* |
Between Q and R | ( ([- Q]*;P)? ; [- N,Q]*; Q; [- N,R]*; R )* ; [- Q]*; (Q; [- R]*)? |
After Q until R | ( ([- Q]*;P)? ; [- N,Q]*; Q; [- N,R]*; R )* ; ( [- Q]* | ([- Q]*;P)? ; [- N,Q]*; Q; [- N,R]* ) |
Globally | [-P]* | ([-S,P]*; S; .*) |
Before R | [-R]* | ([-P,R]*; R; .*) | ([-S,P,R]*; S; .*) |
After Q | [-Q]*; (Q; ([-P]* | ([-S,P]*; S; .*)) )? |
Between Q and R | [-Q]*; (Q; [-P,R]* | ([-S,P,R]*; S; [-R]*) R; [-Q]*)*; (Q; [-R]*)? |
After Q until R | [-Q]*; (Q; [-P,R]* | ([-S,P,R]*; S; [-R]*) R; [-Q]*)*; (Q; ([-P,R]* | ([-S,P,R]*; S; [-R]*)) )? |
Globally | [-P]*; (P; [-S]*; S; [-P]*)* |
Before R | [-R]* | [-P,R]*; (P; [-S,R]*; S; [-P,R]*)*; R; .* |
After Q | [-Q]*; (Q; [-P]*; (P; [-S]*; S; [-P]*)* )? |
Between Q and R | [-Q]*; (Q; [-P,R]*; (P; [-S,R]*; S; [-P,R]*)*; R; [-Q]*)*; (Q; [-R]*)? |
After Q until R | [-Q]*; (Q; [-P,R]*; (P; [-S,R]*; S; [-P,R]*)*; R; [-Q]*)*; (Q; [-P,R]*; (P; [-S,R]*; S; [-P,R]*)*)? |
S, T precedes P:
Globally | [-P]* | ([-P,S]*; S; [-P,T]*; T; .*) |
Before R | [-R]* | ([-P,R]*; R; .*) | ([-P,R,S]*; S; [-P,R,T]*; T; .*) |
After Q | [-Q]*; (Q; ([-P]* | ([-P,S]*; S; [-P,T]*; T; .*)))? |
Between Q and R | [-Q]*; (Q; ([-P,R]* | ([-P,R,S]*; S; [-P,R,T]*; T; [-R]*)); R; [-Q]*)*; (Q; [-R]*)? |
After Q until R | [-Q]*; (Q; ([-P,R]* | ([-S,P,R]*; S; [-P,R,T]*; T; [-R]*)); R; [-Q]*)*; (Q; ([-P,R]* | ([-P,R,S]*; S; [-P,R,T]*; T; [-R]*)))? |
This is the 1 cause-2 effect mapping.
P precedes (S, T):
Globally | [-P,S]*;((P; .*) | (S; [-T]*))? |
Before R | ([-R]*) | ([-P,S,R]*; ((P; [-R]*) | (S; [-T,R]*))?; R; .*) |
After Q | [-Q]*; (Q; ([-P,S]*; ((P; .*) | (S; [-T]*))?))? |
Between Q and R | [-Q]*; (Q; [-P,S,R]*;((P; [-R]*) | (S;[-T,R]*))?; R; [-Q]*)*; (Q; [-R]*)? |
After Q until R | [-Q]*; (Q; [-P,S,R]*; ((P; [-R]*) | (S; [-T,R]*))?; R; [-Q]*)*; (Q; ([-P,S,R]*; ((P; [-R]*) | (S; [-T,R]*))?))? |
P responds to S,T:
Globally | ([- S]*; S; [- T]*; T; [- P]*; P)*; [- S]*; (S; [- T]*)? |
Before R | [- R]* | ([- S,R]*; S; [- T,R]*; T; [- P,R]*; P)*; [- S,R]*; (S; [- T,R]*)?; R; .* |
After Q | [- Q]*; (Q; ([- S]*; S; [- T]*; T; [- P]*; P)*; [- S]*; (S; [- T]*)?)? |
Between Q and R | ([- Q]*; Q; ([- S,R]*; S; [- T,R]*; T; [- P,R]*; P)*; [- S,R]*; (S; [-T,R]*)?; R)*; [- Q]*; (Q; [- R]*)? |
After Q until R | ([- Q]*; Q; ([- S,R]*; S; [- T,R]*; T; [- P,R]*; P)*; [- S,R]*; (S; [-T,R]*)?; R)*; [- Q]*; (Q; ([- S,R]*; S; [- T,R]*; T; [- P,R]*; P)* )? |
This is the 1 stimulus-2 response mapping.
S,T responds to P:
Globally | ([- P]*; P; [- S]*; S; [- T]*; T)*; [- P]* |
Before R | [- R]* | ([- P,R]*; P; [- S,R]*; S; [- T,R]*; T)*; [- P,R]*; R; .* |
After Q | [- Q]*; (Q; ([- P]*; P; [- S]*; S; [- T]*; T)*; [- P]*)? |
Between Q and R | ([- Q]*; Q; ([- P,R]*; P; [- S,R]*; S; [- T,R]*; T)*; [- P,R]*; R)*; [- Q]*; (Q; [- R]*)? |
After Q until R | ([- Q]*; Q; ([- P,R]*; P; [- S,R]*; S; [- T,R]*; T)*; [- P,R]*; R)*; [- Q]*; (Q; ([- P,R]*; P; [- S,R]*; S; [- T,R]*; T)* )? |
S,T without Z responds to P:
Globally | ([- P]*; P; [- S]*; S; [- T,Z]*; T)*; [- P]* |
Before R | [- R]* | ([- P,R]*; P; [- S,R]*; S; [- T,R,Z]*; T)*; [- P,R]*; R; .* |
After Q | [- Q]*; (Q; ([- P]*; P; [- S]*; S; [- T,Z]*; T)*; [- P]*)? |
Between Q and R | ([- Q]*; Q; ([- P,R]*; P; [- S,R]*; S; [- T,R,Z]*; T)*; [- P,R]*; R)*; [- Q]*; (Q; [- R]*)? |
After Q until R | ([- Q]*; Q; ([- P,R]*; P; [- S,R]*; S; [- T,R,Z]*; T)*; [- P,R]*; R)*; [- Q]*; (Q; ([- P,R]*; P; [- S,R]*; S; [- T,R,Z]*; T)* )? |