@memoarchitect/ontology 0.12.0 → 0.12.1

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

@@ -0,0 +1,97 @@
+package diagram_samples {
+    // Sequence sample (sequence view kind, `seq` diagram type). A FunctionalFlow
+    // owns an ordered chain of FunctionalFlowSteps; each step is `allocate`d to
+    // the lifeline (an actor or component) that performs it, and the sequence
+    // template lays lifelines out as columns with one row per step in
+    // declaration order.
+    private import ScalarValues::*;
+
+    private import memo_architecture_operational_context_actors::*;
+    private import memo_architecture_logical_structure::*;
+    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::*;
+
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+
+    // Lifelines — the actor and components each step is allocated to.
+    part clinician : User { attribute :>> name = "Clinician"; }
+    part pumpController : LogicalComponent { attribute :>> name = "Pump Controller"; }
+    part pumpMechanism : LogicalComponent { attribute :>> name = "Pump Mechanism"; }
+
+    // Combined fragment definitions — referenced by steps' `fragment` attribute.
+    part monitorLoop {
+        attribute :>> name = "Monitor Loop";
+        attribute fragmentType = "loop";
+        attribute guard = "vitals abnormal";
+    }
+    part errorHandling {
+        attribute :>> name = "Error Handling";
+        attribute fragmentType = "alt";
+        attribute fragmentGuards = "[error recoverable]|[else]";
+    }
+
+    action startInfusion : FunctionalFlow {
+        attribute :>> name = "Start Infusion";
+
+        action stepRequestStart : FunctionalFlowStep { attribute :>> name = "Request start infusion"; }
+        action stepValidate : FunctionalFlowStep { attribute :>> name = "Validate prescribed rate"; }
+        action stepCommandMotor : FunctionalFlowStep { attribute :>> name = "Command motor drive"; }
+        action stepConfirm : FunctionalFlowStep { attribute :>> name = "Confirm delivery started"; }
+
+        // Steps inside the monitoring loop fragment
+        action stepReadSensor : FunctionalFlowStep { attribute :>> name = "Read sensor data"; attribute stepOrder = "5"; attribute fragment = "monitorLoop"; }
+        action stepCheckVitals : FunctionalFlowStep { attribute :>> name = "Check vital signs"; attribute stepOrder = "6"; attribute fragment = "monitorLoop"; }
+
+        // Steps inside the alt (error-handling) fragment
+        action stepRetryDelivery : FunctionalFlowStep { attribute :>> name = "Retry delivery"; attribute stepOrder = "7"; attribute fragment = "errorHandling"; attribute fragmentOperand = "1"; }
+        action stepAlertUser : FunctionalFlowStep { attribute :>> name = "Alert user"; attribute stepOrder = "8"; attribute fragment = "errorHandling"; attribute fragmentOperand = "2"; }
+
+        action stepNotify : FunctionalFlowStep { attribute :>> name = "Notify delivery started"; attribute stepOrder = "9"; }
+
+        first start then stepRequestStart;
+        first stepRequestStart then stepValidate;
+        first stepValidate then stepCommandMotor;
+        first stepCommandMotor then stepConfirm;
+        first stepConfirm then stepReadSensor;
+        first stepReadSensor then stepCheckVitals;
+        first stepCheckVitals then stepRetryDelivery;
+        first stepCheckVitals then stepAlertUser;
+        first stepRetryDelivery then stepNotify;
+        first stepAlertUser then stepNotify;
+        first stepNotify then done;
+    }
+
+    // Lane assignment — which lifeline performs each step, in the order the
+    // sequence reads top to bottom: clinician requests, controller validates,
+    // mechanism drives, controller confirms, clinician is notified.
+    allocate startInfusion.stepRequestStart to clinician;
+    allocate startInfusion.stepValidate to pumpController;
+    allocate startInfusion.stepCommandMotor to pumpMechanism;
+    allocate startInfusion.stepConfirm to pumpController;
+    allocate startInfusion.stepReadSensor to pumpMechanism;
+    allocate startInfusion.stepCheckVitals to pumpController;
+    allocate startInfusion.stepRetryDelivery to pumpController;
+    allocate startInfusion.stepAlertUser to clinician;
+    allocate startInfusion.stepNotify to clinician;
+
+    view startInfusionSequence : MemoDiagramView {
+        expose startInfusion::**;
+        expose clinician::**;
+        expose pumpController::**;
+        expose pumpMechanism::**;
+        expose monitorLoop::**;
+        expose errorHandling::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Start-infusion sequence with combined fragments — loop for sensor monitoring and alt for error handling."; }
+        attribute :>> viewKind = DiagramViewKind::sequence;
+        attribute :>> diagramType = "seq";
+        ref :>> viewpointDefinition = sequenceViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeElementKinds = ("FunctionalFlowStep", "User", "LogicalComponent", "Part");
+        }
+    }
+}

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

