29 | | ||'''Meaning ''' ||''' Operator and example '''|| |
30 | | ||A occurs after B || B -> A || |
31 | | ||A and B occur concurrently || A | | B || |
32 | | ||A lasts T time || A,,T,, || |
33 | | ||A occurs T time after B || B ->,,T,, A || |
| 29 | ||'''Meaning ''' ||''' Operator and example '''|| Precedence || |
| 30 | ||A occurs after B || B -> A || Highest for binary operators || |
| 31 | ||A and B occur concurrently || A | | B || Lowest for binary operators || |
| 32 | ||A lasts T time || A,,T,, || Same as not || |
| 33 | ||A occurs T time after B || B ->,,T,, A || Same as -> operator || |
41 | | ||A must occur || A || |
42 | | ||A may occur || [A] || |
43 | | ||Exactly N objects/events of type A || |A|,,N,, || |
44 | | ||At least N objects/events of type A|| |A|,,>=N,, || |
45 | | ||At most N objects/events of type A || |A|,,<=N,, || |
| 41 | |
| 42 | Cardinality and modality of occurence: |
| 43 | |
| 44 | ||'''Meaning''' || '''Operator and example''' || Precedence || |
| 45 | ||A must occur || A || None, no explicit operator || |
| 46 | ||A may occur || [A] || Same as parentheses || |
| 47 | ||Exactly N objects/events of type A || |A|,,N,, ||Same as parentheses || |
| 48 | ||At least N objects/events of type A|| |A|,,>=N,, ||Same as parentheses || |
| 49 | ||At most N objects/events of type A || |A|,,<=N,, || Same as parentheses || |
48 | | ||'''Meaning'''||'''Operator and example''' || |
49 | | ||if condition cond holds then A occurs else B occurs || if cond then A else B || |
50 | | ||Repeat some action while condition cond holds ||do A while cond || |
51 | | ||A such that cond || A | cond || |
| 52 | ||'''Meaning'''||'''Operator and example''' || Precedence || |
| 53 | ||if condition cond holds then A occurs else B occurs || if cond then A else B || Lowest || |
| 54 | ||Repeat some action while condition cond holds ||do A while cond || Same as if || |
| 55 | ||A such that cond || A | cond || Same as not || |