@memoarchitect/ontology 0.13.2 → 0.15.1

package/examples/nested-architecture-dsm/model/catalog/architecture/operational/context.sysml

@@ -15,8 +15,7 @@ package memo_examples_nested_architecture_dsm_architecture_operational_context {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part usrWardNurse : User {
-        @MemoIdentity { :>> providedId = "NDS-USR-001"; }
-        attribute :>> name = "WardNurse";
+        @MemoIdentity { :>> providedId = "NDS-USR-001"; :>> label = "WardNurse"; }
         attribute :>> userPopulation = "ward nurses";
         attribute :>> impairmentConsiderations = "some wear corrective lenses; display legibility at bedside distance";
         attribute :>> intendedTraining = "device orientation at ward induction";
@@ -25,8 +24,7 @@ package memo_examples_nested_architecture_dsm_architecture_operational_context {
     }
 
     part ctxIntraHospitalTransport : UseContext {
-        @MemoIdentity { :>> providedId = "NDS-CTX-001"; }
-        attribute :>> name = "IntraHospitalTransport";
+        @MemoIdentity { :>> providedId = "NDS-CTX-001"; :>> label = "IntraHospitalTransport"; }
         attribute :>> careSetting = "inpatient ward and transfer between wards";
         attribute :>> environment = "moving bed, up to four hours away from mains power";
         attribute :>> connectedUse = false;

package/examples/nested-architecture-dsm/model/catalog/assurance/requirements/needs.sysml

@@ -14,26 +14,26 @@ package memo_examples_nested_architecture_dsm_assurance_requirements_needs {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     requirement needAccurateTherapy : Need {
-        @MemoIdentity { :>> providedId = "NDS-NEED-001"; } attribute :>> name = "AccurateTherapyDelivery";
+        @MemoIdentity { :>> providedId = "NDS-NEED-001"; :>> label = "AccurateTherapyDelivery"; }
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Clinicians need the delivered dose to match the prescription closely enough to be clinically safe.";
         attribute :>> priority = "high";
     }
     requirement needProtectionFromHarm : Need {
-        @MemoIdentity { :>> providedId = "NDS-NEED-002"; } attribute :>> name = "ProtectionFromDeliveryFaults";
+        @MemoIdentity { :>> providedId = "NDS-NEED-002"; :>> label = "ProtectionFromDeliveryFaults"; }
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Patients need delivery to stop before a line fault or air bolus reaches them.";
         attribute :>> priority = "high";
     }
     requirement needUninterruptedTherapy : Need {
-        @MemoIdentity { :>> providedId = "NDS-NEED-003"; } attribute :>> name = "UninterruptedTherapy";
+        @MemoIdentity { :>> providedId = "NDS-NEED-003"; :>> label = "UninterruptedTherapy"; }
         attribute :>> needKind = NeedKind::operational;
         attribute :>> statement = "Wards need therapy to continue through transport and mains interruptions.";
         attribute :>> priority = "medium";
         ref :>> useContext = ctxIntraHospitalTransport;
     }
     requirement needLegibleStatus : Need {
-        @MemoIdentity { :>> providedId = "NDS-NEED-004"; } attribute :>> name = "LegibleTherapyStatus";
+        @MemoIdentity { :>> providedId = "NDS-NEED-004"; :>> label = "LegibleTherapyStatus"; }
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Clinicians need to read therapy state and alarms correctly from the bedside.";
         attribute :>> priority = "high";

package/examples/nested-architecture-dsm/model/catalog/assurance/requirements/requirements.sysml

@@ -13,7 +13,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     requirement reqDoseAccuracy : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-001"; } attribute :>> name = "DoseAccuracy";
+        @MemoIdentity { :>> providedId = "NDS-REQ-001"; :>> label = "DoseAccuracy"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The pump shall deliver the prescribed volume within ±5% over any 60-minute window.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -22,7 +22,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::clinical;
     }
     requirement reqOcclusionDetection : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-002"; } attribute :>> name = "OcclusionDetection";
+        @MemoIdentity { :>> providedId = "NDS-REQ-002"; :>> label = "OcclusionDetection"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "When line pressure exceeds the occlusion threshold, the pump shall stop delivery within 2 seconds.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -33,7 +33,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::safety;
     }
     requirement reqAirInLine : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-003"; } attribute :>> name = "AirInLineProtection";
+        @MemoIdentity { :>> providedId = "NDS-REQ-003"; :>> label = "AirInLineProtection"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "When an air bolus above 0.1 mL is detected, the pump shall stop delivery and raise a high-priority alarm.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -44,7 +44,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::safety;
     }
     requirement reqAlarmAnnunciation : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-004"; } attribute :>> name = "AlarmAnnunciation";
+        @MemoIdentity { :>> providedId = "NDS-REQ-004"; :>> label = "AlarmAnnunciation"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "While any alarm condition is active, the pump shall present its IEC 60601-1-8 signal until the condition clears or is acknowledged.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -56,7 +56,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> safetyClass = SafetyClassKind::C;
     }
     requirement reqBatteryEndurance : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-005"; } attribute :>> name = "BatteryEndurance";
+        @MemoIdentity { :>> providedId = "NDS-REQ-005"; :>> label = "BatteryEndurance"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "On loss of mains power, the pump shall continue delivery for at least 4 hours at 25 mL/h.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -67,7 +67,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
         attribute :>> concernKind = ConcernKind::reliability;
     }
     requirement reqPrescriptionConfirmation : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-006"; } attribute :>> name = "PrescriptionConfirmation";
+        @MemoIdentity { :>> providedId = "NDS-REQ-006"; :>> label = "PrescriptionConfirmation"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "When the clinician changes the infusion rate, the pump shall require explicit confirmation before applying it.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -80,7 +80,7 @@ package memo_examples_nested_architecture_dsm_assurance_requirements {
     }
     // Untraced on purpose — the gap the traceability view is meant to find.
     requirement reqStatusVisibility : Requirement {
-        @MemoIdentity { :>> providedId = "NDS-REQ-007"; } attribute :>> name = "StatusVisibility";
+        @MemoIdentity { :>> providedId = "NDS-REQ-007"; :>> label = "StatusVisibility"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The pump shall display the active rate and volume delivered legibly at 1 m.";
         attribute :>> notation = RequirementNotationKind::sophist;

package/examples/nested-architecture-dsm/model/catalog/assurance/verification_validation/verification_validation.sysml

@@ -13,7 +13,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     verification vcDoseAccuracy : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-001"; } attribute :>> name = "VerifyDoseAccuracy";
+        @MemoIdentity { :>> providedId = "NDS-VER-001"; :>> label = "VerifyDoseAccuracy"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Gravimetric delivery over 60 minutes is within ±5% of the prescribed volume at 1, 25 and 999 mL/h.";
         attribute :>> status = ElementStatusKind::approved;
@@ -22,7 +22,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnDeliverTherapy, fnDeliverTherapy.fnMeterFluid, fnDeliverTherapy.fnMeterFluid.fnDriveActuator, fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered, fnDeliverTherapy.fnControlDose, fnDeliverTherapy.fnControlDose.fnComputeRate);
     }
     verification vcOcclusionResponse : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-002"; } attribute :>> name = "VerifyOcclusionResponse";
+        @MemoIdentity { :>> providedId = "NDS-VER-002"; :>> label = "VerifyOcclusionResponse"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Delivery stops within 2 s of the occlusion threshold being crossed, at every supported rate.";
         attribute :>> status = ElementStatusKind::approved;
@@ -31,7 +31,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnEnsureSafety, fnEnsureSafety.fnDetectOcclusion, fnEnsureSafety.fnEnforceDoseLimits);
     }
     verification vcAirInLineResponse : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-003"; } attribute :>> name = "VerifyAirInLineResponse";
+        @MemoIdentity { :>> providedId = "NDS-VER-003"; :>> label = "VerifyAirInLineResponse"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A 0.1 mL air bolus stops delivery and raises a high-priority alarm.";
         attribute :>> status = ElementStatusKind::approved;
@@ -40,7 +40,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnEnsureSafety.fnDetectAirInLine);
     }
     verification vcAlarmSignals : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-004"; } attribute :>> name = "VerifyAlarmSignals";
+        @MemoIdentity { :>> providedId = "NDS-VER-004"; :>> label = "VerifyAlarmSignals"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Alarm signals conform to IEC 60601-1-8 for every priority, and persist until cleared or acknowledged.";
         attribute :>> status = ElementStatusKind::approved;
@@ -49,7 +49,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnInformUser.fnAnnunciateAlarm);
     }
     verification vcBatteryEndurance : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-005"; } attribute :>> name = "VerifyBatteryEndurance";
+        @MemoIdentity { :>> providedId = "NDS-VER-005"; :>> label = "VerifyBatteryEndurance"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Delivery continues for at least 4 hours at 25 mL/h from a fully charged battery after mains loss.";
         attribute :>> status = ElementStatusKind::approved;
@@ -58,7 +58,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnManagePower, fnManagePower.fnMonitorBattery);
     }
     verification vcConfirmationFlow : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-006"; } attribute :>> name = "VerifyConfirmationFlow";
+        @MemoIdentity { :>> providedId = "NDS-VER-006"; :>> label = "VerifyConfirmationFlow"; }
         attribute :>> methodKind = MemoVerificationMethodKind::demonstration;
         attribute :>> acceptanceCriteria = "No rate change reaches the controller without an explicit confirmation step.";
         attribute :>> status = ElementStatusKind::approved;
@@ -67,7 +67,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnDeliverTherapy.fnControlDose.fnValidatePrescription, fnInformUser.fnAcceptInput);
     }
     verification vcStatusLegibility : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-007"; } attribute :>> name = "VerifyStatusLegibility";