@@ -1,17 +1,17 @@
-// Standard SysML v2 activity sample (actionflow view kind, `afd` diagram type).
-//
-// The view over `activity_example::CustomerProcess`, the standard-SysML activity
-// fixture in `model/sysml_v2_activity_example.sysml`. It exists because the
-// fixture's whole point is the node types `action_flow_view.sysml` does not
-// have — decision, merge, fork, join, accept, send, terminate, and guarded
-// successions. Without a view exposing it the fixture parses into the model and
-// is never drawn, which is indistinguishable from a renderer that cannot draw
-// decisions.
-//
-// Nothing here specializes a MEMO kind: the fixture is plain standard SysML,
-// and that is the property under test. The renderer classifies its nodes from
-// the metamodel (`activity-notation.ts`), not from an ontology kind.
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard_activity_view {
+package diagram_samples {
+    // Standard SysML v2 activity sample (actionflow view kind, `afd` diagram type).
+    //
+    // The view over `activity_example::CustomerProcess`, the standard-SysML activity
+    // fixture in `model/sysml_v2_activity_example.sysml`. It exists because the
+    // fixture's whole point is the node types `action_flow_view.sysml` does not
+    // have — decision, merge, fork, join, accept, send, terminate, and guarded
+    // successions. Without a view exposing it the fixture parses into the model and
+    // is never drawn, which is indistinguishable from a renderer that cannot draw
+    // decisions.
+    //
+    // Nothing here specializes a MEMO kind: the fixture is plain standard SysML,
+    // and that is the property under test. The renderer classifies its nodes from
+    // the metamodel (`activity-notation.ts`), not from an ontology kind.
     private import ScalarValues::*;
 
     private import memo_core_relationships::*;
@@ -23,12 +23,12 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    view standardActivityView : MemoDiagramView {
-        expose CustomerProcess::**;
+    view orderFulfillmentActivity : MemoDiagramView {
+        expose FulfillOrder::**;
         attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "Customer login, guarded validation, shopping loop, checkout, credit approval, and explicit completion outcomes."; }
+        @MemoIdentity { :>> shortDescription = "Order fulfilment — accept, validate, decide, fork into parallel shipment and invoice, join, notify, send receipt, and terminate."; }
         attribute :>> viewKind = DiagramViewKind::actionflow;
         attribute :>> diagramType = "afd";
-        ref :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = actionFlowViewpoint;
     }
 }

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

@@ -1,7 +1,7 @@
-// State transition sample (statetransition view kind, `stm` diagram type). A
-// behaviour machine owns its mode states by containing them, and each native
-// transition lives inside the state whose substates it connects.
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_transition_view {
+package diagram_samples {
+    // State transition sample (statetransition view kind, `stm` diagram type). A
+    // behaviour machine owns its mode states by containing them, and each native
+    // transition lives inside the state whose substates it connects.
     private import ScalarValues::*;
 
     private import memo_architecture_functional_behavior::*;
@@ -62,18 +62,30 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_tr
         }
     }
 
-    view sampleStateTransitionView : MemoDiagramView {
+    view pumpModeStateMachine : MemoDiagramView {
         expose pumpModes::**;
         attribute depth = 2;
         @MemoIdentity { :>> shortDescription = "A pump-mode state machine — Idle, Infusing, Paused, Alarm — where Infusing is a composite state nesting Priming, Delivering and Holding."; }
         attribute :>> viewKind = DiagramViewKind::statetransition;
         attribute :>> diagramType = "stm";
-        ref :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = stateMachineViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("StateMachine", "MemoState");
         }
     }
 
+    view infusingSubStates : MemoDiagramView {
+        expose pumpModes.infusing::**;
+        attribute depth = 2;
+        @MemoIdentity { :>> shortDescription = "Sub-states of the Infusing composite state — Priming, Delivering, and Holding with their internal transitions."; }
+        attribute :>> viewKind = DiagramViewKind::statetransition;
+        attribute :>> diagramType = "stm";
+        ref :>> viewpointDefinition = stateMachineViewpoint;
+        part :>> selectionQuery {
+            attribute :>> includeElementKinds = ("MemoState");
+        }
+    }
+
     // The machine is one containment tree, so exposing its root reaches every
     // state and transition; the former per-element IncludedIn list restated
     // that tree a second time and is gone with it.

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

@@ -1,4 +1,4 @@
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view {
+package diagram_samples {
     private import ScalarValues::*;
     private import memo_architecture_implementation_hardware_structure::*;
 
@@ -16,7 +16,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
             attribute :>> name = "Branch A.1";
             part leafA11 : HardwareAssembly {
                 attribute :>> name = "Leaf A.1.1";
-                attribute :>> partNumber = "PN-001";
+                attribute :>> partNumber = "PN-1";
             }
             part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
         }
@@ -33,13 +33,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_vie
         }
     }
 
