@memoarchitect/ontology 0.6.5 → 0.8.22

package/examples/gpca-pump/model/catalog/gpca_requirements.sysml

@@ -1,5 +1,6 @@
-package memo_examples_gpca_pump_model_catalog_gpca_requirements {
+package memo_examples_gpca_pump_gpca_requirements {
     private import ScalarValues::*;
+    private import memo_core_dimensions::*;   // ElementStatusKind
 
     private import memo_assurance_requirements::*;
     private import memo_assurance_requirements_needs::*;
@@ -401,7 +402,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall always be in only one of the following modes: OFF (default mode), IDLE, PAUSED, BASAL, SQUARE BOLUS or PATIENT BOLUS.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Mode output is always exactly one valid exclusive value.";
         attribute :>> subjectDescription = "GPCA system";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.1 (REQ 1)";
@@ -412,7 +413,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If there are mode transitions without change in flow rates between the two modes, the system shall transition within Max_Mode_Change_Duration_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::performance;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "transition time <= Max_Mode_Change_Duration_const";
         attribute :>> subjectDescription = "GPCA system";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.1 (REQ 2)";
@@ -423,7 +424,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If there are mode transitions with change in flow rates between the two modes, the system shall change from the current mode flow rate to the new mode flow rate at a rate not more than Max_Rateof_Flow_Change_const or within Max_Mode_Change_Duration_const, whichever achieves the new desired flow rate the quickest.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::performance;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "flow ramp rate <= Max_Rateof_Flow_Change_const OR transition time <= Max_Mode_Change_Duration_const (quickest wins)";
         attribute :>> subjectDescription = "GPCA system";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.1 (REQ 3)";
@@ -434,7 +435,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall transition from OFF mode to ON > IDLE mode when System_start_prog is commanded. At this transition, the variables in App. A.4 shall be set to their default values.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "System_start_prog in OFF => mode = ON > IDLE and A.4 variables at defaults";
         attribute :>> subjectDescription = "GPCA system (OFF -> ON transition)";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.2 (REQ 4)";
@@ -445,7 +446,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, when System_stop_prog is commanded, the system shall stop infusion, cancel all notifications and transition to OFF mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "System_stop_prog in ON => infusion stopped, active notifications cancelled, mode = OFF";
         attribute :>> subjectDescription = "GPCA system (ON -> OFF transition)";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.2 (REQ 5)";
@@ -458,7 +459,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in OFF mode, the system shall not deliver any drug.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output = 0";
         attribute :>> subjectDescription = "OFF mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.2.1 (REQ 6)";
@@ -471,7 +472,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, the system shall allow initiation of infusion only when a saved prescription is available.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion initiation is rejected when no saved prescription exists.";
         attribute :>> subjectDescription = "ON mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.1 (REQ 7)";
@@ -482,7 +483,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, the system shall allow configuring (DataConfig_prog) new or saved prescription data and reservoir initial volume, as described in the Data Configuration Requirements (§4.2).";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "DataConfig_prog is accepted in ON mode and enters the §4.2 configuration flow.";
         attribute :>> subjectDescription = "ON mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.1 (REQ 8)";
@@ -493,7 +494,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, if Infusion_initiate_prog, the system shall display the saved prescription values and allow the clinician to confirm the prescription with another Infusion_initiate_prog.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "First Infusion_initiate_prog displays saved values; therapy starts only after a second Infusion_initiate_prog.";
         attribute :>> subjectDescription = "ON mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.1 (REQ 9)";
@@ -504,7 +505,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, the system shall allow visual and audio notification as described in §4.3.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Notification behaviors of §4.3 are available whenever the system is in ON mode.";
         attribute :>> subjectDescription = "ON mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.1 (REQ 10)";
@@ -515,7 +516,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, the system shall allow logging as described in §4.4.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Log behaviors of §4.4 are available whenever the system is in ON mode.";
         attribute :>> subjectDescription = "ON mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.1 (REQ 11)";
@@ -526,7 +527,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, when the second Infusion_initiate_prog is commanded as per REQ 9 and Inhibited_Infusion_macro = FALSE, the system shall reset Actual_Infusion_Duration_macro = 0 and Actual_Volume_Infused_macro = 0 and shall transition to ON > THERAPY > ACTIVE > BASAL mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Actual_Infusion_Duration_macro = 0 AND Actual_Volume_Infused_macro = 0 AND mode = ON > THERAPY > ACTIVE > BASAL";
         attribute :>> subjectDescription = "ON mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.2 (REQ 12)";
@@ -537,7 +538,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, when the second Infusion_initiate_prog is commanded as per REQ 9 and Inhibited_Infusion_macro = TRUE, the system shall reset Actual_Infusion_Duration_macro = 0 and Actual_Volume_Infused_macro = 0, shall transition to ON > THERAPY > PAUSED mode and perform actions as described in REQ 59 for 'Infusion Inhibited'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Inhibited_Infusion_macro = TRUE => mode = ON > THERAPY > PAUSED and 'Infusion Inhibited' actions taken";
         attribute :>> subjectDescription = "ON mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.2 (REQ 13)";
@@ -550,7 +551,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in IDLE mode, the system shall not deliver any drug.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output = 0";
         attribute :>> subjectDescription = "ON > IDLE mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.4.1 (REQ 14)";
@@ -561,7 +562,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in IDLE mode for more than Max_IDLE_Duration_const, the system shall take actions as defined in REQ 59 for 'IDLE Time'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "time in IDLE > Max_IDLE_Duration_const => 'IDLE Time' actions taken";
         attribute :>> subjectDescription = "ON > IDLE mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.4.1 (REQ 15)";
@@ -574,7 +575,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, the system shall deliver the drug as per the respective sub-mode's programmed flow rate, FlowRate_Mode_macro, within a tolerance of Tolerance_Max_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output < FlowRate_Mode_macro + Tolerance_Max_const";
         attribute :>> subjectDescription = "ON > THERAPY mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.1 (REQ 16)";
@@ -585,7 +586,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, the system shall take actions as defined in REQ 59 for 'Under Infusion FlowRate' if the output flow rate falls below the mode flow rate beyond the tolerance windows.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output < FlowRate_Mode_macro - Tolerance_Min_const for more than Max_Duration_UnderInfusion_const OR FlowRate_output < FlowRate_Mode_macro - Tolerance_Max_const OR FlowRate_output < FlowRate_lo_hd";
         attribute :>> subjectDescription = "ON > THERAPY mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.1 (REQ 17)";
@@ -596,7 +597,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, when the current volume of drug in the reservoir is less than Low_Reservoir_const, the system shall perform the actions defined in REQ 59 for 'Low Reservoir'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "reservoir volume < Low_Reservoir_const => 'Low Reservoir' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.1 (REQ 18)";
@@ -607,7 +608,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, the system shall transition to PAUSED mode and perform the actions described in REQ 59 for 'Over Infusion FlowRate' if the output flow rate exceeds the mode flow rate beyond the tolerance windows.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output > FlowRate_Mode_macro + Tolerance_Min_const for more than Max_Duration_OverInfusion_const OR FlowRate_output > FlowRate_Mode_macro + Tolerance_Max_const OR FlowRate_output > FlowRate_hi_hd";
         attribute :>> subjectDescription = "ON > THERAPY mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 19)";
@@ -618,7 +619,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, the system shall transition to PAUSED mode and take the actions described in REQ 59 for 'Over Infusion VTBI' if the actual volume infused exceeds the drug-database maximum VTBI.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Actual_Volume_Infused_macro > VTBI_hi_hd";
         attribute :>> subjectDescription = "ON > THERAPY mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 20)";
@@ -629,7 +630,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, the system shall transition to PAUSED mode and perform the actions defined in REQ 59 for 'Air embolism' if an air bubble of a volume larger than Single_AirBubble_Volume_const flows through the hose, or the sum of volume of all air bubbles flowing through the hose exceeds Cumulative_AirBubble_Volume_const for the same time interval defined for Cumulative_AirBubble_Volume_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "single bubble volume > Single_AirBubble_Volume_const OR cumulative bubble volume > Cumulative_AirBubble_Volume_const";
         attribute :>> subjectDescription = "ON > THERAPY mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 21)";
@@ -640,7 +641,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode, the system shall transition to PAUSED mode and perform actions defined in REQ 59 for 'Reverse Delivery' if there is continuous reverse delivery for more than Rev_Delivery_Continuous_Duration_const, or the cumulative time of all reverse delivery episodes exceeds Rev_Delivery_Cumulative_Duration_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "continuous reverse delivery > Rev_Delivery_Continuous_Duration_const OR cumulative reverse delivery > Rev_Delivery_Cumulative_Duration_const";
         attribute :>> subjectDescription = "ON > THERAPY mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 22)";
@@ -651,7 +652,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in THERAPY mode and if the volume of drug in the reservoir is less than Empty_Reservoir_const, the system shall transition to PAUSED mode and perform actions as listed in REQ 59 for 'Empty Reservoir'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "reservoir volume < Empty_Reservoir_const => mode = PAUSED and 'Empty Reservoir' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 23)";
@@ -664,7 +665,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, the system shall schedule to start a SQUARE BOLUS every Interval_sbolus_prog and end after Duration_sbolus_prog during the Duration_total_prog.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Square boluses are auto-scheduled by the system every Interval_sbolus_prog for Duration_sbolus_prog; no external trigger is required.";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.1 (REQ 24)";
@@ -675,7 +676,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, when BolusRequest_prog, the system shall ignore the patient bolus request (BolusRequest_prog = FALSE) if: (1) Inhibited_Infusion_macro = TRUE, OR (2) Inhibited_PatientBolus_macro = TRUE, OR (3) the interval between the most recent PATIENT BOLUS mode end time and the current BolusRequest_prog time violates LockOutPeriod_pbolus_prog, OR (4) the total number of delivered patient boluses for the current prescription violates the programmed maximum number of patient boluses, OR (5) the system is currently in PATIENT BOLUS mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Source formal conditions: (3) (BolusRequest_prog time - most recent PATIENT BOLUS end time) > LockOutPeriod_pbolus_prog; (4) sum of occurrences of all PATIENT BOLUS modes > NumberMax_pbolus_prog (source prose and formal expressions are inconsistent; transcribed as written).";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.1 (REQ 25)";
@@ -686,7 +687,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, the system shall perform the actions described in REQ 59 for 'Frequent Bolus Requests' if the condition described in REQ 25.3 or REQ 25.5 occurs.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "REQ 25 condition 3 or 5 => 'Frequent Bolus Requests' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.1 (REQ 26)";
@@ -697,7 +698,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, the system shall perform the actions described in REQ 59 for 'Bolus Exceeded' if the condition described in REQ 25.4 occurs.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "REQ 25 condition 4 => 'Bolus Exceeded' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.1 (REQ 27)";
@@ -708,7 +709,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, the system shall transition to IDLE and perform actions described in REQ 59 for 'Infusion Complete' if the actual duration of infusion is greater than or equal to the programmed prescription total duration, or the total volume infused is greater than or equal to the programmed prescription maximum VTBI.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Actual_Infusion_Duration_macro >= Duration_total_prog OR Actual_Volume_Infused_macro >= VTBI_total_prog";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 28)";
@@ -719,7 +720,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, when Infusion_inhibit_prog, the system shall transition to PAUSED mode and perform actions described in REQ 59 for 'Infusion Manually Inhibited'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion_inhibit_prog => mode = PAUSED and 'Infusion Manually Inhibited' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 29)";
@@ -730,7 +731,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ACTIVE mode, when Inhibited_Infusion_macro = TRUE, Inhibited_Bolus_macro = TRUE and Inhibited_PatientBolus_macro = TRUE, the system shall transition to PAUSED mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Inhibited_Infusion_macro AND Inhibited_Bolus_macro AND Inhibited_PatientBolus_macro => mode = PAUSED";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 30)";
@@ -741,7 +742,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in BASAL mode, when SQUARE BOLUS is initiated as described in REQ 24, the system shall transition to SQUARE BOLUS mode if (1) Inhibited_Bolus_macro = FALSE, AND (2) Inhibited_Infusion_macro = FALSE, AND (3) either there is no BolusRequest_prog, or there is a BolusRequest_prog and at least one of the conditions listed in REQ 25 is true.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "NOT Inhibited_Bolus_macro AND NOT Inhibited_Infusion_macro AND (no BolusRequest_prog OR a REQ 25 ignore condition holds)";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 31)";
@@ -752,7 +753,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in BASAL mode, the system shall transition to PATIENT BOLUS mode when BolusRequest_prog and none of the conditions listed in REQ 25 are true.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "BolusRequest_prog AND no REQ 25 ignore condition holds => mode = PATIENT BOLUS";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 32)";
@@ -763,7 +764,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in SQUARE BOLUS mode, the system shall transition to PATIENT BOLUS mode if BolusRequest_prog and none of the conditions listed in REQ 25 are true.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "BolusRequest_prog AND no REQ 25 ignore condition holds => mode = PATIENT BOLUS";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 33)";
@@ -774,7 +775,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in SQUARE BOLUS mode, if Inhibited_Bolus_macro = TRUE or the SQUARE BOLUS is scheduled to end (as described in REQ 24), the system shall transition to BASAL mode if (1) Inhibited_Infusion_macro = FALSE, AND (2) there is no BolusRequest_prog, or BolusRequest_prog and at least one of the conditions listed in REQ 25 is true.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "(Inhibited_Bolus_macro OR scheduled end) AND NOT Inhibited_Infusion_macro AND (no BolusRequest_prog OR a REQ 25 ignore condition holds) => mode = BASAL";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 34)";
@@ -785,7 +786,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PATIENT BOLUS mode, when Inhibited_PatientBolus_macro = TRUE or the total duration in the current PATIENT BOLUS mode is greater than or equal to Duration_pbolus_prog, the system shall stop the PATIENT BOLUS delivery and transition to BASAL mode if (1) Inhibited_Infusion_macro = FALSE, AND (2) no SQUARE BOLUS is scheduled to be in progress at the time of transition, OR (3) a SQUARE BOLUS is scheduled to be in progress at the time of transition and Inhibited_Bolus_macro = TRUE.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "(Inhibited_PatientBolus_macro OR patient-bolus duration >= Duration_pbolus_prog) AND NOT Inhibited_Infusion_macro AND (no square bolus scheduled OR (square bolus scheduled AND Inhibited_Bolus_macro)) => mode = BASAL";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 35)";
@@ -796,7 +797,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PATIENT BOLUS mode, when Inhibited_PatientBolus_macro = TRUE or the total duration in the current PATIENT BOLUS mode is greater than or equal to Duration_pbolus_prog, the system shall stop the PATIENT BOLUS delivery and transition to SQUARE BOLUS mode if (1) Inhibited_Infusion_macro = FALSE, AND (2) a SQUARE BOLUS is scheduled to be in progress at the time of transition, AND (3) Inhibited_Bolus_macro = FALSE.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "(Inhibited_PatientBolus_macro OR patient-bolus duration >= Duration_pbolus_prog) AND NOT Inhibited_Infusion_macro AND square bolus scheduled AND NOT Inhibited_Bolus_macro => mode = SQUARE BOLUS";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 36)";
@@ -807,7 +808,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in BASAL mode, if Inhibited_Infusion_macro = TRUE, the system shall transition to PAUSE mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Inhibited_Infusion_macro => mode = PAUSED";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 37)";
@@ -818,7 +819,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PATIENT BOLUS mode, the system shall transition to PAUSE mode if Inhibited_PatientBolus_macro = TRUE and Inhibited_Infusion_macro = TRUE.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Inhibited_PatientBolus_macro AND Inhibited_Infusion_macro => mode = PAUSED";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 38)";
@@ -829,7 +830,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in SQUARE BOLUS mode, the system shall transition to PAUSE mode if Inhibited_Bolus_macro = TRUE and Inhibited_Infusion_macro = TRUE.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Inhibited_Bolus_macro AND Inhibited_Infusion_macro => mode = PAUSED";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 39)";
@@ -842,7 +843,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in BASAL mode, the system shall deliver the drug at a flow rate FlowRate_basal_prog with a variation up to Tolerance_Max_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output within Tolerance_Max_const of FlowRate_basal_prog";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE > BASAL mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.7.1 (REQ 40)";
@@ -853,7 +854,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in SQUARE BOLUS mode, the system shall deliver the drug at a flow rate FlowRate_sbolus_prog with a variation up to Tolerance_Max_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output within Tolerance_Max_const of FlowRate_sbolus_prog";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE > SQUARE BOLUS mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.8.1 (REQ 41)";
@@ -864,7 +865,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PATIENT BOLUS mode, the system shall deliver the drug at a flow rate FlowRate_pbolus_prog with a variation up to Tolerance_Max_const.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_output within Tolerance_Max_const of FlowRate_pbolus_prog";
         attribute :>> subjectDescription = "ON > THERAPY > ACTIVE > PATIENT BOLUS mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9.1 (REQ 42)";
