SNIP_ADAPTIVE_CAN_FIGURE_Figure_10_14

Figure 10.14: Modeling of FunctionGroupPhmStateReference [constr_3632]{DRAFT} Supervision of a Supervised Entity Instance in the scope of a Function Group State ⌈A Supervised Entity Instance shall be configured with checkpoint supervision (all SupervisionCheckpoints of the Supervised Entity Instance are covered by AliveSupervision, DeadlineSupervision, LogicalSupervision, NoCheckpointSupervision) or NoSupervision in all Function Group States in which the corresponding Process is configured to be executed.⌋() Rationale for [constr_3632]: The configuration of supervision for a specific Supervised Entity Instance is not missed unintentionally in a Function Group State . Note that [constr_3632] requires for the Supervised Entity Instance to be part of the supervision definition in all Function Group States in which the corresponding Process is configured to be executed. In case there is no supervision required in a specific Function Group State (because the Supervised Entity Instance does not need to be supervised in that specific Function Group State ), then NoSupervision can be configured for that Supervised Entity Instance. Note: If a Process survives a Function Group State change running (because the Process is defined to be running in two consecutive Function Group States), then it is important that the configuration of the activeSupervision for the Supervised Entity Instances corresponding to the Process is identical for the SupervisionModes that corresponds to the affected Function Group States . This relations can not be formally expressed (because the possible Function Group State