-    view sampleTreeView : MemoDiagramView {
+    view blockDecomposition : MemoDiagramView {
         expose rootA::**;
         attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "One connected dummy hierarchy with varied branch depths for tree layout development."; }
+        @MemoIdentity { :>> shortDescription = "Block decomposition tree — hardware assemblies with varied branch depths."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
-        ref :>> viewpointDefinition = physicalViewpoint;
+        ref :>> viewpointDefinition = treeViewpoint;
         attribute :>> layoutHint = "tree";
         attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
         part :>> selectionQuery {

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

@@ -1,4 +1,4 @@
-package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view {
+package diagram_samples {
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_use_cases::*;
@@ -9,6 +9,15 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
+
+    // Generalization (specialization) relation for UML-style use-case diagrams.
+    // Source is the specific element, target the general one; the UCD renderer
+    // draws a solid line with a hollow triangle pointing at the general end.
+    connection def Specialization :> MemoRelationship {
+        end specialized :>> source;
+        end general :>> target;
+    }
+
     // Product-neutral fixture for the UML-style use-case presentation.
     part patient : User {
         attribute :>> actorKind = ActorKind::patient;
@@ -22,9 +31,13 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         attribute :>> actorKind = ActorKind::technician;
         attribute :>> name = "Service Technician";
     }
+    part nursingStaff : User {
+        attribute :>> actorKind = ActorKind::clinician;
+        attribute :>> name = "Nursing Staff";
+    }
 
     use case reviewStatus : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-001"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-1"; }
         attribute :>> name = "Review Device Status";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include validateTherapySettings;
@@ -32,7 +45,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case configureTherapy : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-002"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-2"; }
         attribute :>> name = "Configure Therapy";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include reviewStatus;
@@ -41,7 +54,7 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
         actor patientActor = patient;
     }
     use case maintainDevice : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-003"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-3"; }
         attribute :>> name = "Maintain Device";
         attribute :>> useCaseKind = UseCaseKind::service;
         subject supportingSystem;
@@ -49,14 +62,14 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     }
 
     use case documentTreatment : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-004"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-4"; }
         attribute :>> name = "Document Treatment";
         attribute :>> useCaseKind = UseCaseKind::clinical;
     }
 
     // L2 child of Review Device Status: makes L0 → L1 → L2 selectable.
     use case validateTherapySettings : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-005"; }
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-5"; }
         attribute :>> name = "Validate Therapy Settings";
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject supportingSystem;
@@ -67,24 +80,34 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case
     // specialization, and `:>` inherits the base's subject and actors.
     dependency from documentTreatment to reviewStatus;
 
