Changes between Version 11 and Version 12 of CurrentlyProposedLanguage
- Timestamp:
- Nov 5, 2010 1:37:34 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
CurrentlyProposedLanguage
v11 v12 49 49 ||if condition cond holds then A occurs else B occurs || if cond then A else B || 50 50 ||Repeat some action while condition cond holds ||do A while cond || 51 ||A such that cond || A | cond || 51 52 52 53 = Objects = … … 80 81 {{{e1 := {type = TYPE, origin = object, destination = object, …}}}} 81 82 82 83 We should have a notion of events matching each other, like a reply matches a request. To support this there's a function '''match(event1, event2)''' which is defined in the domain knowledge base for each request/reply pair. In the timeline of events part of a meta-description if we want a reply to match a request we must explicitly say so using '''such that''' operator.
