@memoarchitect/ontology 0.6.4 → 0.7.0

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

@@ -0,0 +1,24 @@
+// Surgical Closure Workflow — project 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.
+package memo_examples_surgical_closure_workflow_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_surgical_closure_workflow_viewpoints_unassigned::*;
+    private import memo_examples_surgical_closure_workflow_viewpoints_unassigned_views_surgical_closure_workflow_overview::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-CLOSURE-WORKFLOW-001";
+        attribute :>> name = "SurgicalClosureWorkflowProjectMethodBinding";
+        attribute :>> projectName = "Surgical Closure Workflow";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

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

@@ -5,6 +5,7 @@ package memo_examples_surgical_closure_workflow {
     private import ScalarValues::*;
 
     private import memo_core_enumerations::*;
+    private import memo_core_relationships::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_context_use_context::*;
     private import memo_assurance_requirements_needs::*;
@@ -73,10 +74,13 @@ package memo_examples_surgical_closure_workflow {
         attribute :>> potentialHarm = "bleeding or staple-line complication not recognized before handover";
         attribute :>> severityIfFailed = SeverityKind::serious;
     }
-    action stConfirmAnatomy : TaskStep { attribute :>> id = "LSG-ST-001"; attribute :>> name = "ConfirmAnatomy"; attribute :>> stepOrder = 1; }
-    action stCreateStapleLine : TaskStep { attribute :>> id = "LSG-ST-002"; attribute :>> name = "CreateStapleLine"; attribute :>> stepOrder = 2; }
-    action stInspectBleeding : TaskStep { attribute :>> id = "LSG-ST-003"; attribute :>> name = "InspectForBleeding"; attribute :>> stepOrder = 3; }
-    action stAssessIntegrity : TaskStep { attribute :>> id = "LSG-ST-004"; attribute :>> name = "AssessStapleLineIntegrity"; attribute :>> stepOrder = 4; }
+    action stConfirmAnatomy : TaskStep { attribute :>> id = "LSG-ST-001"; attribute :>> name = "ConfirmAnatomy"; }
+    action stCreateStapleLine : TaskStep { attribute :>> id = "LSG-ST-002"; attribute :>> name = "CreateStapleLine"; }
+    action stInspectBleeding : TaskStep { attribute :>> id = "LSG-ST-003"; attribute :>> name = "InspectForBleeding"; }
+    action stAssessIntegrity : TaskStep { attribute :>> id = "LSG-ST-004"; attribute :>> name = "AssessStapleLineIntegrity"; }
+    first stConfirmAnatomy then stCreateStapleLine;
+    first stCreateStapleLine then stInspectBleeding;
+    first stInspectBleeding then stAssessIntegrity;
     connection : Composes connect parent ::> actSizeAndCreateSleeve to child ::> taskCreateStapleLine;
     connection : Composes connect parent ::> taskCreateStapleLine to child ::> stConfirmAnatomy;
     connection : Composes connect parent ::> taskCreateStapleLine to child ::> stCreateStapleLine;
@@ -91,13 +95,13 @@ package memo_examples_surgical_closure_workflow {
         attribute :>> completionCondition = "staple line assessed; postoperative handover complete";
         attribute :>> clinicalObjective = "create a gastric sleeve after controlled mobilisation and staple-line assessment";
     }
-    action wsTimeOut : WorkflowStep { attribute :>> stepOrder = 1; ref :>> performedActivity = actTimeOutAndPosition; }
-    action wsAccess : WorkflowStep { attribute :>> stepOrder = 2; ref :>> performedActivity = actEstablishAccess; }
-    action wsMobilize : WorkflowStep { attribute :>> stepOrder = 3; ref :>> performedActivity = actMobilizeStomach; }
-    action wsSleeve : WorkflowStep { attribute :>> stepOrder = 4; ref :>> performedActivity = actSizeAndCreateSleeve; }
-    action wsAssess : WorkflowStep { attribute :>> stepOrder = 5; ref :>> performedActivity = actAssessStapleLine; }
-    action wsClose : WorkflowStep { attribute :>> stepOrder = 6; ref :>> performedActivity = actExtractSpecimenAndClose; }
-    action wsHandover : WorkflowStep { attribute :>> stepOrder = 7; ref :>> performedActivity = actHandover; }
+    action wsTimeOut : WorkflowStep { ref :>> performedActivity = actTimeOutAndPosition; }
+    action wsAccess : WorkflowStep { ref :>> performedActivity = actEstablishAccess; }
+    action wsMobilize : WorkflowStep { ref :>> performedActivity = actMobilizeStomach; }
+    action wsSleeve : WorkflowStep { ref :>> performedActivity = actSizeAndCreateSleeve; }
+    action wsAssess : WorkflowStep { ref :>> performedActivity = actAssessStapleLine; }
+    action wsClose : WorkflowStep { ref :>> performedActivity = actExtractSpecimenAndClose; }
+    action wsHandover : WorkflowStep { ref :>> performedActivity = actHandover; }
     connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsTimeOut;
     connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsAccess;
     connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsMobilize;
@@ -105,12 +109,12 @@ package memo_examples_surgical_closure_workflow {
     connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsAssess;
     connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsClose;
     connection : Composes connect parent ::> wfSleeveGastrectomy to child ::> wsHandover;
-    connection : StepPrecedes connect predecessor ::> wsTimeOut to successor ::> wsAccess;
-    connection : StepPrecedes connect predecessor ::> wsAccess to successor ::> wsMobilize;
-    connection : StepPrecedes connect predecessor ::> wsMobilize to successor ::> wsSleeve;
-    connection : StepPrecedes connect predecessor ::> wsSleeve to successor ::> wsAssess;
-    connection : StepPrecedes connect predecessor ::> wsAssess to successor ::> wsClose;
-    connection : StepPrecedes connect predecessor ::> wsClose to successor ::> wsHandover;
+    first wsTimeOut then wsAccess;
+    first wsAccess then wsMobilize;
+    first wsMobilize then wsSleeve;
+    first wsSleeve then wsAssess;
+    first wsAssess then wsClose;
+    first wsClose then wsHandover;
     connection : Supports { attribute :>> supportKind = SupportKind::useCase; connect supporter ::> wfSleeveGastrectomy to supported ::> ucPerformSleeveGastrectomy; }
 
     // ── Scenario paths, each with its own activity/action flow ──
@@ -124,7 +128,7 @@ package memo_examples_surgical_closure_workflow {
         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;
     }
-    part scNominalSleeveProcedure : OperativeScenario {
+    action scNominalSleeveProcedure : OperativeScenario {
         attribute :>> id = "LSG-SC-001"; attribute :>> name = "NominalSleeveGastrectomy";
         attribute :>> variantKind = ScenarioVariantKind::nominal;
         attribute :>> operationalCondition = OperationalConditionKind::normal;
@@ -133,7 +137,7 @@ package memo_examples_surgical_closure_workflow {
         ref :>> parentUseCase = ucPerformSleeveGastrectomy;
         ref :>> activities = oaCompleteSleeveProcedure;
     }
-    part scStapleLineBleeding : OperativeScenario {
+    action scStapleLineBleeding : OperativeScenario {
         attribute :>> id = "LSG-SC-002"; attribute :>> name = "StapleLineBleedingRecovery";
         attribute :>> variantKind = ScenarioVariantKind::recovery;
         attribute :>> operationalCondition = OperationalConditionKind::degraded;

package/examples/surgical-closure-workflow/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_surgical_closure_workflow_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/surgical-closure-workflow/model/{viewpoints → catalog/viewpoints/unassigned/views}/surgical_closure_workflow_overview.sysml

@@ -1,4 +1,4 @@
-package memo_examples_surgical_closure_workflow_viewpoints {
+package memo_examples_surgical_closure_workflow_viewpoints_unassigned_views_surgical_closure_workflow_overview {
     private import memo_examples_surgical_closure_workflow::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;

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

@@ -0,0 +1,24 @@
+// Surgical Robot — project 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.
+package memo_examples_surgical_robot_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_surgical_robot_viewpoints_unassigned::*;
+    private import memo_examples_surgical_robot_viewpoints_unassigned_views_surgical_robot_overview::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-SURGICAL-ROBOT-001";
+        attribute :>> name = "SurgicalRobotProjectMethodBinding";
+        attribute :>> projectName = "Surgical Robot";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

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

@@ -49,10 +49,12 @@ package memo_examples_surgical_robot {
         attribute :>> contactDuration = "limited (<24 h)";
     }
 
-    // Surgeon console: haptic feedback element.
-    part elHapticGrip : UIElement {
+    // 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 {
         attribute :>> id = "SR-UI-001"; attribute :>> name = "HapticMasterGrip";
-        attribute :>> formKind = UIElementFormKind::hapticIndicator;
+        attribute :>> formKind = OperatorInterfaceFormKind::hapticIndicator;
         attribute :>> guardedAgainstInadvertentActuation = true;
     }
 }

package/examples/surgical-robot/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_surgical_robot_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/surgical-robot/model/{viewpoints → catalog/viewpoints/unassigned/views}/surgical_robot_overview.sysml

@@ -1,4 +1,4 @@
-package memo_examples_surgical_robot_viewpoints {
+package memo_examples_surgical_robot_viewpoints_unassigned_views_surgical_robot_overview {
     private import memo_examples_surgical_robot::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;

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

@@ -15,11 +15,18 @@ Each view is a `MemoDiagramView` declared in `model/samples/`, exposing its own
 dummy elements. The Architect explorer groups each authored view by the layer
 of its model content.
 
+`model/sysml_v2_activity_example.sysml` is the SysML v2 activity-diagram
+acceptance fixture, and is the single copy — it sits with the rest of the
+model's SysML rather than in a parallel `reference/` tree. The bundled parser
+accepts its decision, merge, accept/send, termination and guard syntax, and
+`standard_activity_view.sysml` is the view that draws it.
+
 | View | Diagram type | View kind | Renders |
 | --- | --- | --- | --- |
 | `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. |
+| `standard_activity_view.sysml` | `afd` | actionflow | Standard SysML v2 activity — decision, merge, fork, join, accept, send, terminate, guarded successions. |
 | `functional_flow_view.sysml` | `ffd` | actionflow | Functional flow — swimlanes per realising component, typed data/energy flows. |
 | `operational_behaviour_view.sysml` | `ofd` | actionflow | Operational flow — clinical-role swimlanes, concurrent preparation, and a composite therapy step. |
 | `context_view.sysml` | `context` | general | Operational system context — a black-box system of interest inside an explicit boundary, with actors, peer systems, environment, and typed interactions outside it. |

package/examples/sysml-diagram-samples/dhf/documents/DOC-HAR-001.md

@@ -0,0 +1,11 @@
+---
+id: DOC-HAR-001
+title: Hazard Analysis Report
+template: iso-14971/har
+group: Risk Management
+created: 1785896600558
+---
+
+# Hazard Analysis Report
+
+_[TODO: Add content]_

package/examples/sysml-diagram-samples/memo.package.yaml

@@ -1,5 +1,11 @@
-name: "sysml-diagram-samples"
-version: "0.1.0"
-type: device
-extends: "@memoarchitect/medical-modeling-profile"
-description: "MEMO Architect diagram rendering samples — one openable view per standard SysML v2 diagram type. Open with: memo-architect --example standard-sysml-diagrams"
+# Application/distribution descriptor for this MEMO package.
+#
+# Identity and location only. It records what this package is called, what
+# version it is, and where its SysML source sits so a resolver can find it.
+# It does not select model content: the project's native SysML imports and its
+# ProjectMethodBinding decide what is in the model. Semantic fields
+# (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
+# removed at the native semantic flip and are now rejected if present.
+name: sysml-diagram-samples
+version: 0.1.0
+description: "MEMO Architect diagram rendering samples \u2014 one openable view per standard SysML v2 diagram type. Open with: memo-architect --example standard-sysml-diagrams"

package/examples/sysml-diagram-samples/model/catalog/project.sysml

@@ -0,0 +1,33 @@
+// Sysml Diagram Samples — project 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.
+package memo_examples_sysml_diagram_samples_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_functional_flow_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_interconnection_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operational_behaviour_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirements_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard_activity_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_transition_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view::*;
+
+    part projectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-DIAGRAM-SAMPLES-001";
+        attribute :>> name = "SysmlDiagramSamplesProjectMethodBinding";
+        attribute :>> projectName = "Sysml Diagram Samples";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/viewpoint.sysml

@@ -0,0 +1,9 @@
+// unassigned viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned {
+    // The reusable package declaring unassigned could not be resolved during
+    // conversion. Import it here so the views beneath this viewpoint resolve.
+}

package/examples/sysml-diagram-samples/model/{samples → catalog/viewpoints/unassigned/views}/action_flow_view.sysml

@@ -1,10 +1,12 @@
-package memo_examples_sysml_diagram_samples_model_samples_action_flow_view {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view {
     private import ScalarValues::*;
     private import memo_core_relationships::*;
 
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_logical_interfaces::*;
+    private import memo_architecture_functional_functions::*;
     private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
     private import memo_core_enumerations::*;
 
     item def DataPacket specializes InterfaceItem {
@@ -17,15 +19,15 @@ package memo_examples_sysml_diagram_samples_model_samples_action_flow_view {
         attribute :>> itemKind = InterfaceItemKind::material;
     }
 
-    action def ReceiveInput { out received : DataPacket; }
-    action def ValidateInput { in received : DataPacket; out validated : EnergyToken; }
-    action def ProcessInput { in validated : EnergyToken; out result : MaterialBatch; }
-    action def RecordResult { in result : MaterialBatch; }
+    action def ReceiveInput specializes SystemAction { out item received : DataPacket; }
+    action def ValidateInput specializes SystemAction { in item received : DataPacket; out item validated : EnergyToken; }
+    action def ProcessInput specializes SystemAction { in item validated : EnergyToken; out item result : MaterialBatch; }
+    action def RecordResult specializes SystemAction { in item result : MaterialBatch; }
 
     part laneA : LogicalComponent { attribute :>> name = "Lane A"; }
     part laneB : LogicalComponent { attribute :>> name = "Lane B"; }
 
-    action sampleActionFlow {
+    action sampleActionFlow : SystemAction {
         action receive : ReceiveInput;
         action validate : ValidateInput;
         action process : ProcessInput {
@@ -60,11 +62,16 @@ package memo_examples_sysml_diagram_samples_model_samples_action_flow_view {
 
     // MemoLink sample — the universal relation, exercised where nothing else
     // reaches. laneB is a `part` (LogicalComponent :> ArchitectureElement) and
-    // ProcessInput is an `action def` (:> MemoAction). Those foundations share
-    // no supertype, so every typed relation in the ontology is unavailable
-    // here: legalRelationshipTypes returns MemoLink and nothing else.
+    // `sampleActionFlow.process` is an action usage (:> MemoAction). Those
+    // foundations share no supertype, so every typed relation in the ontology
+    // is unavailable here: legalRelationshipTypes returns MemoLink and nothing
+    // else.
+    //
+    // The target is the action *usage*, not the `ProcessInput` definition.
+    // Binding a value to a definition is not portable — SysIDE rejects it,
+    // because a value must be a feature and a definition is not.
     connection linkLaneBProcessesInput : MemoLink
-        connect linkSource ::> laneB to linkTarget ::> ProcessInput {
+        connect linkSource ::> laneB to linkTarget ::> sampleActionFlow.process {
         attribute :>> linkRationale =
             "Lane B is the swimlane that carries the ProcessInput behaviour. The association crosses the part/action metaclass boundary, so no typed relation can express it.";
     }
@@ -78,6 +85,7 @@ package memo_examples_sysml_diagram_samples_model_samples_action_flow_view {
         attribute :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development.";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
+        part :>> viewpointDefinition = functionalViewpoint;
     }
 
     connection : IncludedIn connect sourceElement ::> sampleActionFlow.receive to targetView ::> sampleActionFlowView;

package/examples/sysml-diagram-samples/model/{samples → catalog/viewpoints/unassigned/views}/context_view.sysml

@@ -1,7 +1,7 @@
 // System context sample (general view kind, `context` diagram type). The system
 // under consideration is one block; every other element is an external actor,
 // neighbouring system, or use context it interacts with across its boundary.
-package memo_examples_sysml_diagram_samples_model_samples_context_view {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view {
     private import ScalarValues::*;
 
     private import memo_architecture_operational_context_actors::*;
@@ -9,6 +9,7 @@ package memo_examples_sysml_diagram_samples_model_samples_context_view {
     private import memo_architecture_operational_structure::*;
     private import memo_core_relationships::*;
     private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_context_context_viewpoint::*;
     private import memo_core_enumerations::*;
 
     // The operational system of interest is intentionally represented as one
@@ -17,7 +18,7 @@ package memo_examples_sysml_diagram_samples_model_samples_context_view {
     part infusionSystem : OperationalEntity {
         attribute :>> name = "Infusion Pump System";
         attribute :>> entityKind = OperationalEntityKind::device;
-        attribute :>> contextRole = "systemOfInterest";
+        attribute :>> responsibility = "System of interest for this context view.";
     }
     part clinician : User { attribute :>> name = "Clinician"; }
     part patient : User { attribute :>> name = "Patient"; }
@@ -41,6 +42,7 @@ package memo_examples_sysml_diagram_samples_model_samples_context_view {
         attribute :>> shortDescription = "Operational system context: one black-box system boundary, its external people, peer systems, operating environment, and named boundary-crossing interactions.";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "context";
+        part :>> viewpointDefinition = contextViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("InteractsWith", "ExchangesWith", "AppliesInContext");
         }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/context_view.viewlayout

@@ -0,0 +1,47 @@
+format: memo.viewlayout/v1
+viewSource: model/catalog/viewpoints/unassigned/views/context_view.sysml
+layouts:
+  diag-sample-sampleContextView:
+    nodes:
+      __context_boundary__:
+        x: 327.4
+        y: 109
+        ports: {}
+      infusionSystem:
+        x: 92
+        y: 74
+        ports: {}
+      biomedTech:
+        x: 40
+        y: 40
+        ports: {}
+      clinician:
+        x: 53.400000000000006
+        y: 146
+        ports: {}
+      patient:
+        x: 53.400000000000006
+        y: 252
+        ports: {}
+      homeContext:
+        x: 440
+        y: 600
+        ports: {}
+      pharmacySystem:
+        x: 855.4
+        y: 199
+        ports: {}
+    edges:
+      rel-8: {}
+      rel-9: {}
+      rel-10: {}
+      rel-11: {}
+      rel-12: {}
+    annotations: {}
+    canvas:
+      autoLayout: false
+      zoom: 0.7154088050314465
+      pan:
+        x: 50.15487421383642
+        y: -9.616352201257882
+      coordinateSpace: context-child-v1

package/examples/sysml-diagram-samples/model/{samples → catalog/viewpoints/unassigned/views}/functional_flow_view.sysml

@@ -1,10 +1,12 @@
-package memo_examples_sysml_diagram_samples_model_samples_functional_flow_view {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_functional_flow_view {
     private import ScalarValues::*;
 
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_logical_interfaces::*;
+    private import memo_architecture_functional_functions::*;
     private import memo_core_relationships::*;
     private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_functional_functional_viewpoint::*;
     private import memo_core_enumerations::*;
 
     // ─────────────────────────────────────────────────────────────────────────
@@ -37,13 +39,13 @@ package memo_examples_sysml_diagram_samples_model_samples_functional_flow_view {
     }
 
     // Functions with typed in/out pins
-    action def FxAcquire { out reading : FxSensorReading; }
-    action def FxCompute { in reading : FxSensorReading; out command : FxRateCommand; }
-    action def FxEnforce { in command : FxRateCommand; out safeCommand : FxRateCommand; }
-    action def FxDrive { in command : FxRateCommand; out energy : FxMotorEnergy; }
-    action def FxDeliverMedication { in energy : FxMotorEnergy; out fluid : FxMedicationFluid; }
-    action def FxMonitor { out signal : FxOcclusionSignal; }
-    action def FxDetect { in signal : FxOcclusionSignal; }
+    action def FxAcquire specializes SystemAction { out item reading : FxSensorReading; }
+    action def FxCompute specializes SystemAction { in item reading : FxSensorReading; out item command : FxRateCommand; }
+    action def FxEnforce specializes SystemAction { in item command : FxRateCommand; out item safeCommand : FxRateCommand; }
+    action def FxDrive specializes SystemAction { in item command : FxRateCommand; out item energy : FxMotorEnergy; }
+    action def FxDeliverMedication specializes SystemAction { in item energy : FxMotorEnergy; out item fluid : FxMedicationFluid; }
+    action def FxMonitor specializes SystemAction { out item signal : FxOcclusionSignal; }
+    action def FxDetect specializes SystemAction { in item signal : FxOcclusionSignal; }
 
     // Component hierarchy used by the Level control:
     // L1 system → L2 subsystems → L3 allocated components.
@@ -68,24 +70,24 @@ package memo_examples_sysml_diagram_samples_model_samples_functional_flow_view {
     connection : Composes connect parent ::> fxDeliverySubsystem to child ::> fxActuator;
     connection : Composes connect parent ::> fxSafetySubsystem to child ::> fxSafety;
 
-    action fxDeliveryFlow {
-        action fxAcquire : FxAcquire { attribute name = "Acquire Sensor Data"; }
-        action fxCompute : FxCompute { attribute name = "Compute Infusion Rate"; }
+    action fxDeliveryFlow : SystemAction {
+        action fxAcquire : FxAcquire { attribute :>> name = "Acquire Sensor Data"; }
+        action fxCompute : FxCompute { attribute :>> name = "Compute Infusion Rate"; }
 
         // Split: enforce/drive/deliver runs concurrently with occlusion monitoring
         fork fxForkDeliver;
-        action fxEnforce : FxEnforce { attribute name = "Enforce Dose Limits"; }
-        action fxDrive : FxDrive { attribute name = "Drive Pump Motor"; }
-        action fxMonitor : FxMonitor { attribute name = "Monitor Occlusion"; }
-        action fxDetect : FxDetect { attribute name = "Detect Occlusion"; }
+        action fxEnforce : FxEnforce { attribute :>> name = "Enforce Dose Limits"; }
+        action fxDrive : FxDrive { attribute :>> name = "Drive Pump Motor"; }
+        action fxMonitor : FxMonitor { attribute :>> name = "Monitor Occlusion"; }
+        action fxDetect : FxDetect { attribute :>> name = "Detect Occlusion"; }
         join fxJoinDeliver;
 
         // Composite function — valve sub-flow (drill-in)
         action fxDeliver : FxDeliverMedication {
-            attribute name = "Deliver Medication";
-            action fxOpenValve { attribute name = "Open Valve"; }
-            action fxHoldDose { attribute name = "Hold Metered Dose"; }
-            action fxCloseValve { attribute name = "Close Valve"; }
+            attribute :>> name = "Deliver Medication";
+            action fxOpenValve : SystemAction { attribute :>> name = "Open Valve"; }
+            action fxHoldDose : SystemAction { attribute :>> name = "Hold Metered Dose"; }
+            action fxCloseValve : SystemAction { attribute :>> name = "Close Valve"; }
 
             flow of FxMedicationFluid from fxDeliveryFlow.fxDeliver.fxHoldDose to fxCloseValve;
 
@@ -95,7 +97,7 @@ package memo_examples_sysml_diagram_samples_model_samples_functional_flow_view {
             first fxCloseValve then done;
         }
 
-        action fxLog { attribute name = "Log Delivery"; }
+        action fxLog : SystemAction { attribute :>> name = "Log Delivery"; }
 
         flow of FxSensorReading from fxAcquire.reading to fxCompute.reading;
         flow of FxRateCommand from fxEnforce.safeCommand to fxDrive.command;
@@ -137,6 +139,7 @@ package memo_examples_sysml_diagram_samples_model_samples_functional_flow_view {
         attribute :>> shortDescription = "Component behaviour: functions in swimlanes per realising component, typed data/energy/material flows, a fork/join for concurrent occlusion monitoring, and a composite 'Deliver Medication' valve sub-flow (double-click to drill in).";
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "ffd";
+        part :>> viewpointDefinition = functionalViewpoint;
     }
 
     connection : IncludedIn connect sourceElement ::> fxDeliveryFlow.fxAcquire to targetView ::> fxDeliveryView;

package/examples/sysml-diagram-samples/model/{samples → catalog/viewpoints/unassigned/views}/interconnection_view.sysml

@@ -1,12 +1,14 @@
-package memo_examples_sysml_diagram_samples_model_samples_interconnection_view {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_interconnection_view {
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_context_use_context::*;
 
     private import memo_architecture_logical_interfaces::*;
     private import memo_architecture_logical_structure::*;
+    private import memo_core_common::*;
     private import memo_core_relationships::*;
     private import memo_viewpoints_definitions::*;
+    private import memo_viewpoints_logical_logical_viewpoint::*;
     private import memo_core_enumerations::*;
 
     part coffeeMachine : LogicalComponent { attribute :>> name = "Coffee Machine"; }
@@ -17,19 +19,19 @@ package memo_examples_sysml_diagram_samples_model_samples_interconnection_view {
     part brewGroup : LogicalComponent { attribute :>> name = "Brew Group"; }
     part cup : LogicalComponent { attribute :>> name = "Cup"; }
 
-    port mainsWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port beverageOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port supplyWaterOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port cupBeverageIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port serviceInterface : DataPort { attribute :>> direction = DirectionKind::bidirectional; }
-    port diagnostics : DataPort { attribute :>> direction = DirectionKind::output; }
-    port tankWaterOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port tankWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port heaterWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port heatedWaterOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port brewWaterIn : DataPort { attribute :>> direction = DirectionKind::input; }
-    port brewedCoffeeOut : DataPort { attribute :>> direction = DirectionKind::output; }
-    port heaterStatusOut : DataPort { attribute :>> direction = DirectionKind::output; }
+    in port mainsWaterIn : DataPort { in item payload : MemoExchangeItem; }
+    out port beverageOut : DataPort { out item payload : MemoExchangeItem; }
+    out port supplyWaterOut : DataPort { out item payload : MemoExchangeItem; }
+    in port cupBeverageIn : DataPort { in item payload : MemoExchangeItem; }
+    inout port serviceInterface : DataPort { inout item payload : MemoExchangeItem; }
+    out port diagnostics : DataPort { out item payload : MemoExchangeItem; }
+    out port tankWaterOut : DataPort { out item payload : MemoExchangeItem; }
+    in port tankWaterIn : DataPort { in item payload : MemoExchangeItem; }
+    in port heaterWaterIn : DataPort { in item payload : MemoExchangeItem; }
+    out port heatedWaterOut : DataPort { out item payload : MemoExchangeItem; }
+    in port brewWaterIn : DataPort { in item payload : MemoExchangeItem; }
+    out port brewedCoffeeOut : DataPort { out item payload : MemoExchangeItem; }
+    out port heaterStatusOut : DataPort { out item payload : MemoExchangeItem; }
 
     connection : Composes connect parent ::> coffeeMachine to child ::> waterTank;
     connection : Composes connect parent ::> coffeeMachine to child ::> heaterAssembly;
@@ -66,6 +68,7 @@ package memo_examples_sysml_diagram_samples_model_samples_interconnection_view {
         attribute :>> shortDescription = "Balanced internal architecture with readable boundary ports, nested service diagnostics, and external water and beverage interfaces.";
         attribute :>> viewKind = DiagramViewKind::interconnection;
         attribute :>> diagramType = "ibd";
+        part :>> viewpointDefinition = logicalArchitectureViewpoint;
         part :>> selectionQuery {
             attribute :>> includeRelationshipKinds = ("Composes", "ExchangesWith");
         }