@memoarchitect/ontology 0.12.1 → 0.15.0

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

@@ -7,7 +7,9 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: sysml-diagram-samples
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
 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"
+toolchain:
+  packager: internal

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

@@ -13,71 +13,61 @@ package memo_examples_sysml_diagram_samples_viewpoints_unassigned {
     private import memo_core_common::MemoIdentity;
 
     viewpoint contextDiagramViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-CTX"; }
-        attribute :>> name = "Context Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-CTX"; :>> label = "Context Diagram"; }
         @MemoIdentity { :>> shortDescription = "System context — actors, external systems, and boundary interactions."; }
         attribute :>> explorerOrder = 1;
     }
 
     viewpoint actionFlowViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-AFD"; }
-        attribute :>> name = "Action Flow";
+        @MemoIdentity { :>> providedId = "VP-DEMO-AFD"; :>> label = "Action Flow"; }
         @MemoIdentity { :>> shortDescription = "Swimlane action flows with typed item flows and composite actions."; }
         attribute :>> explorerOrder = 2;
     }
 
     viewpoint ibdViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-IBD"; }
-        attribute :>> name = "Internal Block Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-IBD"; :>> label = "Internal Block Diagram"; }
         @MemoIdentity { :>> shortDescription = "Internal structure — parts, ports, and connectors."; }
         attribute :>> explorerOrder = 3;
     }
 
     viewpoint stateMachineViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-STD"; }
-        attribute :>> name = "State Machine";
+        @MemoIdentity { :>> providedId = "VP-DEMO-STD"; :>> label = "State Machine"; }
         @MemoIdentity { :>> shortDescription = "State transitions with composite states and guards."; }
         attribute :>> explorerOrder = 4;
     }
 
     viewpoint sequenceViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-SEQ"; }
-        attribute :>> name = "Sequence Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-SEQ"; :>> label = "Sequence Diagram"; }
         @MemoIdentity { :>> shortDescription = "Message sequences with combined fragments (loop, alt)."; }
         attribute :>> explorerOrder = 5;
     }
 
     viewpoint useCaseViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-UCD"; }
-        attribute :>> name = "Use Case Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-UCD"; :>> label = "Use Case Diagram"; }
         @MemoIdentity { :>> shortDescription = "Actors, use cases, include/extend/generalization."; }
         attribute :>> explorerOrder = 6;
     }
 
     viewpoint requirementsDiagramViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-REQ"; }
-        attribute :>> name = "Requirements Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-REQ"; :>> label = "Requirements Diagram"; }
         @MemoIdentity { :>> shortDescription = "Needs, requirements, and derivation traces."; }
         attribute :>> explorerOrder = 7;
     }
 
     viewpoint browserViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-BRW"; }
-        attribute :>> name = "Browser View";
+        @MemoIdentity { :>> providedId = "VP-DEMO-BRW"; :>> label = "Browser View"; }
         @MemoIdentity { :>> shortDescription = "Hierarchical membership tree of model elements."; }
         attribute :>> explorerOrder = 8;
     }
 
     viewpoint gridViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-GRD"; }
-        attribute :>> name = "Grid / Table View";
+        @MemoIdentity { :>> providedId = "VP-DEMO-GRD"; :>> label = "Grid / Table View"; }
         @MemoIdentity { :>> shortDescription = "Tabular worksheet rendering of model attributes."; }
         attribute :>> explorerOrder = 9;
     }
 
     viewpoint treeViewpoint : MemoViewpoint {
-        @MemoIdentity { :>> providedId = "VP-DEMO-TRE"; }
-        attribute :>> name = "Decomposition Diagram";
+        @MemoIdentity { :>> providedId = "VP-DEMO-TRE"; :>> label = "Decomposition Diagram"; }
         @MemoIdentity { :>> shortDescription = "Block decomposition — hierarchical breakdown rendered as a tree."; }
         attribute :>> explorerOrder = 10;
     }

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

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_core_relationships::*;
     private import memo_architecture_logical_structure::*;
