Data stores map to concrete value definitions in the spec.

All external inputs without data stores come from the human user, via a type- specific input dialog. All external outputs without data stores are displayed to the human user, via a type-specific output display. There are two built-in forms for input -- textual terminal-style and GUI. Textual inputs are supplied in the form of an FMSL expression lists, using formal FMSL syntax. GUI inputs are supplied in a tool-generated dialog of a standard form, or by custom user- defined dialogs, in some appropriate form, e.g., defined using protoj.

More details coming.