@memoarchitect/ontology 0.13.2 → 0.15.1

package/examples/software-only-medical-device/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Software Only Medical Device — project identity and method binding.
+// Software Only Medical Device — 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,15 +16,14 @@ package memo_examples_software_only_medical_device_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-MEDICAL-DEVICE-001"; }
-        attribute :>> name = "SoftwareOnlyMedicalDeviceProjectMethodBinding";
-        attribute :>> projectName = "Software Only Medical Device";
+    // The cloud extension supplies CloudService, which is what the grading
+    // service is. Importing it publicly here is what brings it into the
+    // project, its definitions and its selection alike.
+    public import memo_extension_cloud::*;
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-MEDICAL-DEVICE-001"; :>> label = "SoftwareOnlyMedicalDeviceModelMethodBinding"; }
+        attribute :>> modelName = "Software Only Medical Device";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
-        // Composition happens here, not by chaining methodologies. The cloud
-        // extension supplies CloudService, which is what the grading service
-        // is.
-        attribute :>> includedModule = "memo_extension_cloud";
     }
 }

package/examples/surgical-closure-workflow/memo.package.yaml

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

package/examples/surgical-closure-workflow/model/catalog/surgical_closure_workflow.sysml

@@ -21,21 +21,21 @@ package memo_examples_surgical_closure_workflow {
     // ── Clinical setting and goal ───────────────────────────────
     part bariatricSurgeon : User {
         attribute :>> actorKind = ActorKind::clinician;
-        @MemoIdentity { :>> providedId = "LSG-USR-001"; } attribute :>> name = "BariatricSurgeon";
+        @MemoIdentity { :>> providedId = "LSG-USR-001"; }
         attribute :>> clinicalRole = "primary operating surgeon";
     }
     part scrubNurse : User {
         attribute :>> actorKind = ActorKind::clinician;
-        @MemoIdentity { :>> providedId = "LSG-USR-002"; } attribute :>> name = "ScrubNurse";
+        @MemoIdentity { :>> providedId = "LSG-USR-002"; }
         attribute :>> clinicalRole = "sterile instrumentation and count";
     }
     part anesthetist : User {
         attribute :>> actorKind = ActorKind::clinician;
-        @MemoIdentity { :>> providedId = "LSG-USR-003"; } attribute :>> name = "Anesthetist";
+        @MemoIdentity { :>> providedId = "LSG-USR-003"; }
         attribute :>> clinicalRole = "anaesthesia and physiologic monitoring";
     }
     part bariatricOr : UseContext {
-        @MemoIdentity { :>> providedId = "LSG-CTX-001"; } attribute :>> name = "BariatricOperatingRoom";
+        @MemoIdentity { :>> providedId = "LSG-CTX-001"; :>> label = "BariatricOperatingRoom"; }
         attribute :>> careSetting = "hospital operating room";
         attribute :>> environment = "sterile laparoscopic operating field";
         attribute :>> connectedUse = false;
@@ -47,57 +47,54 @@ package memo_examples_surgical_closure_workflow {
     }
     use case ucPerformSleeveGastrectomy : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        @MemoIdentity { :>> providedId = "LSG-UC-001"; }
-        attribute :>> name = "PerformLaparoscopicSleeveGastrectomy";
+        @MemoIdentity { :>> providedId = "LSG-UC-001"; :>> label = "PerformLaparoscopicSleeveGastrectomy"; }
         attribute :>> goalStatement = "Complete the planned laparoscopic sleeve gastrectomy and transfer the patient with the staple line assessed.";
         attribute :>> trigger = "patient prepared and surgical time-out complete";
         attribute :>> successOutcome = "gastric sleeve created, haemostasis and integrity assessed, patient handed over";
         attribute :>> failureOutcome = "uncontrolled bleeding, suspected staple-line issue, or conversion/escalation";
-        ref :>> primaryUser = bariatricSurgeon;
-        ref :>> supportingActors = (scrubNurse, anesthetist);
         ref :>> useContext = bariatricOr;
         subject supportingSystem;
         actor bariatricSurgeonInitiator = bariatricSurgeon;
+        actor scrubNurseActor = scrubNurse;
+        actor anesthetistActor = anesthetist;
     }
     connection : Motivates connect motivatingNeed ::> needControlledGastricResection to motivatedUseCase ::> ucPerformSleeveGastrectomy;
 
     // ── Procedure workflow ──────────────────────────────────────
-    action actTimeOutAndPosition : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-001"; } attribute :>> name = "ConfirmTimeOutAndPosition"; }
-    action actEstablishAccess : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-002"; } attribute :>> name = "EstablishLaparoscopicAccess"; }
-    action actMobilizeStomach : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-003"; } attribute :>> name = "MobilizeStomach"; }
+    action actTimeOutAndPosition : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-001"; :>> label = "ConfirmTimeOutAndPosition"; } }
+    action actEstablishAccess : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-002"; :>> label = "EstablishLaparoscopicAccess"; } }
+    action actMobilizeStomach : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-003"; :>> label = "MobilizeStomach"; } }
     action actSizeAndCreateSleeve : OperativeAction {
-        @MemoIdentity { :>> providedId = "LSG-ACT-004"; } attribute :>> name = "SizeAndCreateSleeve"; attribute :>> criticality = CriticalityKind::high;
+        @MemoIdentity { :>> providedId = "LSG-ACT-004"; :>> label = "SizeAndCreateSleeve"; } attribute :>> criticality = CriticalityKind::high;
 
         action taskCreateStapleLine : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
-            @MemoIdentity { :>> providedId = "LSG-TASK-001"; }
-            attribute :>> name = "CreateAndInspectStapleLine";
+            @MemoIdentity { :>> providedId = "LSG-TASK-001"; :>> label = "CreateAndInspectStapleLine"; }
             attribute :>> taskGoal = "create the planned sleeve and identify bleeding or integrity concerns before completion";
             attribute :>> potentialHarm = "bleeding or staple-line complication not recognized before handover";
             attribute :>> severityIfFailed = SeverityKind::serious;
 
-            action stConfirmAnatomy : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-001"; } attribute :>> name = "ConfirmAnatomy"; }
-            action stCreateStapleLine : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-002"; } attribute :>> name = "CreateStapleLine"; }
-            action stInspectBleeding : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-003"; } attribute :>> name = "InspectForBleeding"; }
-            action stAssessIntegrity : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-004"; } attribute :>> name = "AssessStapleLineIntegrity"; }
+            action stConfirmAnatomy : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-001"; :>> label = "ConfirmAnatomy"; } }
+            action stCreateStapleLine : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-002"; :>> label = "CreateStapleLine"; } }
+            action stInspectBleeding : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-003"; :>> label = "InspectForBleeding"; } }
+            action stAssessIntegrity : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ST-004"; :>> label = "AssessStapleLineIntegrity"; } }
             first stConfirmAnatomy then stCreateStapleLine;
             first stCreateStapleLine then stInspectBleeding;
             first stInspectBleeding then stAssessIntegrity;
         }
     }
