Towards Trigger Based Semantics
- Trigger based semantics seems similar to OSC 1.0
- Each element has status: running, waiting, finished --> Three sets: Running Elements, Waiting Elements, Finished Elements
- Start and end condition (transition to and from runnging, waiting, finished) infered program
Basic scenario of car C overtaking car D
drive(C, 50) until dis(C, D) < 10 ;
(((drive(C, 50) || changeLane(C, left)) ;
((drive(C, 50) until dis(C, D) > 10 ;
((drive(C, 50) || changeLane(C, right)) ;
drive(C, 50))))
||
drive(D, 30)