feature-oriented modeling. Where a model program is built up by combining
separate features.
field map. A table that relates an object identifier to an associated data value. The
NModel framework uses field maps to support object-oriented modeling.
finish action. The second action in a split action, associated with the return of the
action method.
finite state machine (FSM). A finite collection of state transitions, along with an
identification of the initial state and any accepting states. An FSM can express a
scenario. Exploration generates an FSM from a model program.
finitely branching. A model program where only a finite number of transitions are
enabled in each state. A finitely branching model program is explorable. Contrast
to infinitely branching.
Appendices 321
finitize. To write a finite model program that models an ???infinite??? system, or to
limit exploration of an ???infinite??? model program to produce a finite state machine.
Pruning and sampling are ways to finitize exploration.
formal. Expressed in a notation that can be analyzed automatically, such as a
programming language. Contrast to informal.
frontier. During exploration, the states which have been reached but whose enabled
transitions have not yet been executed.
functional. State-independent.
FSM. Finite state machine
FSM model program. A model program coded in C# as a sequence terms that
represent the transitions of an FSM.
Pages:
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412