@@ -877,7 +878,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PAUSED mode, the system shall allow drug infusion at a flow rate FlowRate_kvo_hd with a variation up to Tolerance_Max_const, to keep the vein open when infusion is paused.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "FlowRate_Mode_macro = FlowRate_kvo_hd; FlowRate_output within Tolerance_Max_const of FlowRate_kvo_hd (KVO flow, not zero)";
         attribute :>> subjectDescription = "ON > THERAPY > PAUSED mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.1 (REQ 43)";
@@ -888,7 +889,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PAUSED mode for more than Max_PAUSED_Duration_const, the system shall perform actions as described in REQ 59 for 'PAUSED Time'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "time in PAUSED > Max_PAUSED_Duration_const => 'PAUSED Time' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY > PAUSED mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.1 (REQ 44)";
@@ -899,7 +900,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PAUSED mode, when Infusion_initiate_prog and Inhibited_Infusion_macro = TRUE, the system shall not perform any transition.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion_initiate_prog AND Inhibited_Infusion_macro => mode unchanged";
         attribute :>> subjectDescription = "ON > THERAPY > PAUSED mode";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.1 (REQ 45)";
@@ -910,7 +911,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PAUSED mode, when Infusion_initiate_prog and Inhibited_Infusion_macro = FALSE, the system shall transition to ON > THERAPY > ACTIVE > BASAL mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion_initiate_prog AND NOT Inhibited_Infusion_macro => mode = ON > THERAPY > ACTIVE > BASAL";
         attribute :>> subjectDescription = "ON > THERAPY > PAUSED mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.2 (REQ 46)";