-    view sampleUseCaseView : MemoDiagramView {
+    // Actor generalization: Nursing Staff is a specialization of Clinician.
+    // UML draws this as a solid line with a hollow triangle arrowhead pointing
+    // at the general actor.
+    connection : Specialization connect nursingStaff to clinician;
+
+    // Use-case generalization: Configure Therapy specializes Review Device
+    // Status — the general case is browsing status; configuring therapy is a
+    // more specific variant.
+    connection : Specialization connect configureTherapy to reviewStatus;
+
+    view deviceUseCases : MemoDiagramView {
         expose patient;
         expose clinician;
         expose serviceTechnician;
+        expose nursingStaff;
         expose reviewStatus;
         expose configureTherapy;
         expose maintainDevice;
         expose documentTreatment;
         expose validateTherapySettings;
-        @MemoIdentity { :>> shortDescription = "Actors outside a device boundary with include, extend, hierarchy-level, and orthogonal-routing presentation."; }
+        @MemoIdentity { :>> shortDescription = "Actors outside a device boundary with include, extend, generalization, hierarchy-level, and orthogonal-routing presentation."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "ucd";
-        ref :>> viewpointDefinition = operationalViewpoint;
+        ref :>> viewpointDefinition = useCaseViewpoint;
         part :>> selectionQuery {
             attribute :>> includeElementKinds = ("User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends");
+            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends", "Specialization");
         }
-        // Presentation is owned by the model view, rather than a canvas control.
         attribute :>> layoutHint = "usecase:level=all;edge=rounded";
     }
 }

package/extensions/aadl/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-aadl'
-version: 0.12.0
+version: 0.12.1
 description: AADL (SAE AS5506) correspondence profile and runtime component families
 license: MIT
 tags:

package/extensions/cloud/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-cloud'
-version: 0.12.0
+version: 0.12.1
 description: Networked services and managed data stores
 license: MIT
 tags:

package/extensions/container/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-container'
-version: 0.12.0
+version: 0.12.1
 description: OCI container images and container runtimes as deployment content
 license: MIT
 tags:

package/extensions/messaging/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-messaging'
-version: 0.12.0
+version: 0.12.1
 description: Publish/subscribe messaging — topics, brokers, and delivery semantics
 license: MIT
 tags:

package/extensions/ros/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-ros'
-version: 0.12.0
+version: 0.12.1
 description: ROS 2 nodes, messages, topic/service/action interfaces, QoS, and containerized deployment
 license: MIT
 tags:

package/methodologies/default/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-default'
-version: 0.12.0
+version: 0.12.1
 description: "MEMO default medical-device methodology \u2014 selects viewpoints/views/DHF documents from @memoarchitect/ontology and adds rules, gates, patterns, profiles, and workflow."
 license: MIT
 tags:

package/methodologies/gpca/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-gpca'
-version: 0.12.0
+version: 0.12.1
 description: "GPCA infusion pump methodology \u2014 subtraction-based tailoring of @memoarchitect/methodology-default for the non-networked prototype variant. Excludes cybersecurity and SOUP."
 license: MIT
 tags:

package/ontology/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/ontology'
-version: 0.12.0
+version: 0.12.1
 description: "MEMO \u2014 the single canonical medical-device ontology: core semantics, the Arcadia-inspired architecture layers (context, requirements, behavior, structure, interfaces, risk, cybersecurity,\
   \ assurance, \u2026), compliance, viewpoints, views, and invariant rules. One namespace (memo::), one src/ tree."
 license: MIT

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@memoarchitect/ontology",
-  "version": "0.12.0",
+  "version": "0.12.1",
   "packageManager": "pnpm@9.15.0",
   "description": "MEMO — Medical Engineering Modelling Ontology. Pure SysML v2 medical-device ontology with native constraints, portable to any conformant SysML v2 tool (SysIDE, SysON, sysand).",
   "scripts": {

package/profile/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/medical-modeling-profile'
-version: 0.12.0
+version: 0.12.1
 description: Closure rules and viewpoints for medical device modeling
 license: MIT
 tags: