@memoarchitect/ontology 0.7.0 → 0.8.24

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

@@ -1,5 +1,6 @@
 package memo_examples_gpca_pump_gpca_operational {
     private import ScalarValues::*;
+    private import ModelingMetadata::*;
 
     private import memo_architecture_operational_structure::*;
     private import memo_architecture_operational_activities::*;
@@ -8,6 +9,7 @@ package memo_examples_gpca_pump_gpca_operational {
     private import memo_architecture_operational_workflows::*;
     private import memo_core_enumerations::*;
     private import memo_examples_gpca_pump_gpca_context::*;
+    private import memo_examples_gpca_pump_gpca_system::*;
     private import memo_core_relationships::*;
 
     // ── Operational entities beyond the human actors ────────────
@@ -76,7 +78,7 @@ package memo_examples_gpca_pump_gpca_operational {
     }
 
     // ── Operational activities (therapy lifecycle) ──────────────
-    action oaPrescribe : OperationalActivity {
+    action oaPrescribe : OperativeAction {
         attribute :>> id = "OA-001";
         attribute :>> name = "PrescribeTherapy";
         attribute :>> trigger = "patient requires titrated analgesia";
@@ -84,7 +86,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "prescription with basal rate, bolus volume, lockout, and max dose limits exists";
         attribute :>> criticality = CriticalityKind::high;
     }
-    action oaLoadReservoir : OperationalActivity {
+    action oaLoadReservoir : OperativeAction {
         attribute :>> id = "OA-002";
         attribute :>> name = "LoadDrugReservoir";
         attribute :>> trigger = "prescription issued or reservoir empty";
@@ -92,7 +94,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "reservoir mounted, door closed and latched";
         attribute :>> criticality = CriticalityKind::high;
     }
-    action oaProgram : OperationalActivity {
+    action oaProgram : OperativeAction {
         attribute :>> id = "OA-003";
         attribute :>> name = "ProgramPrescription";
         attribute :>> trigger = "reservoir loaded";
@@ -100,7 +102,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "prescription entered, checked against pharmacy-database safe values (I 9-I 11), and confirmed by second review";
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
-    action oaStartTherapy : OperationalActivity {
+    action oaStartTherapy : OperativeAction {
         attribute :>> id = "OA-004";
         attribute :>> name = "StartInfusion";
         attribute :>> trigger = "prescription confirmed";
@@ -108,7 +110,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "basal infusion running";
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
-    action oaRequestBolus : OperationalActivity {
+    action oaRequestBolus : OperativeAction {
         attribute :>> id = "OA-005";
         attribute :>> name = "RequestPatientBolus";
         attribute :>> trigger = "patient presses bolus request button";
@@ -116,7 +118,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "bolus delivered, or request ignored when lockout or max-dose limits apply";
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
-    action oaRespondAlarm : OperationalActivity {
+    action oaRespondAlarm : OperativeAction {
         attribute :>> id = "OA-006";
         attribute :>> name = "RespondToAlarm";
         attribute :>> trigger = "audible or visual alarm annunciated";
@@ -124,7 +126,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "cause resolved and therapy resumed, or therapy stopped";
         attribute :>> criticality = CriticalityKind::catastrophic;
     }
-    action oaReviewLog : OperationalActivity {
+    action oaReviewLog : OperativeAction {
         attribute :>> id = "OA-007";
         attribute :>> name = "ReviewEventLog";
         attribute :>> trigger = "shift change, incident review, or dose audit";
@@ -132,7 +134,7 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> postCondition = "delivered doses and alarm history reviewed";
         attribute :>> criticality = CriticalityKind::medium;
     }
-    action oaMaintain : OperationalActivity {
+    action oaMaintain : OperativeAction {
         attribute :>> id = "OA-008";
         attribute :>> name = "MaintainDevice";
         attribute :>> trigger = "scheduled maintenance or fault";
@@ -154,6 +156,11 @@ package memo_examples_gpca_pump_gpca_operational {
         ref :>> primaryUser = actorNurse;
         ref :>> supportingActors = (actorPatient, actorPrescriber, actorPharmacist);
         ref :>> useContext = hospitalWardContext;
+        subject supportingSystem;
+        actor nurseInitiator = actorNurse;
+        actor patientActor = actorPatient;
+        actor prescriberActor = actorPrescriber;
+        actor pharmacistActor = actorPharmacist;
     }
 
     action wfPrepareAndStartTherapy : OperationalWorkflow {
@@ -161,63 +168,37 @@ package memo_examples_gpca_pump_gpca_operational {
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "A valid prescription and prepared reservoir are available.";
         attribute :>> completionCondition = "Therapy is started with confirmed prescription limits.";
+
     }
     action wfManageActiveTherapy : OperationalWorkflow {
         attribute :>> name = "ManageActiveTherapy";
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "Basal therapy is active.";
         attribute :>> completionCondition = "A bolus is handled or active therapy continues safely.";
+
+        // Refinement targets a nested step by its local name — the shorthand's
+        // `to` end does not accept a qualified path — so this is written
+        // inside wsRequestBolus's own owning scope rather than at package
+        // level.
+        #refinement dependency fcsBolusSense to oaRequestBolus;
+        #refinement dependency fcsBolusValidate to oaRequestBolus;
+        #refinement dependency fcsBolusCommand to oaRequestBolus;
+        #refinement dependency fcsBolusActuate to oaRequestBolus;
+        #refinement dependency fcsBolusLog to oaRequestBolus;
     }
     action wfRespondToTherapyAlarm : OperationalWorkflow {
         attribute :>> name = "RespondToTherapyAlarm";
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "A therapy alarm or degraded condition is detected.";
         attribute :>> completionCondition = "The pump is safe and the clinician has resolved or escalated the condition.";
-    }
-    action wsProgram : WorkflowStep { ref :>> performedActivity = oaProgram; }
-    action wsStart : WorkflowStep { ref :>> performedActivity = oaStartTherapy; }
-    action wsRequestBolus : WorkflowStep { ref :>> performedActivity = oaRequestBolus; }
-    action wsRespondAlarm : WorkflowStep { ref :>> performedActivity = oaRespondAlarm; }
-    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfPrepareAndStartTherapy to supported ::> ucDeliverPcaTherapy; }
-    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfManageActiveTherapy to supported ::> ucDeliverPcaTherapy; }
-    connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfRespondToTherapyAlarm to supported ::> ucDeliverPcaTherapy; }
-    connection : Composes connect parent ::> wfPrepareAndStartTherapy to child ::> wsProgram;
-    connection : Composes connect parent ::> wfPrepareAndStartTherapy to child ::> wsStart;
-    connection : Composes connect parent ::> wfManageActiveTherapy to child ::> wsRequestBolus;
-    connection : Composes connect parent ::> wfRespondToTherapyAlarm to child ::> wsRespondAlarm;
 
-    // ── Scenario-owned operational activities and action flows ──
-    action oaCompleteNominalTherapy : OperationalActivity {
-        attribute :>> name = "CompleteNominalTherapy";
-        action deliverWithinLimits; action recordTherapyEvent;
-        first start then deliverWithinLimits; first deliverWithinLimits then recordTherapyEvent; first recordTherapyEvent then done;
-    }
-    action oaRejectBolusDuringLockout : OperationalActivity {
-        attribute :>> name = "RejectBolusDuringLockout";
-        action checkLockout; action rejectAndLog;
-        first start then checkLockout; first checkLockout then rejectAndLog; first rejectAndLog then done;
-    }
-    action oaRespondToOcclusion : OperationalActivity {
-        attribute :>> name = "RespondToOcclusion";
-        action pauseInfusion; action annunciateOcclusion; action resolveAndResume;
-        first start then pauseInfusion; first pauseInfusion then annunciateOcclusion; first annunciateOcclusion then resolveAndResume; first resolveAndResume then done;
-    }
-    action oaRespondToAirInLine : OperationalActivity {
-        attribute :>> name = "RespondToAirInLine";
-        action stopOrKvo; action annunciateAir; action reprimeAndRestart;
-        first start then stopOrKvo; first stopOrKvo then annunciateAir; first annunciateAir then reprimeAndRestart; first reprimeAndRestart then done;
-    }
-    action oaReplaceEmptyReservoir : OperationalActivity {
-        attribute :>> name = "ReplaceEmptyReservoir";
-        action stopAndAnnunciate; action replaceReservoir; action resumeTherapy;
-        first start then stopAndAnnunciate; first stopAndAnnunciate then replaceReservoir; first replaceReservoir then resumeTherapy; first resumeTherapy then done;
-    }
-    action oaRecoverAfterPowerLoss : OperationalActivity {
-        attribute :>> name = "RecoverAfterPowerLoss";
-        action switchToBattery; action restorePrescription; action confirmRestart;
-        first start then switchToBattery; first switchToBattery then restorePrescription; first restorePrescription then confirmRestart; first confirmRestart then done;
+        #refinement dependency fcsAlarmSense to oaRespondAlarm;
+        #refinement dependency fcsAlarmEvaluate to oaRespondAlarm;
+        #refinement dependency fcsAlarmStopInfusion to oaRespondAlarm;
+        #refinement dependency fcsAlarmAnnunciate to oaRespondAlarm;
     }
 
+
     // ── Operational capabilities ────────────────────────────────
     part ocTitratedAnalgesia : OperationalCapability {
         attribute :>> id = "OC-001";
@@ -238,101 +219,114 @@ package memo_examples_gpca_pump_gpca_operational {
     action osNominalTherapy : OperativeScenario {
         attribute :>> id = "OS-001";
         attribute :>> name = "NominalTherapySession";
-        attribute :>> variantKind = ScenarioVariantKind::nominal;
-        attribute :>> operationalCondition = OperationalConditionKind::normal;
         attribute :>> preCondition = "prescription issued, reservoir loaded";
         attribute :>> postCondition = "therapy completed and stopped by clinician";
         attribute :>> pathSummary = "Prescribe > load reservoir > program and confirm > start basal > patient boluses within limits > stop therapy > review log.";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §2.2 Main GPCA System Functions";
-        ref :>> parentWorkflow = wfManageActiveTherapy;
-        ref :>> parentUseCase = ucDeliverPcaTherapy;
-        ref :>> activities = oaCompleteNominalTherapy;
+
+        action oaCompleteNominalTherapy : OperativeAction {
+            attribute :>> name = "CompleteNominalTherapy";
+            action deliverWithinLimits; action recordTherapyEvent;
+            first start then deliverWithinLimits; first deliverWithinLimits then recordTherapyEvent; first recordTherapyEvent then done;
+        }
     }
     action osLockoutBolus : OperativeScenario {
+        attribute :>> scenarioKind = ScenarioKind::alternate;
         attribute :>> id = "OS-002";
         attribute :>> name = "BolusRequestDuringLockout";
-        attribute :>> variantKind = ScenarioVariantKind::alternate;
-        attribute :>> variationPoint = "patient bolus request during the nominal therapy lockout interval";
-        attribute :>> operationalCondition = OperationalConditionKind::foreseeableMisuse;
         attribute :>> preCondition = "basal infusion active; lockout interval running";
         attribute :>> postCondition = "request ignored, logged; basal continues unchanged";
         attribute :>> pathSummary = "Patient presses bolus button during lockout > infusion manager rejects request > event logged > no additional drug delivered.";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9 PATIENT BOLUS mode (lockout requirements)";
-        ref :>> parentWorkflow = wfManageActiveTherapy;
-        ref :>> parentUseCase = ucDeliverPcaTherapy;
-        ref :>> baseScenario = osNominalTherapy;
-        ref :>> activities = oaRejectBolusDuringLockout;
+
+        action oaRejectBolusDuringLockout : OperativeAction {
+            attribute :>> name = "RejectBolusDuringLockout";
+            action checkLockout; action rejectAndLog;
+            first start then checkLockout; first checkLockout then rejectAndLog; first rejectAndLog then done;
+        }
     }
     action osOcclusionAlarm : OperativeScenario {
+        attribute :>> scenarioKind = ScenarioKind::alternate;
         attribute :>> id = "OS-003";
         attribute :>> name = "OcclusionDetectedDuringInfusion";
-        attribute :>> variantKind = ScenarioVariantKind::exception;
-        attribute :>> variationPoint = "occlusion detected while nominal infusion is active";
-        attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active; downstream line becomes blocked";
         attribute :>> postCondition = "infusion paused, alarm annunciated, clinician clears occlusion and resumes";
         attribute :>> pathSummary = "Occlusion sensor exceeds pressure threshold > alarm raised same step > infusion paused > audible and visual annunciation > clinician resolves and resumes.";
         attribute :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.2 Alarms and Alerts (occlusion)";
-        ref :>> parentWorkflow = wfRespondToTherapyAlarm;
-        ref :>> parentUseCase = ucDeliverPcaTherapy;
-        ref :>> baseScenario = osNominalTherapy;
-        ref :>> activities = oaRespondToOcclusion;
+
+        action oaRespondToOcclusion : OperativeAction {
+            attribute :>> name = "RespondToOcclusion";
+            action pauseInfusion; action annunciateOcclusion; action resolveAndResume;
+            first start then pauseInfusion; first pauseInfusion then annunciateOcclusion; first annunciateOcclusion then resolveAndResume; first resolveAndResume then done;
+        }
     }
     action osAirInLine : OperativeScenario {
+        attribute :>> scenarioKind = ScenarioKind::alternate;
         attribute :>> id = "OS-004";
         attribute :>> name = "AirInLineDetected";
-        attribute :>> variantKind = ScenarioVariantKind::exception;
-        attribute :>> variationPoint = "air-in-line detected while nominal infusion is active";
-        attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active; air bubble enters tubing";
         attribute :>> postCondition = "infusion stopped before air reaches patient; alarm annunciated";
         attribute :>> pathSummary = "Air-in-line sensor detects bubble above threshold > transition to PAUSED (KVO flow) > High-priority Air embolism notification > clinician re-primes line and restarts.";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Air embolism)";
-        ref :>> parentWorkflow = wfRespondToTherapyAlarm;
-        ref :>> parentUseCase = ucDeliverPcaTherapy;
-        ref :>> baseScenario = osNominalTherapy;
-        ref :>> activities = oaRespondToAirInLine;
+
+        action oaRespondToAirInLine : OperativeAction {
+            attribute :>> name = "RespondToAirInLine";
+            action stopOrKvo; action annunciateAir; action reprimeAndRestart;
+            first start then stopOrKvo; first stopOrKvo then annunciateAir; first annunciateAir then reprimeAndRestart; first reprimeAndRestart then done;
+        }
     }
     action osEmptyReservoir : OperativeScenario {
+        attribute :>> scenarioKind = ScenarioKind::alternate;
         attribute :>> id = "OS-005";
         attribute :>> name = "ReservoirEmptyDuringTherapy";
-        attribute :>> variantKind = ScenarioVariantKind::exception;
-        attribute :>> variationPoint = "reservoir-empty threshold reached during nominal therapy";
-        attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active; reservoir volume reaches empty threshold";
         attribute :>> postCondition = "infusion stopped, alarm raised, reservoir replaced";
         attribute :>> pathSummary = "Reservoir-empty condition detected > transition to PAUSED (KVO flow) > High-priority Empty Reservoir notification > clinician loads new reservoir > therapy resumed with saved prescription.";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.3 Notification Requirements (REQ 59: Empty Reservoir)";
-        ref :>> parentWorkflow = wfRespondToTherapyAlarm;
-        ref :>> parentUseCase = ucDeliverPcaTherapy;
-        ref :>> baseScenario = osNominalTherapy;
-        ref :>> activities = oaReplaceEmptyReservoir;
+
+        action oaReplaceEmptyReservoir : OperativeAction {
+            attribute :>> name = "ReplaceEmptyReservoir";
+            action stopAndAnnunciate; action replaceReservoir; action resumeTherapy;
+            first start then stopAndAnnunciate; first stopAndAnnunciate then replaceReservoir; first replaceReservoir then resumeTherapy; first resumeTherapy then done;
+        }
     }
     action osPowerLoss : OperativeScenario {
+        attribute :>> scenarioKind = ScenarioKind::alternate;
         attribute :>> id = "OS-006";
         attribute :>> name = "MainsPowerLossAndRecovery";
-        attribute :>> variantKind = ScenarioVariantKind::recovery;
-        attribute :>> variationPoint = "mains supply lost during nominal therapy";
-        attribute :>> operationalCondition = OperationalConditionKind::degraded;
         attribute :>> preCondition = "therapy active on mains power";
         attribute :>> postCondition = "therapy continues on battery; prescription preserved across full power loss";
         attribute :>> pathSummary = "Mains lost > battery takes over with notification > if battery depletes, pump stops safely > on power restore, saved prescription recovered and therapy resumed only after clinician confirmation.";
         attribute :>> sourceReference = "CITE-004: GIP Hazard Analysis v1.0 (2009), §2.4.3 Electrical Hazards (battery failure)";
-        ref :>> parentWorkflow = wfRespondToTherapyAlarm;
-        ref :>> parentUseCase = ucDeliverPcaTherapy;
-        ref :>> baseScenario = osNominalTherapy;
-        ref :>> activities = oaRecoverAfterPowerLoss;
-    }
-    connection : Realizes connect realizing ::> osNominalTherapy to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osLockoutBolus to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osOcclusionAlarm to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osAirInLine to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osEmptyReservoir to realized ::> ucDeliverPcaTherapy;
-    connection : Realizes connect realizing ::> osPowerLoss to realized ::> ucDeliverPcaTherapy;
-    connection : Composes connect parent ::> osNominalTherapy to child ::> oaCompleteNominalTherapy;
-    connection : Composes connect parent ::> osLockoutBolus to child ::> oaRejectBolusDuringLockout;
-    connection : Composes connect parent ::> osOcclusionAlarm to child ::> oaRespondToOcclusion;
-    connection : Composes connect parent ::> osAirInLine to child ::> oaRespondToAirInLine;
-    connection : Composes connect parent ::> osEmptyReservoir to child ::> oaReplaceEmptyReservoir;
-    connection : Composes connect parent ::> osPowerLoss to child ::> oaRecoverAfterPowerLoss;
+
+        action oaRecoverAfterPowerLoss : OperativeAction {
+            attribute :>> name = "RecoverAfterPowerLoss";
+            action switchToBattery; action restorePrescription; action confirmRestart;
+            first start then switchToBattery; first switchToBattery then restorePrescription; first restorePrescription then confirmRestart; first confirmRestart then done;
+        }
+    }
+    #refinement dependency osNominalTherapy to ucDeliverPcaTherapy;
+    #refinement dependency osLockoutBolus to ucDeliverPcaTherapy;
+    #refinement dependency osOcclusionAlarm to ucDeliverPcaTherapy;
+    #refinement dependency osAirInLine to ucDeliverPcaTherapy;
+    #refinement dependency osEmptyReservoir to ucDeliverPcaTherapy;
+    #refinement dependency osPowerLoss to ucDeliverPcaTherapy;
+
+    // ── Operational trace relations ─────────────────────────────
+    connection : RealizesUseCase connect realizingWorkflow ::> wfPrepareAndStartTherapy to realizedUseCase ::> ucDeliverPcaTherapy;
+    connection : RealizesUseCase connect realizingWorkflow ::> wfManageActiveTherapy to realizedUseCase ::> ucDeliverPcaTherapy;
+    connection : RealizesUseCase connect realizingWorkflow ::> wfRespondToTherapyAlarm to realizedUseCase ::> ucDeliverPcaTherapy;
+    connection : EnablesUseCase connect enablingCapability ::> ocTitratedAnalgesia to enabledUseCase ::> ucDeliverPcaTherapy;
+    connection : EnablesUseCase connect enablingCapability ::> ocFailSafeTherapy to enabledUseCase ::> ucDeliverPcaTherapy;
+    connection : RequiresCapability connect requiringIntendedUse ::> gpcaIntendedUse to requiredCapability ::> ocTitratedAnalgesia;
+    connection : RequiresCapability connect requiringIntendedUse ::> gpcaIntendedUse to requiredCapability ::> ocFailSafeTherapy;
+
+
+    connection : HasScenario connect owningWorkflow ::> wfManageActiveTherapy to pathScenario ::> osNominalTherapy;
+    connection : HasScenario connect owningWorkflow ::> wfManageActiveTherapy to pathScenario ::> osLockoutBolus;
+    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osOcclusionAlarm;
+    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osAirInLine;
+    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osEmptyReservoir;
+    connection : HasScenario connect owningWorkflow ::> wfRespondToTherapyAlarm to pathScenario ::> osPowerLoss;
+
 }

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

@@ -15,39 +15,34 @@ package memo_examples_gpca_pump_gpca_physical {
         attribute :>> redundancyKind = "hardware watchdog plus independent flow cross-check";
     }
 
-    part portSensorHarness : PhysicalPort {
+    in port portSensorHarness : PhysicalPort {
         attribute :>> id = "PP-001";
         attribute :>> name = "SensorHarnessConnector";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "keyed 12-pin locking header";
-        attribute :>> direction = DirectionKind::input;
     }
-    part portMotorDrive : PhysicalPort {
+    out port portMotorDrive : PhysicalPort {
         attribute :>> id = "PP-002";
         attribute :>> name = "MotorDriveConnector";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "keyed 6-pin locking header with enable interlock";
-        attribute :>> direction = DirectionKind::output;
     }
-    part portPatientPendant : PhysicalPort {
+    in port portPatientPendant : PhysicalPort {
         attribute :>> id = "PP-003";
         attribute :>> name = "PatientPendantJack";
         attribute :>> portKind = InterfaceKind::digitalSignal;
         attribute :>> connectorType = "latching 3.5 mm pendant jack";
-        attribute :>> direction = DirectionKind::input;
     }
-    part portServiceAccess : PhysicalPort {
+    inout port portServiceAccess : PhysicalPort {
         attribute :>> id = "PP-004";
         attribute :>> name = "ServiceMaintenancePort";
         attribute :>> portKind = InterfaceKind::api;
         attribute :>> connectorType = "covered UART/USB service connector";
-        attribute :>> direction = DirectionKind::inputOutput;
     }
-    part portMainsInlet : PhysicalPort {
+    in port portMainsInlet : PhysicalPort {
         attribute :>> id = "PP-005";
         attribute :>> name = "MainsPowerInlet";
         attribute :>> portKind = InterfaceKind::power;
         attribute :>> connectorType = "IEC 60320 C8 inlet";
-        attribute :>> direction = DirectionKind::input;
     }
 }