Changes between Version 10 and Version 11 of CurrentlyProposedLanguage


Ignore:
Timestamp:
Nov 4, 2010 4:33:33 PM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CurrentlyProposedLanguage

    v10 v11  
    5858 * Topological relationships between objects: one example is '''collocated''' function. Users can define other relationship functions such as A and B being on the same subnet, A being a leaf node, etc. All function definitions reside in the domain knowledge base.
    5959
    60 || '''Meaning''' ||     Operator and example ||
     60|| '''Meaning''' ||     '''Operator and example''' ||
    6161||A is of type X ||     A extends X          ||
    6262||A’s initial state is Z ||     A := { state = Z} ||