FSM text file. A model program coded in a text file as a term that represents an
FSM.
fully qualified name. In C#, the namespace name prefixed to the simple name. The
fully qualified name should be unique.
GAC. Global Assembly Cache.
generic failure. A failure that does not require an oracle to detect, such as a crash
(unhandled exception), a memory leak, or a deadlock.
Global Assembly Cache (GAC). In .NET, a special directory where assemblies for
installed software are stored. Assemblies may also be located elsewhere.
graph. A data structure consisting of nodes connected by links. An FSM can be
represented by a directed graph.
group label. State property.
grouping. State grouping.
guard. Enabling condition.
guarded update program. A program that consists of guarded update rules. Our
model programs are guarded update programs.
guarded update rule. An action along with its enabling condition.
helper method. A method in a model program that is not an action method.
hidden state. State in the implementation that is not represented in the model
program.
immutable. A data type whose values cannot be changed. Operations on immutable
values must construct a new value of the type. In C#, the string type is immutable.
The data types defined in the NModel library are immutable.
implementation. The program, system, or component that is described by a speci-
fication or a model program.
Pages:
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413