Changes between Version 12 and Version 13 of CurrentlyProposedLanguage
- Timestamp:
- Nov 5, 2010 1:38:54 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
CurrentlyProposedLanguage
v12 v13 81 81 {{{e1 := {type = TYPE, origin = object, destination = object, …}}}} 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 .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 or have a condition on reply matching the request to proceed with the rest of the events in the sequence.
