SNIP_ADAPTIVE_CAN_FIGURE_Figure_12_14

Figure 12.14: Modeling of FunctionGroupPhmStateReference 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 transitions are not formalized) and therefore this restriction can not be defined as a constraint. A possible mitigation strategy is to define different Process arguments and therefore force a re-start of the Process, even if the Function Group States have been switched consecutively .