@@ -25,8 +26,8 @@ package diagram_samples {
     action def ProcessInput specializes SystemFunction { in item validated : EnergyToken; out item result : MaterialBatch; }
     action def RecordResult specializes SystemFunction { in item result : MaterialBatch; }
 
-    part laneA : LogicalComponent { attribute :>> name = "Lane A"; }
-    part laneB : LogicalComponent { attribute :>> name = "Lane B"; }
+    part laneA : LogicalComponent {@MemoIdentity { :>> label = "Lane A"; } }
+    part laneB : LogicalComponent {@MemoIdentity { :>> label = "Lane B"; } }
 
     action sampleActionFlow : SystemFunction {
         action receive : ReceiveInput;
@@ -42,9 +43,9 @@ package diagram_samples {
         }
         action record : RecordResult;
 
-        flow of DataPacket from receive.received to validate.received;
-        flow of EnergyToken from validate.validated to process.validated;
-        flow of MaterialBatch from process.result to record.result;
+        flow dataPacketFlow of DataPacket from receive.received to validate.received;
+        flow energyTokenFlow of EnergyToken from validate.validated to process.validated;
+        flow materialBatchFlow of MaterialBatch from process.result to record.result;
 
         first start then receive;
         first receive then validate;
@@ -78,27 +79,4 @@ package diagram_samples {
          * that is a duplicate of `dependency` rather than something more.
          */
     dependency linkLaneBProcessesInput from laneB to sampleActionFlow::process;
-
-    // Child action-flow view — the process composite action's own steps. Its
-    // subject is `sampleActionFlow.process`, so the parent action-flow shows a
-    // "navigate to view" button on the Process node.
-    view processStepsDetail : MemoDiagramView {
-        expose sampleActionFlow.process::**;
-        attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "Internal steps of the Process action — step A through C."; }
-        attribute :>> viewKind = DiagramViewKind::actionflow;
-        attribute :>> diagramType = "afd";
-        ref :>> viewpointDefinition = actionFlowViewpoint;
-    }
-
-    view therapySessionFlow : MemoDiagramView {
-        expose sampleActionFlow::**;
-        expose laneA;
-        expose laneB;
-        attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "Dummy actions, typed item flows, successions, and a composite action for renderer development."; }
-        attribute :>> viewKind = DiagramViewKind::actionflow;
-        attribute :>> diagramType = "afd";
-        ref :>> viewpointDefinition = actionFlowViewpoint;
-    }
 }

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

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_browser_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_use_cases::*;
@@ -16,73 +17,48 @@ package diagram_samples {
     // to demonstrate the browser view's hierarchical grouping by kind.
 
     part controlSystem : OperationalEntity {
-        attribute :>> name = "Control System";
-        attribute :>> entityKind = OperationalEntityKind::subsystem;
+@MemoIdentity { :>> label = "Control System"; }
 
         part supervisorModule : OperationalEntity {
-            attribute :>> name = "Supervisor Module";
-            attribute :>> entityKind = OperationalEntityKind::subsystem;
+@MemoIdentity { :>> label = "Supervisor Module"; }
         }
         part safetyModule : OperationalEntity {
-            attribute :>> name = "Safety Module";
-            attribute :>> entityKind = OperationalEntityKind::subsystem;
+@MemoIdentity { :>> label = "Safety Module"; }
         }
         part communicationModule : OperationalEntity {
-            attribute :>> name = "Communication Module";
-            attribute :>> entityKind = OperationalEntityKind::subsystem;
+@MemoIdentity { :>> label = "Communication Module"; }
         }
     }
 
     part systemOperator : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Operator";
+@MemoIdentity { :>> label = "Operator"; }
     }
     part maintenanceEngineer : User {
         attribute :>> actorKind = ActorKind::technician;
-        attribute :>> name = "Maintenance Engineer";
+@MemoIdentity { :>> label = "Maintenance Engineer"; }
     }
     part remoteMonitor : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Remote Monitor";