@@ -921,7 +922,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in PAUSED mode, when Infusion_inhibit_prog, the system shall transition to ON > IDLE mode and perform actions as described in REQ 59 for 'Infusion Stopped Manually'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion_inhibit_prog => mode = ON > IDLE and 'Infusion Stopped Manually' actions taken";
         attribute :>> subjectDescription = "ON > THERAPY > PAUSED mode transitions";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.2 (REQ 47)";
@@ -934,7 +935,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When in ON mode, if DataConfig_prog as described in REQ 8, the system shall display the saved prescription and reservoir initial volume values or their default values (if there are no saved prescription and reservoir initial volume values) in the order listed in §3.1.1 and §3.1.3.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Displayed values equal saved values (or defaults) in the interface-specified order.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 48)";
@@ -945,7 +946,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When the prescription and reservoir initial volume data are displayed as described in REQ 48, the system shall allow editing the values one at a time in the order they are displayed.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Exactly one value is editable at a time, in display order.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 49)";
@@ -956,7 +957,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When the values are modified as described in REQ 49, the system shall allow infusion initiation with the new set of values (Infusion_initiate_prog).";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion_initiate_prog is accepted with the modified value set.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 50)";
@@ -967,7 +968,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When Infusion_initiate_prog as described in REQ 50, the system shall validate if all the values are consistent with the conditions specified in their respective Type Condition fields in §3.1.1 and §3.1.3.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Every entered value satisfies its Type Condition constraints before saving.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 51)";
@@ -978,7 +979,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When the system is validating data as described in REQ 51, if the system is unable to access the drug database safe values, the system shall not save the values and perform actions as described in REQ 59 for 'Drug database not reachable'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Database unreachable => values not saved and 'Drug database not reachable' actions taken";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 52)";
@@ -989,7 +990,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When the system is validating data as described in REQ 51, if any of the drug database safe values listed in §3.5 is not present, the system shall not perform the validation with respect to that missing field, perform actions as described in REQ 59 for 'Drug safe value not present' and continue validation.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Missing safe value => that field's validation skipped, 'Drug safe value not present' actions taken, validation continues";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 53)";
@@ -1000,7 +1001,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If there are no notifications from REQ 51 and REQ 52, the system shall save the prescription values, clear all the notifications previously generated by REQ 51, REQ 52 and REQ 53 if any, and allow initiate infusion with the new values as described in REQ 9.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Validation clean => values saved, prior validation notifications cleared, initiation enabled per REQ 9.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 54)";
@@ -1011,7 +1012,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If REQ 51 or REQ 52 had generated a notification, the system shall not save the prescription values, allow the clinician to edit the values of the fields as described in REQ 49 and then repeat steps from REQ 50 until all validations are passed as described in REQ 54.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Validation notification present => values not saved; edit-and-revalidate loop until clean.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 55)";
@@ -1022,7 +1023,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While data configuration is in progress, the system shall remain in its current mode with the currently active prescription values, until infusion is initiated with the new prescription values as described in REQ 54.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Mode and active prescription are unchanged during configuration.";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 56)";
@@ -1033,7 +1034,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When the clinician has attempted to configure the data for more than Config_Warning_Duration_const continuously, the system shall perform actions as described in REQ 59 for 'Config Time'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "continuous configuration time > Config_Warning_Duration_const => 'Config Time' actions taken";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 57)";
@@ -1044,7 +1045,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When the clinician has attempted to configure the data for more than Max_Config_Duration_const continuously, the system shall clear all unsaved prescription values and shall perform actions as described in REQ 59 for 'Unsaved Configuration Cleared'.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "continuous configuration time > Max_Config_Duration_const => unsaved values cleared ('Unsaved Configuration Cleared' is referenced by the source but absent from the REQ 59 table — a documented source inconsistency).";
         attribute :>> subjectDescription = "Data configuration";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.2 (REQ 58)";
@@ -1057,7 +1058,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall perform all the actions listed in the notification action table for the respective notification. The table defines, for each of the 20 notifications, its priority (High/Med/Low) and the actions Visual, Audio, Inhibit Infusion, Inhibit Square Bolus, Inhibit Patient Bolus, and Stop Bolus. Notification requirements have higher precedence over all other requirements in the system.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "For every raised notification, the actions equal the NOTIF-01..NOTIF-20 table row: Inhibit Infusion => Inhibited_Infusion_macro = TRUE; Inhibit Square Bolus => Inhibited_Bolus_macro = TRUE; Inhibit Patient Bolus => Inhibited_PatientBolus_macro = TRUE; Stop Bolus => stop all boluses in progress.";
         attribute :>> subjectDescription = "Notification handling (see NOTIF-01..NOTIF-20)";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 59)";
@@ -1068,7 +1069,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When more than one notification having different priorities occurs at the same time, the system shall take actions listed for the highest priority notification.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Simultaneous notifications with different priorities => actions of the highest priority notification are taken.";
         attribute :>> subjectDescription = "Notification precedence";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 60)";
@@ -1079,7 +1080,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When more than one notification having same priorities and different set of actions occurs at the same time, the system shall take actions listed for the most restrictive notification.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Order of restriction: Inhibit All Infusion > Inhibit Square Bolus > Inhibit Patient Bolus.";
         attribute :>> subjectDescription = "Notification precedence";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 61)";
