Property Pattern Mappings for GIL

This page describe mappings for property patterns in graphical interval logic (GIL). For other information about the patterns click on the pattern links.

Information about the entire pattern system is available at the Specification Patterns Home Page.


Pattern Mappings


Absence

P is false :

Globally
Before R
After Q
Between Q and R
After Q until R


Existence

P becomes true :

Globally
Before R
After Q
Between Q and R
After Q until R


Bounded Existence

In these mappings we illustrate one instance of the bounded existence pattern, where the bound is at most 2 designated states. Other bounds can be specified by variations on this mapping.

Transitions to P-states occur at most 2 times :

Globally
Before R
After Q
Between Q and R
After Q until R


Universality

P is true :

Globally
Before R
After Q
Between Q and R
After Q until R


Precedence

S precedes P:

Globally
Before R
After Q
Between Q and R
After Q until R


Response

S responds to P :

Globally
Before R
After Q
Between Q and R
After Q until R


Precedence Chain

This illustrates the 2 cause-1 effect precedence chain.

S, T precedes P:

Globally
Before R
After Q
Between Q and R
After Q until R

This illustrates the 1 cause-2 effect precedence chain.

P precedes (S, T):

Globally
Before R
After Q
Between Q and R
After Q until R


Response Chain

This illustrates the 2 stimulus-1 response chain.

P responds to S,T:

Globally
Before R
After Q
Between Q and R
After Q until R

This illustrates the 1 stimulus-2 response chain.

S,T responds to P:

Globally
Before R
After Q
Between Q and R
After Q until R


Constrained Chain Patterns

Not available yet.