-    action actAssessStapleLine : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-005"; } attribute :>> name = "AssessStapleLine"; attribute :>> criticality = CriticalityKind::high; }
-    action actExtractSpecimenAndClose : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-006"; } attribute :>> name = "ExtractSpecimenAndClosePorts"; }
-    action actHandover : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-007"; } attribute :>> name = "CompletePostoperativeHandover"; }
+    action actAssessStapleLine : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-005"; :>> label = "AssessStapleLine"; } attribute :>> criticality = CriticalityKind::high; }
+    action actExtractSpecimenAndClose : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-006"; :>> label = "ExtractSpecimenAndClosePorts"; } }
+    action actHandover : OperativeAction { @MemoIdentity { :>> providedId = "LSG-ACT-007"; :>> label = "CompletePostoperativeHandover"; } }
 
     action wfSleeveGastrectomy : ClinicalProcedureWorkflow {
-        @MemoIdentity { :>> providedId = "LSG-WF-001"; }
-        attribute :>> name = "LaparoscopicSleeveGastrectomyWorkflow";
+        @MemoIdentity { :>> providedId = "LSG-WF-001"; :>> label = "LaparoscopicSleeveGastrectomyWorkflow"; }
         attribute :>> workflowState = WorkflowStateKind::toBe;
         attribute :>> entryCondition = "patient prepared; time-out ready";
         attribute :>> completionCondition = "staple line assessed; postoperative handover complete";
         attribute :>> clinicalObjective = "create a gastric sleeve after controlled mobilisation and staple-line assessment";
         action scNominalSleeveProcedure : OperativeScenario {
-            @MemoIdentity { :>> providedId = "LSG-SC-001"; } attribute :>> name = "NominalSleeveGastrectomy";
+            @MemoIdentity { :>> providedId = "LSG-SC-001"; :>> label = "NominalSleeveGastrectomy"; }
             attribute :>> pathSummary = "Time-out, access, mobilisation, sleeve creation, staple-line assessment, closure, and handover complete without rework.";
 
             perform actTimeOutAndPosition;
@@ -116,11 +113,11 @@ package memo_examples_surgical_closure_workflow {
         }
         action scStapleLineBleeding : OperativeScenario {
             attribute :>> scenarioKind = ScenarioKind::alternate;
-            @MemoIdentity { :>> providedId = "LSG-SC-002"; } attribute :>> name = "StapleLineBleedingRecovery";
+            @MemoIdentity { :>> providedId = "LSG-SC-002"; :>> label = "StapleLineBleedingRecovery"; }
             attribute :>> pathSummary = "Recognize bleeding, apply the selected control, reassess the staple line, and escalate if the condition remains unresolved.";
 
             action oaControlStapleLineBleeding : OperativeAction {
-                attribute :>> name = "ControlStapleLineBleeding";
+@MemoIdentity { :>> label = "ControlStapleLineBleeding"; }
                 action recognizeBleeding; action controlBleeding; action reassessStapleLine; action escalateIfNeeded;
                 first start then recognizeBleeding; first recognizeBleeding then controlBleeding; first controlBleeding then reassessStapleLine; first reassessStapleLine then escalateIfNeeded; first escalateIfNeeded then done;
             }

package/examples/surgical-closure-workflow/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Surgical Closure Workflow — project identity and method binding.
+// Surgical Closure Workflow — 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,12 @@ package memo_examples_surgical_closure_workflow_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-CLOSURE-WORKFLOW-001"; }
-        attribute :>> name = "SurgicalClosureWorkflowProjectMethodBinding";
-        attribute :>> projectName = "Surgical Closure Workflow";
+    // The workflow is a ClinicalProcedureWorkflow, so the project brings in
+    // the clinical extension, by importing it publicly here.
+    public import memo_extension_clinical::*;
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-CLOSURE-WORKFLOW-001"; :>> label = "SurgicalClosureWorkflowModelMethodBinding"; }
+        attribute :>> modelName = "Surgical Closure Workflow";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/surgical-robot/memo.package.yaml

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

package/examples/surgical-robot/model/catalog/surgical_robot.sysml

@@ -8,17 +8,18 @@ package memo_examples_surgical_robot {
     private import memo_core_relationships::*;
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_implementation_hardware_structure::*;
+    private import memo_architecture_realization_physical::*;
     private import memo_architecture_implementation_ui::*;
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     // Control channels: primary + diverse monitor, with declared independence.
     part chMotionPrimary : LogicalComponent {
-        @MemoIdentity { :>> providedId = "SR-LC-001"; } attribute :>> name = "MotionControlChannel";
+        @MemoIdentity { :>> providedId = "SR-LC-001"; :>> label = "MotionControlChannel"; }
         attribute :>> channelRole = ChannelRoleKind::primary;
     }
     part chMotionMonitor : LogicalComponent {
-        @MemoIdentity { :>> providedId = "SR-LC-002"; } attribute :>> name = "MotionMonitorChannel";
+        @MemoIdentity { :>> providedId = "SR-LC-002"; :>> label = "MotionMonitorChannel"; }
         attribute :>> channelRole = ChannelRoleKind::monitor;
         attribute :>> diversityBasis = "independent encoder set and diverse processor family";
     }
@@ -29,33 +30,34 @@ package memo_examples_surgical_robot {
 
     // Interlock: instrument exchange blocked while arm is in motion.
     part chExchangeInterlock : LogicalComponent {
-        @MemoIdentity { :>> providedId = "SR-LC-003"; } attribute :>> name = "InstrumentExchangeInterlock";
+        @MemoIdentity { :>> providedId = "SR-LC-003"; :>> label = "InstrumentExchangeInterlock"; }
         attribute :>> channelRole = ChannelRoleKind::interlock;
     }
 
-    // Mechanical-force flow from actuator to instrument tip.
-    part exTipForce : LogicalExchange {
-        @MemoIdentity { :>> providedId = "SR-EX-001"; } attribute :>> name = "TipForceTransmission";
-        attribute :>> contentKind = FlowContentKind::mechanicalForce;
-        attribute :>> direction = DirectionKind::output;
-    }
     part actJointDrive : Actuator {
-        @MemoIdentity { :>> providedId = "SR-HW-001"; } attribute :>> name = "JointDriveActuator";
+        @MemoIdentity { :>> providedId = "SR-HW-001"; :>> label = "JointDriveActuator"; }
         attribute :>> actuationKind = "brushless DC servo with harmonic drive";
+        out port pDriveOut : PhysicalPort;
     }
     part instrShaft : MechanicalPart {
-        @MemoIdentity { :>> providedId = "SR-HW-002"; } attribute :>> name = "InstrumentShaft";
+        in port pDriveIn : PhysicalPort;
+        @MemoIdentity { :>> providedId = "SR-HW-002"; :>> label = "InstrumentShaft"; }
         attribute :>> mechanicalFunction = "transmits actuation to end effector";
         attribute :>> patientContact = true;
         attribute :>> contactNature = "internal tissue, direct";
         attribute :>> contactDuration = "limited (<24 h)";
     }
+    // Mechanical-force flow from actuator to instrument tip.
+    flow exTipForce : LogicalExchange from actJointDrive.pDriveOut to instrShaft.pDriveIn {
+        @MemoIdentity { :>> providedId = "SR-EX-001"; :>> label = "TipForceTransmission"; }
+        attribute :>> contentKind = FlowContentKind::mechanicalForce;
+    }
 
     // Surgeon console: haptic feedback element. The grip is hardware the
     // surgeon holds, so it is an OperatorInterfaceElement (a PhysicalComponent)
     // rather than a UIElement — UIElement is software.
     part elHapticGrip : OperatorInterfaceElement {
-        @MemoIdentity { :>> providedId = "SR-UI-001"; } attribute :>> name = "HapticMasterGrip";
+        @MemoIdentity { :>> providedId = "SR-UI-001"; :>> label = "HapticMasterGrip"; }
         attribute :>> formKind = OperatorInterfaceFormKind::hapticIndicator;
         attribute :>> guardedAgainstInadvertentActuation = true;
     }

package/examples/surgical-robot/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Surgical Robot — project identity and method binding.
+// Surgical Robot — 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_surgical_robot_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-SURGICAL-ROBOT-001"; }
-        attribute :>> name = "SurgicalRobotProjectMethodBinding";
-        attribute :>> projectName = "Surgical Robot";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-SURGICAL-ROBOT-001"; :>> label = "SurgicalRobotModelMethodBinding"; }
+        attribute :>> modelName = "Surgical Robot";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/sysml-diagram-samples/README.md

@@ -23,6 +23,7 @@ accepts its decision, merge, accept/send, termination and guard syntax, and
 
 | View | Diagram type | View kind | Renders |
 | --- | --- | --- | --- |
+| `drill_down_view.sysml` | `ibd`, `afd` | interconnection, actionflow | Ways into a lower level from a usage typed by a definition: a part and an action with an authored child view (`gearboxInside`, `calibrateDetail`), a part with parts two levels deep and no view (`motor`), a part with only ports (`controller`), and an action with child steps and no view. |
 | `tree_view.sysml` | `bdd` | general | Block Definition Diagram — a decomposition hierarchy. |
 | `interconnection_view.sysml` | `ibd` | interconnection | Internal Block Diagram — nested parts, boundary ports, typed connectors. |
 | `action_flow_view.sysml` | `afd` | actionflow | Activity / action flow — actions, item flows, successions. |