@@ -1090,7 +1091,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When more than one notification having same priorities and same set of actions occurs at the same time, the system will take actions for the notification that has the most restrictive actions as listed in REQ 59.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Tie on priority and actions => REQ 59 restriction ordering breaks the tie.";
         attribute :>> subjectDescription = "Notification precedence";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 62)";
@@ -1101,7 +1102,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While a low priority or less restrictive notification is in effect and a higher priority or more restrictive same-priority notification occurs, the system shall take actions for the high priority or more restrictive notification as listed in REQ 59.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "In-effect notification is superseded by a higher-priority or more restrictive notification.";
         attribute :>> subjectDescription = "Notification precedence";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 63)";
@@ -1112,7 +1113,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While a high priority notification is in effect and a low priority notification occurs, the system shall only add the notification to the active notification list and shall not take any other actions for the low priority notification.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Lower-priority notification is listed but its actions are not taken while a higher-priority notification is in effect.";
         attribute :>> subjectDescription = "Notification precedence";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 64)";
@@ -1123,7 +1124,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall allow the clinician to cancel the active notifications, starting from the first in the list, one at a time (Notification_cancel_prog).";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Cancellation proceeds one notification at a time from the head of the list.";
         attribute :>> subjectDescription = "Notification cancellation";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 65)";