+        @MemoIdentity { :>> providedId = "NDS-VER-007"; :>> label = "VerifyStatusLegibility"; }
         attribute :>> methodKind = MemoVerificationMethodKind::inspection;
         attribute :>> acceptanceCriteria = "Rate and volume delivered are readable at 1 m under 100–1000 lux.";
         attribute :>> status = ElementStatusKind::approved;
@@ -76,7 +76,7 @@ package memo_examples_nested_architecture_dsm_assurance_verification_validation
         subject verified : Base::Anything[*] = (fnInformUser, fnInformUser.fnRenderStatus);
     }
     verification vcPowerSourceSwitch : VerificationCase {
-        @MemoIdentity { :>> providedId = "NDS-VER-008"; } attribute :>> name = "VerifyPowerSourceSwitch";
+        @MemoIdentity { :>> providedId = "NDS-VER-008"; :>> label = "VerifyPowerSourceSwitch"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Rail brownout switches source without interrupting delivery.";
         attribute :>> status = ElementStatusKind::approved;

package/examples/nested-architecture-dsm/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Nested architecture DSM — project identity and method binding.
+// Nested architecture DSM — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology governing it. No YAML file participates.
@@ -21,10 +21,9 @@ package memo_examples_nested_architecture_dsm_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-NESTED-DSM-001"; }
-        attribute :>> name = "NestedArchitectureDsmProjectMethodBinding";
-        attribute :>> projectName = "Nested Architecture DSM";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-NESTED-DSM-001"; :>> label = "NestedArchitectureDsmModelMethodBinding"; }
+        attribute :>> modelName = "Nested Architecture DSM";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/reusable-instrument/memo.package.yaml

@@ -1,3 +1,5 @@
 name: reusable-instrument
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
+toolchain:
+  packager: internal

package/examples/reusable-instrument/model/catalog/reusable_instrument.sysml

@@ -16,13 +16,13 @@ package memo_examples_reusable_instrument {
     private import memo_core_common::MemoIdentity;
     part sterileProcessingTech : User {
         attribute :>> actorKind = ActorKind::technician;
-        @MemoIdentity { :>> providedId = "RI-USR-001"; } attribute :>> name = "SterileProcessingTechnician";
+        @MemoIdentity { :>> providedId = "RI-USR-001"; :>> label = "SterileProcessingTechnician"; }
         attribute :>> serviceScope = "central sterile services department";
     }
 
     use case ucSterilize : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        @MemoIdentity { :>> providedId = "RI-UC-001"; } attribute :>> name = "SterilizeReusableInstrument";
+        @MemoIdentity { :>> providedId = "RI-UC-001"; :>> label = "SterilizeReusableInstrument"; }
         attribute :>> goalStatement = "Return a used instrument to sterile, functional condition for the next case.";
         attribute :>> preCondition = "instrument collected from the OR; gross soil removed at point of use";
         attribute :>> successOutcome = "instrument cleaned, inspected, sterilized, and released to sterile storage";
@@ -32,12 +32,12 @@ package memo_examples_reusable_instrument {
 
     // Reprocessing workflow: exists independently of any single instrument.
     action wfReprocess : OperationalWorkflow {
-        @MemoIdentity { :>> providedId = "RI-WF-001"; } attribute :>> name = "InstrumentReprocessingWorkflow";
+        @MemoIdentity { :>> providedId = "RI-WF-001"; :>> label = "InstrumentReprocessingWorkflow"; }
         attribute :>> workflowState = WorkflowStateKind::asIs;
         attribute :>> entryCondition = "used instrument received in decontamination";
         attribute :>> completionCondition = "sterile pack released to storage";
         action scNominalCycle : OperativeScenario {
-            @MemoIdentity { :>> providedId = "RI-SC-001"; } attribute :>> name = "NominalReprocessingCycle";
+            @MemoIdentity { :>> providedId = "RI-SC-001"; :>> label = "NominalReprocessingCycle"; }
 
             perform actClean;
             perform actInspect;
@@ -47,15 +47,15 @@ package memo_examples_reusable_instrument {
         }
     }
     action actClean : OperativeAction {
-        @MemoIdentity { :>> providedId = "RI-ACT-001"; } attribute :>> name = "CleanAndDisinfect";
+        @MemoIdentity { :>> providedId = "RI-ACT-001"; :>> label = "CleanAndDisinfect"; }
         attribute :>> criticality = CriticalityKind::high;
     }
     action actInspect : OperativeAction {
-        @MemoIdentity { :>> providedId = "RI-ACT-002"; } attribute :>> name = "InspectAndFunctionTest";
+        @MemoIdentity { :>> providedId = "RI-ACT-002"; :>> label = "InspectAndFunctionTest"; }
         attribute :>> criticality = CriticalityKind::high;
     }
     action actSterilizeLoad : OperativeAction {
-        @MemoIdentity { :>> providedId = "RI-ACT-003"; } attribute :>> name = "PackAndAutoclave";
+        @MemoIdentity { :>> providedId = "RI-ACT-003"; :>> label = "PackAndAutoclave"; }
         attribute :>> criticality = CriticalityKind::high;
     }
 

package/examples/reusable-instrument/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Reusable Instrument — project identity and method binding.
+// Reusable Instrument — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology it is governed by. No YAML file participates.
@@ -16,10 +16,9 @@ package memo_examples_reusable_instrument_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-REUSABLE-INSTRUMENT-001"; }
-        attribute :>> name = "ReusableInstrumentProjectMethodBinding";
-        attribute :>> projectName = "Reusable Instrument";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-REUSABLE-INSTRUMENT-001"; :>> label = "ReusableInstrumentModelMethodBinding"; }
+        attribute :>> modelName = "Reusable Instrument";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/robot-cell-family/README.md

@@ -0,0 +1,34 @@
+# Robot Cell Family
+
+A reference **product family**: one model, compiled once, holding a system of
+systems, what its systems share, and each system. The names are fictional.
+
+```text
+model/
+  methodology/project.sysml model identity and method binding (the entrypoint)
+  sos/                      the robot cell: the system of systems,
+                            its interface control documents, a functional chain
+                            across systems, and the clinical use cases
+  shared/                   signals, ports, a component and the users that more
+                            than one system needs
+  systems/navigation/          navigation system
+  systems/manipulation/         manipulation generator system
+  systems/perception/        signal perception system
+```
+
+**Direction of reference.** A system imports `shared/` and nothing else of the
+family; it never names the system of systems or another system. Only `sos/`
+names the systems together.
+
+**Use case scope comes from `subject`.** A clinical use case's subject is the
+cell; a system use case's subject is its system. The clinical use case
+`include`s the system use cases and binds each one's subject to the
+constituent that carries it out.
+
+**Interface control documents** are one `interface def` per pair of systems
+that exchange something, with the port types on both ends taken from
+`shared/`. The cell connects the systems' ports with them.
+
+This is the skeleton (milestone M0 of the product-family plan). Features,
+markets, release records, regulated devices, imported requirements and a
+shared platform package are added by later milestones.

package/examples/robot-cell-family/memo.identity.yaml

@@ -0,0 +1,142 @@
+# memo.identity.yaml — element identity registry (auto-generated)
+# Assigned once and never reassigned. COMMIT THIS FILE: deleting it does
+# not regenerate the same identities, it mints new ones, and every
+# external reference to a shortId or uuid then points at nothing.
+# Entries for deleted elements are retained so their numbers stay retired.
+
+elements:
+  "robot_cell_family_chains::wfMapGuidedPick":
+    shortId: "WFL-1"
+    uuid: "713583a3-7ac7-5248-82ed-4e8f4e6e9e9b"
+  "robot_cell_family_chains::wfMapGuidedPick::scMapGuidedPick":
+    shortId: "OPR-1"
+    uuid: "4d9847fb-1f64-58f1-9356-1c005b31b023"
+  "robot_cell_family_chains::wfMapGuidedPick::scMapGuidedPick::stepAcquire":
+    shortId: "ACT-1"
+    uuid: "d2dc1e61-52d5-58ab-a59b-74f48539a351"
+  "robot_cell_family_chains::wfMapGuidedPick::scMapGuidedPick::stepBuildMap":
+    shortId: "ACT-2"
+    uuid: "af2e726f-d76b-504d-b19d-f1900c79b724"
+  "robot_cell_family_chains::wfMapGuidedPick::scMapGuidedPick::stepGrasp":
+    shortId: "ACT-3"
+    uuid: "cde92060-28d2-5d96-a8ec-02321acfbe07"
+  "robot_cell_family_chains::wfMapGuidedPick::scMapGuidedPick::stepTag":
+    shortId: "ACT-4"
+    uuid: "352ea0e4-f42f-5d1d-9574-634aaa887d9c"
+  "robot_cell_family_icds::ManipulationToNavigationIcd":
+    shortId: "INT-1"
+    uuid: "9b2236d4-4d72-596c-8573-219a92fe86b2"
+  "robot_cell_family_icds::ManipulationToNavigationIcd::consumer":
+    shortId: "GRS-1"
+    uuid: "159885be-8457-5b8a-9b17-0e48b0aab101"
+  "robot_cell_family_icds::ManipulationToNavigationIcd::provider":
+    shortId: "GRS-2"
+    uuid: "fae45eb9-5718-5818-8af8-fc51dc86b8df"
+  "robot_cell_family_icds::PerceptionToNavigationIcd":
+    shortId: "INT-2"
+    uuid: "25296ccf-1311-596e-af95-201383e09b5d"
+  "robot_cell_family_icds::PerceptionToNavigationIcd::consumer":
+    shortId: "PNT-1"
+    uuid: "201d7327-4b2a-5428-b68a-dfe725663778"
+  "robot_cell_family_icds::PerceptionToNavigationIcd::provider":
+    shortId: "PNT-2"
+    uuid: "cfa6155d-78eb-5918-9e24-ef650aa40ecb"
+  "robot_cell_family_manipulation::ManipulatorSystem":
+    shortId: "SYS-2"
+    uuid: "cd712374-2dff-5e4d-8209-8113ecc24025"
+  "robot_cell_family_manipulation::ManipulatorSystem::motionController":
+    shortId: "LGC-1"
+    uuid: "e42137bd-da25-5982-a8cf-26e031c81811"
+  "robot_cell_family_manipulation::ManipulatorSystem::pGraspEventOut":
+    shortId: "GRS-3"
+    uuid: "41c1abc5-8e4b-58b8-8ac9-e11ddb157886"
+  "robot_cell_family_manipulation::fnExecuteGrasp":
+    shortId: "SYS-1"
+    uuid: "7295f77d-5d97-5fee-9c7b-f1b4a56bac31"
+  "robot_cell_family_manipulation::ucExecuteGrasp":
+    shortId: "USE-1"
+    uuid: "24de2ed8-8daa-584d-9d26-9a04486ac411"
+  "robot_cell_family_navigation::NavigationSystem":
+    shortId: "SYS-5"
+    uuid: "37d96a1d-c9e4-5509-a126-b015353a222b"
+  "robot_cell_family_navigation::NavigationSystem::mapEngine":
+    shortId: "LGC-2"
+    uuid: "11915261-083d-5c7d-87cf-faf40e77743b"
+  "robot_cell_family_navigation::NavigationSystem::pGraspEventIn":
+    shortId: "GRS-4"
+    uuid: "f3eecd4a-c700-5fc3-9fc5-05b6834149ae"
+  "robot_cell_family_navigation::NavigationSystem::pPointCloudIn":
+    shortId: "PNT-3"
+    uuid: "1a07c5ee-1f4a-5af1-9946-654cadfc1d37"
+  "robot_cell_family_navigation::NavigationSystem::safetyRelay":
+    shortId: "SFT-1"
+    uuid: "b07edb4b-823a-5666-b984-dfd60cfcf382"
+  "robot_cell_family_navigation::fnBuildMap":
+    shortId: "SYS-3"
+    uuid: "feaa0b74-80c8-534d-827b-4a91735b0732"
+  "robot_cell_family_navigation::fnTagGrasp":
+    shortId: "SYS-4"
+    uuid: "15ad4be9-f7e0-5679-ab59-3d83034bdb01"
+  "robot_cell_family_navigation::ucAcquireMap":
+    shortId: "USE-2"
+    uuid: "c5e5ba0c-9931-581d-973f-06771194bd5d"
+  "robot_cell_family_operational_use_cases::ucPerformPickAndPlace":
+    shortId: "USE-3"
+    uuid: "123bdce0-cc65-5f96-8314-015c040b0c44"
+  "robot_cell_family_perception::PerceptionSystem":
+    shortId: "SYS-7"
+    uuid: "6df2db5b-33af-572a-a508-5920c172ebd6"
+  "robot_cell_family_perception::PerceptionSystem::pPointCloudOut":
+    shortId: "PNT-4"
+    uuid: "f25021f5-4d77-5bab-a02f-67a44e13c9ff"
+  "robot_cell_family_perception::PerceptionSystem::safetyRelay":
+    shortId: "SFT-2"
+    uuid: "91b6697d-b81d-5f12-908d-36630bc4f12a"
+  "robot_cell_family_perception::PerceptionSystem::sensorHub":
+    shortId: "LGC-3"
+    uuid: "1ea7ccaa-19e9-5832-87ca-0fa090bd5d41"
+  "robot_cell_family_perception::fnAcquirePointClouds":
+    shortId: "SYS-6"
+    uuid: "b5526ffb-b286-51f3-8d37-bd85ccd39fed"
+  "robot_cell_family_perception::ucRecordRun":
+    shortId: "USE-4"
+    uuid: "7f1e7505-93cf-5ca9-8b0b-bb6e84c1c6b0"
+  "robot_cell_family_project::projectBinding":
+    shortId: "PRJ-1"
+    uuid: "90eedd56-862d-5c37-9e25-1de54d95e271"
+  "robot_cell_family_shared::GraspEvent":
+    shortId: "INT-3"
+    uuid: "3fe7b66a-c2fb-51d3-9179-e69c80841459"
+  "robot_cell_family_shared::GraspEventPort":
+    shortId: "LGC-4"
+    uuid: "43c9dbcb-2c98-5fc8-a515-17b0b864e8dd"
+  "robot_cell_family_shared::PointCloud":
+    shortId: "INT-4"
+    uuid: "d79cb0a4-0712-5b8a-a105-383ca7344c9d"
+  "robot_cell_family_shared::PointCloudPort":
+    shortId: "LGC-5"
+    uuid: "6cd1449d-366d-5e7f-96e2-2108c0d67373"
+  "robot_cell_family_shared::RobotPose":
+    shortId: "INT-5"
+    uuid: "035bdfc7-24d8-5d69-a62f-845ca325bee6"
+  "robot_cell_family_shared::cellOperator":
+    shortId: "USR-1"
+    uuid: "a28a5f53-c9e1-5b9d-93cd-343561e0566d"
+  "robot_cell_family_shared::cellTechnician":
+    shortId: "USR-2"
+    uuid: "1f86fe8c-5f54-5f9d-a198-4bb90d5c4c76"
+  "robot_cell_family_sos::RoboticCell":
+    shortId: "SYS-8"
+    uuid: "da8724b1-4a2b-5f67-aaf4-b572a8b4ed68"
+  "robot_cell_family_sos::RoboticCell::manipulation":
+    shortId: "MNP-1"
+    uuid: "2b20c821-510d-5903-b115-378036d2632c"
+  "robot_cell_family_sos::RoboticCell::navigation":
+    shortId: "NVG-1"
+    uuid: "336b2492-35fc-5841-9d09-7135a1083a3f"
+  "robot_cell_family_sos::RoboticCell::perception":
+    shortId: "PRC-1"
+    uuid: "8556b382-2518-50d8-8ae1-79cf75dff4d3"
+  "robot_cell_family_sos::robotCell":
+    shortId: "RBT-1"
+    uuid: "1ffe24b9-8326-5e45-9d84-0bd24aa26c4f"

package/examples/robot-cell-family/memo.package.yaml

@@ -0,0 +1,7 @@
+name: robot-cell-family
+entrypoint: model/methodology/project.sysml
+include: [model]
+toolchain:
+  packager: internal
+dependencies:
+  robot-platform: "^1.0.0"

package/examples/robot-cell-family/model/methodology/project.sysml

@@ -0,0 +1,30 @@
+// Robot Cell Family — model identity and method binding.
+//
+// A reference product family: one model, one compile, holding a system of
+// systems (`sos/`), what its systems share (`shared/`) and each system
+// (`systems/<system>/`). The names are fictional.
+package robot_cell_family_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    private import robot_cell_family_shared::*;
+    private import robot_cell_family_navigation::*;
+    private import robot_cell_family_manipulation::*;
+    private import robot_cell_family_perception::*;
+    private import robot_cell_family_icds::*;
+    private import robot_cell_family_sos::*;
+    private import robot_cell_family_chains::*;
+    private import robot_cell_family_operational_use_cases::*;
+
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "RCF-PMB-001"; :>> label = "RobotCellFamilyMethodBinding"; }
+        attribute :>> modelName = "Robot Cell Family";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

package/examples/robot-cell-family/model/shared/shared.sysml

@@ -0,0 +1,53 @@
+// What more than one system of the family uses: the signals that cross between
+// them, the ports that carry those signals, a component two systems both
+// contain, and the people who use the cell. A system imports this package and
+// nothing else of the family; it never names the system of systems or another
+// system.
+package robot_cell_family_shared {
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    private import memo_core_enumerations::*;
+    private import memo_architecture_logical_structure::*;
+    private import memo_architecture_logical_interfaces::*;
+    private import memo_architecture_operational_context_actors::*;
+
+    // ─── Signals that cross a system boundary ───────────────────────────
+    item def PointCloud specializes InterfaceItem {
+        @MemoIdentity { :>> providedId = "RCF-IT-001"; :>> label = "Point Cloud"; }
+        doc /* Sampled range points from the cell's depth sensors, with their acquisition timestamps. */
+    }
+    item def RobotPose specializes InterfaceItem {
+        @MemoIdentity { :>> providedId = "RCF-IT-002"; :>> label = "Robot Pose"; }
+        doc /* Position and orientation of the robot tool in the reconstructed cell map. */
+    }
+    item def GraspEvent specializes InterfaceItem {
+        @MemoIdentity { :>> providedId = "RCF-IT-003"; :>> label = "Manipulation Event"; }
+        doc /* One grasp: start and stop time, applied force, and the gripper it was made with. */
+    }
+
+    // ─── The ports those signals cross through ──────────────────────────
+    // Defined once here so that each system types its own boundary with them
+    // and the interface control documents at the system-of-systems level
+    // connect them, without either side naming the other.
+    port def PointCloudPort specializes LogicalPort {
+        out item pointCloud : PointCloud;
+    }
+    port def GraspEventPort specializes LogicalPort {
+        out item graspEvent : GraspEvent;
+    }
+
+    // ─── A component two systems both contain ───────────────────────────
+    // It lives in the platform package, which this family depends on and does
+    // not edit. Re-exported here so a system imports this package and nothing else.
+    public import robot_platform::SafetyRelayModule;
+
+    // ─── The people who use the cell ─────────────────────────────────────
+    part cellOperator : User {
+        @MemoIdentity { :>> providedId = "RCF-ACT-001"; :>> label = "Cell Operator"; }
+        attribute :>> actorKind = ActorKind::clinician;
+    }
+    part cellTechnician : User {
+        @MemoIdentity { :>> providedId = "RCF-ACT-002"; :>> label = "Cell Technician"; }
+        attribute :>> actorKind = ActorKind::technician;
+    }
+}

package/examples/robot-cell-family/model/sos/chains.sysml

@@ -0,0 +1,36 @@
+// The clinical workflow that realizes the procedure, with its nominal scenario: a series of
+// actions that crosses system boundaries: the perception system's
+// point clouds build the map, and the manipulator's grasp is
+// tagged on it. Each step is a system's own function performed at one
+// position in the chain.
+package robot_cell_family_chains {
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    private import memo_core_enumerations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_operational_workflows::*;
+    private import memo_architecture_operational_scenarios::*;
+    private import robot_cell_family_operational_use_cases::*;
+    private import robot_cell_family_navigation::*;
+    private import robot_cell_family_manipulation::*;
+    private import robot_cell_family_perception::*;
+
+    action wfMapGuidedPick : OperationalWorkflow {
+        @MemoIdentity { :>> providedId = "RCF-FC-001"; :>> label = "Map-Guided Pick"; }
+        attribute :>> workflowState = WorkflowStateKind::toBe;
+        doc /* Point clouds acquired by the perception system build the occupancy map; each grasp by the manipulator is tagged on that map. */
+        action scMapGuidedPick : OperativeScenario {
+            action stepAcquire :> fnAcquirePointClouds;
+            action stepBuildMap :> fnBuildMap;
+            action stepGrasp :> fnExecuteGrasp;
+            action stepTag :> fnTagGrasp;
+            first stepAcquire then stepBuildMap;
+            first stepBuildMap then stepGrasp;
+            first stepGrasp then stepTag;
+            flow from stepAcquire.pointCloudOut to stepBuildMap.pointCloudIn;
+            flow from stepGrasp.graspEventOut to stepTag.graspEventIn;
+        }
+    }
+
+    connection : RealizesUseCase connect realizingWorkflow ::> wfMapGuidedPick to realizedUseCase ::> ucPerformPickAndPlace;
+}

package/examples/robot-cell-family/model/sos/icds.sysml

@@ -0,0 +1,29 @@
+// Interface control documents: one interface definition per pair of
+// constituent systems that exchange something. Each names the port types on
+// both sides (from the shared package) and what crosses. They belong to the
+// system of systems because each one is an agreement between two systems,
+// owned by neither.
+package robot_cell_family_icds {
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    private import memo_core_enumerations::*;
+    private import memo_architecture_logical_interfaces::*;
+    private import robot_cell_family_shared::*;
+
+    interface def PerceptionToNavigationIcd specializes Interface {
+        @MemoIdentity { :>> providedId = "RCF-ICD-001"; :>> label = "Perception to Navigation ICD"; }
+        doc /* The perception system streams point clouds to the navigation system. */
+        end provider : PointCloudPort;
+        end consumer : ~PointCloudPort;
+        attribute :>> interfaceKind = InterfaceKind::data;
+        attribute :>> direction = DirectionKind::output;
+    }
+    interface def ManipulationToNavigationIcd specializes Interface {
+        @MemoIdentity { :>> providedId = "RCF-ICD-002"; :>> label = "Manipulation to Navigation ICD"; }
+        doc /* The manipulator reports each grasp so the navigation system can tag it. */
+        end provider : GraspEventPort;
+        end consumer : ~GraspEventPort;
+        attribute :>> interfaceKind = InterfaceKind::data;
+        attribute :>> direction = DirectionKind::output;
+    }
+}