search

nasa / fpp

F Prime Prime: A modeling language for F Prime
https://fprime.jpl.nasa.gov
Apache License 2.0
49 stars 31 forks source link

Revise state machine spec #440

Closed bocchino closed 3 months ago

bocchino commented 4 months ago

The changes are mostly stylistic. I added a few missing technical details, e.g., the rules for assigning qualified names to definitions and for resolving names.

Closes #434.

bocchino commented 4 months ago

Per discussion, we need to update the spec to say that

  1. A component containing a state machine instance must be active or queued.
  2. An async or queued component containing a state machine instance and no other async element is valid.
bocchino commented 4 months ago

I updated the spec as described above.

garthwatney commented 3 months ago

Looks good.