@@ -1134,7 +1135,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When Notification_cancel_prog for a notification, the system shall cancel and clear the restrictions for that notification: Inhibited_Infusion_macro = FALSE, Inhibited_Bolus_macro = FALSE, Inhibited_PatientBolus_macro = FALSE, and cancel and clear the corresponding audio notification.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "After cancel: Inhibited_Infusion_macro = FALSE AND Inhibited_Bolus_macro = FALSE AND Inhibited_PatientBolus_macro = FALSE AND audio cleared for that notification.";
         attribute :>> subjectDescription = "Notification cancellation";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 66)";
@@ -1145,7 +1146,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When Notification_cancel_prog for a notification, the system takes actions for the next active notification in order of priority and descending order of occurrence.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "After cancel, the next active notification (by priority, then recency) becomes the notification in effect.";
         attribute :>> subjectDescription = "Notification cancellation";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 (REQ 67)";
@@ -1158,7 +1159,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall display all active notifications in order of priority and descending order of occurrence (Notification_Visual_output).";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Notification_Visual_output lists active notifications ordered by priority, then most recent first.";
         attribute :>> subjectDescription = "Visual notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.1 (REQ 68)";
@@ -1169,7 +1170,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall display the name of all the active notifications and the time of the occurrence.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Every active notification is shown with name and occurrence time.";
         attribute :>> subjectDescription = "Visual notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.1 (REQ 69)";
@@ -1180,7 +1181,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When more than one notification occurs at the same time, the system shall display all the notifications as per REQ 68.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Simultaneous notifications are all displayed in REQ 68 order.";
         attribute :>> subjectDescription = "Visual notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.1 (REQ 70)";
@@ -1191,7 +1192,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When Notification_cancel_prog for a notification, the system shall remove the notification from the list and shall display the list of remaining notifications.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Cancelled notification disappears from the displayed list; remaining list stays displayed.";
         attribute :>> subjectDescription = "Visual notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.1 (REQ 71)";
@@ -1204,7 +1205,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When each notification occurs that requires an audio alarm as listed in REQ 59, the system shall produce a single audible sound of Audio_level_const, unless the audio is disabled or silenced.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Audio-flagged notification => one audible sound at Audio_level_const (50 db for 2 seconds per I 8) unless Disable_audio_prog is set.";
         attribute :>> subjectDescription = "Audio notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.2 (REQ 72)";
@@ -1215,7 +1216,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall allow the clinician to disable audible alarm, silence the alarm temporarily and enable a disabled or silenced alarm.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Notification_Audio_output = FALSE if Disable_audio_prog = 'PERM' (disabled) or 'TEMP' (silenced); Notification_Audio_output = TRUE if Disable_audio_prog = FALSE.";
         attribute :>> subjectDescription = "Audio notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.2 (REQ 73)";
@@ -1226,7 +1227,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If Disable_audio_prog = 'PERM' or 'TEMP', the system shall not produce audible alarm until it is enabled (Disable_audio_prog = FALSE).";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "No audible alarm while Disable_audio_prog is 'PERM' or 'TEMP'.";
         attribute :>> subjectDescription = "Audio notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.2 (REQ 74)";
