SPECTRA — Kernel Functional Thread needs clarification

Review 16-05-2025

Functional Thread
o Integer – should specific whether the integer is expected to start at 0 or 1.
o Booleans should not have “is” in the name of them. That is a programming convention for accessor functions. It is not good modeling practice.
o “Specifies whether the flow involves access” – does this mean whether access control is used for the flow or whether the flow itself is part of enabling access control? It is not clear.
 Same note for authentication and encryption
o RAAML already has a specification for defining a series of sequential events (Situation and Scenario) that should be extended here instead of recreated.
o How are concurrent flows or unordered flows modeled? Data traveling on a bus or using something like UDP typically has not guaranteed delivery order, so the system is created where delivery order is not necessary.