+@MemoIdentity { :>> label = "Remote Monitor"; }
     }
 
     use case startSystem : UseCase {
-        @MemoIdentity { :>> providedId = "UC-BRW-1"; }
-        attribute :>> name = "Start System";
+        @MemoIdentity { :>> providedId = "UC-BRW-1"; :>> label = "Start System"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject controlSystem;
         actor operatorActor = systemOperator;
     }
     use case runDiagnostics : UseCase {
-        @MemoIdentity { :>> providedId = "UC-BRW-2"; }
-        attribute :>> name = "Run Diagnostics";
+        @MemoIdentity { :>> providedId = "UC-BRW-2"; :>> label = "Run Diagnostics"; }
         attribute :>> useCaseKind = UseCaseKind::service;
         subject controlSystem;
         actor engineerActor = maintenanceEngineer;
     }
     use case monitorStatus : UseCase {
-        @MemoIdentity { :>> providedId = "UC-BRW-3"; }
-        attribute :>> name = "Monitor Status";
+        @MemoIdentity { :>> providedId = "UC-BRW-3"; :>> label = "Monitor Status"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject controlSystem;
         actor monitorActor = remoteMonitor;
     }
-
-    view operationalBrowserTree : MemoDiagramView {
-        expose controlSystem::**;
-        expose systemOperator;
-        expose maintenanceEngineer;
-        expose remoteMonitor;
-        expose startSystem::**;
-        expose runDiagnostics::**;
-        expose monitorStatus::**;
-        @MemoIdentity { :>> shortDescription = "Browser membership tree showing operational entities, actors, and use cases — demonstrates the browser view kind with mixed element types."; }
-        attribute :>> viewKind = DiagramViewKind::browser;
-        attribute :>> diagramType = "brw";
-        ref :>> viewpointDefinition = browserViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("OperationalEntity", "User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("Composes", "ParticipatesIn");
-        }
-    }
 }

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

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     // 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.
@@ -18,39 +19,26 @@ package diagram_samples {
     // black box. Context diagrams show its environment and interfaces, not its
     // internal decomposition.
     part infusionSystem : OperationalEntity {
-        attribute :>> name = "Infusion Pump System";
+@MemoIdentity { :>> label = "Infusion Pump System"; }
         attribute :>> entityKind = OperationalEntityKind::device;
         attribute :>> responsibility = "System of interest for this context view.";
+        out port pPharmacyOut : MemoPort;
     }
-    part clinician : User { attribute :>> name = "Clinician"; }
-    part patient : User { attribute :>> name = "Patient"; }
-    part biomedTech : User { attribute :>> name = "Biomedical Technician"; }
+    part clinician : User { }
+    part patient : User { }
+    part biomedTech : User {@MemoIdentity { :>> label = "Biomedical Technician"; } }
     part pharmacySystem : OperationalEntity {
-        attribute :>> name = "Pharmacy Information System";
+@MemoIdentity { :>> label = "Pharmacy Information System"; }
         attribute :>> entityKind = OperationalEntityKind::externalSystem;
+        in port pInfusionIn : MemoPort;
     }
-    part homeContext : UseContext { attribute :>> name = "Home Care Environment"; }
+    part homeContext : UseContext {@MemoIdentity { :>> label = "Home Care Environment"; } }
 
     connection connect clinician to infusionSystem;
     connection connect patient to infusionSystem;
     connection connect biomedTech to infusionSystem;
-    flow from infusionSystem to pharmacySystem;
+    // A flow end names a feature of its participant (`part.feature`): the black
+    // boxes exchange across their boundary, at these ports.
+    flow infusionSystemToPharmacySystem from infusionSystem.pPharmacyOut to pharmacySystem.pInfusionIn;
     connection : AppliesInContext connect useContext ::> homeContext to subjectElement ::> infusionSystem;
-
-    view systemContextDiagram : MemoDiagramView {
-        expose infusionSystem::**;
-        expose clinician;
-        expose patient;
-        expose biomedTech;
-        expose pharmacySystem;
-        expose homeContext;
-        attribute depth = 1;
-        @MemoIdentity { :>> 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";
-        ref :>> viewpointDefinition = contextDiagramViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("connect", "flow", "AppliesInContext");
-        }
-    }
 }