@@ -1237,7 +1238,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If Disable_audio_prog = 'TEMP', the system shall automatically enable it (Disable_audio_prog = FALSE) after Audio_Enable_Duration_const minutes.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Temporary silence expires after Audio_Enable_Duration_const (30) minutes.";
         attribute :>> subjectDescription = "Audio notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.2 (REQ 75)";
@@ -1248,7 +1249,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "For every notification with audio alarm that is active for more than Audio_Enable_Duration_const minutes, the system shall produce audible sound as described in REQ 72.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Audio-flagged notification active > Audio_Enable_Duration_const minutes => REQ 72 sound re-produced.";
         attribute :>> subjectDescription = "Audio notification";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3.2 (REQ 76)";
@@ -1261,7 +1262,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall log all the operational and error data when the system is in ON mode.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Operational log and error log are recorded whenever the system is in ON mode.";
         attribute :>> subjectDescription = "Logging";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.4 (REQ 77)";
@@ -1272,7 +1273,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "While in ON mode, every Log_Interval_const minutes or when a mode transition occurs, the system shall record the following information in an 'Operational log': (1) date in dd/MM/yy format, (2) time in HH:MM:SS GMT, (3) Patient ID, (4) prescription information, (5) current mode of the system, (6) current flow rate of the system.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Operational log entries appear every Log_Interval_const (5) minutes and on every mode transition, with all six fields.";
         attribute :>> subjectDescription = "Logging";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.4 (REQ 78)";
@@ -1283,7 +1284,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When infusion is completed as per REQ 28, the system shall record the following information in addition to the information listed in REQ 78 in the 'Operational log': (1) total volume infused for that prescription, (2) total duration of infusion for that prescription (total duration in ACTIVE mode).";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Infusion-complete log entry includes total volume infused and total ACTIVE-mode duration.";
         attribute :>> subjectDescription = "Logging";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.4 (REQ 79)";
@@ -1294,7 +1295,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When any notification condition listed in REQ 59 occurs, the system shall record the following information in an error log: (1) date in dd/MM/yy format, (2) time in HH:MM:SS GMT, (3) notification description, (4) current mode of the system, (5) remaining drug volume.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Every REQ 59 notification produces an error log entry with all five fields.";
         attribute :>> subjectDescription = "Logging";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.4 (REQ 80)";
@@ -1305,7 +1306,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When a notification is cancelled as described in REQ 66, the system shall record the following information in the 'Operational log': (1) date in dd/MM/yy format, (2) time in HH:MM:SS GMT, (3) description of the notification cancelled.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Every notification cancellation produces an operational log entry with all three fields.";
         attribute :>> subjectDescription = "Logging";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.4 (REQ 81)";
@@ -1318,7 +1319,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall allow only authorized clinicians to configure the system.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::cybersecurity;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Configuration is rejected for unauthorized users.";
         attribute :>> subjectDescription = "System configuration access";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.5 (REQ 82)";
@@ -1331,7 +1332,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall be unbreakable if it is dropped on a laminate floor from y m of height with no additional force than gravity.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::reliability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Drop from height y m (value left open by the source) onto laminate floor causes no breakage.";
         attribute :>> subjectDescription = "GPCA enclosure";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §5.1 (REQ 83)";
@@ -1342,7 +1343,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall be waterproof to non-acidic liquid of less than x ml on any side of the pump for a maximum of 2 hours.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::reliability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Exposure to < x ml (value left open by the source) non-acidic liquid for up to 2 hours causes no ingress failure.";
         attribute :>> subjectDescription = "GPCA enclosure";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §5.1 (REQ 84)";
@@ -1353,7 +1354,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall persist the most recent 30 days of error log data and 15 days of operational log data.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "error log retention >= Error_Log_Retention (30 days); operational log retention >= Operational_Log_Retention (15 days)";
         attribute :>> subjectDescription = "Logging";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §5.1 (REQ 85)";
@@ -1364,7 +1365,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The system shall persist the last saved prescription data for 15 days.";
         attribute :>> sourceKind = RequirementSourceKind::sourceDocument;
         attribute :>> concernKind = ConcernKind::regulatory;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "saved prescription retention >= Prescription_Persist_Duration (15 days)";
         attribute :>> subjectDescription = "Prescription storage";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §5.1 (REQ 86)";
@@ -1381,7 +1382,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "When a prescription parameter is entered, the system shall reject values outside drug-library hard limits and shall require explicit confirmation for values outside soft limits.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Hard-limit violations cannot be saved; soft-limit violations require a distinct confirmation step; both are logged.";
         attribute :>> subjectDescription = "Config";
         attribute :>> actorDescription = "clinician";
