B.1 FSP Description

B.1 FSP Description

In addition to definitions for processes and compositions of processes, an FSP model description consists of definitions for constants, ranges of integers, sets of action labels, safety properties, progress properties, animation menus, fluents and assertions.

 FSPdescription               FSPdefinition               FSPdescription FSPdefinition FSPdefinition               ConstantDef               RangeDef               SetDef               ProcessDef               CompositeDef               PropertyDef               ProgressDef               MenuDef               FluentDef               AssertDef