This is predominantly a reminder to me that when we add sequences that aren't between the platform and the module, there will be some events that are synchronous and some that are asynchronous. I think the RoboChart semantics will abstract away the semantic distinction, but the graphical notation may need to switch between -|> arrows and -> arrows.
This is predominantly a reminder to me that when we add sequences that aren't between the platform and the module, there will be some events that are synchronous and some that are asynchronous. I think the RoboChart semantics will abstract away the semantic distinction, but the graphical notation may need to switch between
-|>arrows and->arrows.