@@ -1400,7 +1401,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "On power-up, the system shall complete a self test of CPU, memory, watchdog, and safety sensors before permitting therapy, and shall remain locked out of therapy if any check fails.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Failed POST inhibits all infusion modes and raises a High-priority notification.";
         attribute :>> subjectDescription = "System_Monitor and Top_Level_Mode";
         attribute :>> actorDescription = "clinician";
@@ -1419,7 +1420,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "If all power is lost, the system shall retain the confirmed prescription and event log, and on power restoration shall resume therapy only after clinician confirmation.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Stored prescription checksum verifies after power cycle; therapy does not auto-resume. Retention durations remain governed by REQ-CS-85/86.";
         attribute :>> subjectDescription = "Config and Top_Level_Mode";
         attribute :>> actorDescription = "clinician";
@@ -1439,7 +1440,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Occlusion above threshold pauses infusion within one execution step and annunciates. Complements REQ-CS-17 under-infusion detection with a direct pressure measurement.";
         attribute :>> subjectDescription = "Alarm and Infusion_Manager";
         attribute :>> actorDescription = "patient";
@@ -1454,7 +1455,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Flow command forced to zero whenever door state is open; notification raised on transition during ACTIVE.";
         attribute :>> subjectDescription = "Infusion_Manager";
         attribute :>> actorDescription = "clinician";
@@ -1474,7 +1475,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Cumulative delivered volume in every one-hour window is at or below the prescribed maximum. Complements the CriSys total-VTBI ceiling (REQ-CS-20, REQ-CS-28).";
         attribute :>> subjectDescription = "Infusion_Manager";
         attribute :>> actorDescription = "patient";
@@ -1489,7 +1490,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::regulatory;
         attribute :>> safetyClass = SafetyClassKind::B;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Modification of a stored log entry is detectable. Log content and cadence are governed by REQ-CS-77..81; retention by REQ-CS-85.";
         attribute :>> subjectDescription = "Logging";
         attribute :>> actorDescription = "clinician and auditor";
@@ -1504,7 +1505,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Induced CPU hang results in zero flow and alarm within the watchdog timeout.";
         attribute :>> subjectDescription = "System_Monitor and watchdog hardware";
         attribute :>> actorDescription = "clinician";
@@ -1524,7 +1525,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Continuous assertion beyond 60 s produces no bolus and raises a notification. Complements REQ-CS-25/26 request-level filtering with an input-failure check.";
         attribute :>> subjectDescription = "Infusion_Manager";
         attribute :>> actorDescription = "patient";
@@ -1539,7 +1540,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Injected flow deviation beyond Tolerance_Min_const (5 %) sustained past Max_Duration_OverInfusion_const pauses therapy and annunciates; detection is independent of motor control.";
         attribute :>> subjectDescription = "Alarm and Infusion_Manager";
         attribute :>> actorDescription = "patient";
@@ -1553,7 +1554,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The pump mechanism shall deliver programmed volumes with an accuracy of plus or minus Tolerance_Min_const (5 percent) over the full rate range, so that the system-level flow tolerances of REQ-CS-16 are achievable.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::performance;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Gravimetric bench test across min/nominal/max rates within ±5% (Tolerance_Min_const).";
         attribute :>> subjectDescription = "PumpMotorAssembly";
         attribute :>> actorDescription = "patient";
@@ -1568,7 +1569,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The audible annunciator shall produce notification tones at the sound level defined by Audio_level_const (50 db for 2 seconds per interface spec I 8), distinguishable by priority.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::usability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Calibrated SPL measurement meets Audio_level_const for each priority tone.";
         attribute :>> subjectDescription = "AudibleAlarmAnnunciator";
         attribute :>> actorDescription = "clinician";
@@ -1583,7 +1584,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The battery shall sustain nominal therapy and alarm annunciation for at least 4 hours after loss of mains power.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::reliability;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "Discharge test at nominal rate exceeds 4 h with low-battery warning at 30 min remaining.";
         attribute :>> subjectDescription = "BatteryPack";
         attribute :>> actorDescription = "clinician";
@@ -1598,7 +1599,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_requirements {
         attribute :>> statement = "The fluid path shall include a mechanical anti-free-flow valve that blocks gravity flow whenever the administration set is disengaged from the pumping mechanism.";
         attribute :>> sourceKind = RequirementSourceKind::extension;
         attribute :>> concernKind = ConcernKind::safety;
-        attribute :>> requirementStatus = RequirementStatusKind::approved;
+        attribute :>> status = ElementStatusKind::approved;
         attribute :>> acceptanceCriteria = "No measurable flow under gravity head with set disengaged and door open.";
         attribute :>> subjectDescription = "AntiFreeFlowValve";
         attribute :>> actorDescription = "patient";