Changes between Version 13 and Version 14 of CurrentlyProposedLanguage


Ignore:
Timestamp:
Nov 5, 2010 1:55:52 PM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CurrentlyProposedLanguage

    v13 v14  
    33= Operators =
    44== Relational operators ==
    5 Standard relational operators apply
     5Standard relational operators apply with same precedence as usual.
    66||'''Meaning     '''    || '''Operator '''||
    77||Less than       ||<         ||
     
    1313
    1414== Logical operators ==
    15 Standard logical operators apply
     15Standard logical operators apply with same precedence as usual.
    1616||'''Meaning''' || '''Operator '''||
    1717||And     || and      ||
     
    2727== Temporal operators ==
    2828We want to be able to denote order and concurrency of events and state changes, and duration of events.
    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          ||
    3434
    3535== Existential, cardinality and modal operators ==
    36 We want to be able to denote how many objects or events of a given type must/may occur.
    37 ||'''Meaning'''                      || '''Operator and example''' ||
     36We want to be able to denote how many objects or events of a given type must/may occur. This is usually specified in front of events/state change definitions.
     37||'''Meaning'''                      || '''Operator and example''' || 
    3838||Every object A                     || each A               ||
    3939||Some objects A                     || some A               ||
    4040||Some object A called a1            || some A a1            ||
    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
     42Cardinality 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        ||
    4650== Conditions and loops ==
    4751We want to be able to express that an event occurs under certain conditions.
    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 ||
    5256
    5357= Objects =