@memoarchitect/ontology 0.8.22 → 0.8.24

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (157) hide show
  1. package/README.md +1 -1
  2. package/examples/connected-patient-monitor/memo.package.yaml +3 -0
  3. package/examples/connected-patient-monitor/model/catalog/viewpoints/unassigned/views/connected_patient_monitor_overview.sysml +1 -1
  4. package/examples/embedded-infusion-pump/memo.package.yaml +3 -0
  5. package/examples/embedded-infusion-pump/model/catalog/embedded_infusion_pump.sysml +2 -2
  6. package/examples/embedded-infusion-pump/model/catalog/viewpoints/unassigned/views/embedded_infusion_pump_overview.sysml +1 -1
  7. package/examples/functional-logical-physical/memo.package.yaml +3 -0
  8. package/examples/functional-logical-physical/model/catalog/functional_logical_physical.sysml +1 -1
  9. package/examples/functional-logical-physical/model/catalog/viewpoints/unassigned/views/functional_logical_physical_overview.sysml +1 -1
  10. package/examples/gpca-pump/memo.package.yaml +3 -0
  11. package/examples/gpca-pump/model/catalog/gpca_context.sysml +5 -3
  12. package/examples/gpca-pump/model/catalog/gpca_cybersecurity.sysml +1 -2
  13. package/examples/gpca-pump/model/catalog/gpca_operational.sysml +52 -82
  14. package/examples/gpca-pump/model/catalog/gpca_system.sysml +6 -19
  15. package/examples/gpca-pump/model/catalog/gpca_trace.sysml +0 -3
  16. package/examples/gpca-pump/model/catalog/viewpoints/context/views/context_system_context_view.sysml +1 -3
  17. package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/views/cybersecurity_cybersecurity_view.sysml +2 -4
  18. package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/views/document_cyber_assessment_view.sysml +1 -4
  19. package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/views/document_threat_model_view.sysml +2 -5
  20. package/examples/gpca-pump/model/catalog/viewpoints/functional/views/functional_function_allocation_view.sysml +1 -3
  21. package/examples/gpca-pump/model/catalog/viewpoints/functional/views/functional_function_browser_view.sysml +1 -3
  22. package/examples/gpca-pump/model/catalog/viewpoints/logical/views/behavior_action_flow_view.sysml +1 -3
  23. package/examples/gpca-pump/model/catalog/viewpoints/logical/views/document_architecture_description_view.sysml +3 -6
  24. package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_device_interconnect_view.sysml +1 -3
  25. package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_logical_architecture_view.sysml +1 -3
  26. package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_mode_state_view.sysml +1 -3
  27. package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_system_decomposition_view.sysml +1 -3
  28. package/examples/gpca-pump/model/catalog/viewpoints/operational/views/operational_scenario_sequence_view.sysml +2 -4
  29. package/examples/gpca-pump/model/catalog/viewpoints/operational/views/operational_use_case_view.sysml +1 -3
  30. package/examples/gpca-pump/model/catalog/viewpoints/physical/views/physical_physical_bom_view.sysml +1 -3
  31. package/examples/gpca-pump/model/catalog/viewpoints/requirements/views/document_dhf_index_view.sysml +3 -6
  32. package/examples/gpca-pump/model/catalog/viewpoints/requirements/views/requirements_requirements_trace_view.sysml +1 -3
  33. package/examples/gpca-pump/model/catalog/viewpoints/risk/views/document_hazard_analysis_view.sysml +1 -4
  34. package/examples/gpca-pump/model/catalog/viewpoints/risk/views/document_rmf_view.sysml +1 -4
  35. package/examples/gpca-pump/model/catalog/viewpoints/risk/views/risk_fmea_view.sysml +1 -3
  36. package/examples/gpca-pump/model/catalog/viewpoints/risk/views/risk_risk_chain_view.sysml +1 -3
  37. package/examples/gpca-pump/model/catalog/viewpoints/software/views/document_sdd_view.sysml +1 -4
  38. package/examples/gpca-pump/model/catalog/viewpoints/software/views/software_software_architecture_view.sysml +1 -3
  39. package/examples/gpca-pump/model/catalog/viewpoints/usability/views/document_usability_view.sysml +2 -5
  40. package/examples/gpca-pump/model/catalog/viewpoints/verification/views/document_vv_view.sysml +1 -4
  41. package/examples/gpca-pump/model/catalog/viewpoints/verification/views/verification_verification_coverage_view.sysml +1 -3
  42. package/examples/ivd-laboratory-system/memo.package.yaml +3 -0
  43. package/examples/ivd-laboratory-system/model/catalog/ivd_laboratory_system.sysml +1 -1
  44. package/examples/ivd-laboratory-system/model/catalog/viewpoints/unassigned/views/ivd_laboratory_system_overview.sysml +1 -1
  45. package/examples/manual-surgical-instrument/memo.package.yaml +3 -0
  46. package/examples/manual-surgical-instrument/model/catalog/manual_surgical_instrument.sysml +1 -1
  47. package/examples/manual-surgical-instrument/model/catalog/viewpoints/unassigned/views/manual_surgical_instrument_overview.sysml +1 -1
  48. package/examples/multidimensional-layers/memo.package.yaml +3 -0
  49. package/examples/multidimensional-layers/model/catalog/viewpoints/unassigned/views/multidimensional_layers_overview.sysml +0 -1
  50. package/examples/nested-architecture-dsm/memo.package.yaml +3 -0
  51. package/examples/reusable-instrument/memo.package.yaml +3 -0
  52. package/examples/reusable-instrument/model/catalog/reusable_instrument.sysml +15 -24
  53. package/examples/reusable-instrument/model/catalog/viewpoints/unassigned/views/reusable_instrument_overview.sysml +0 -1
  54. package/examples/ros-mobile-robot/memo.package.yaml +3 -0
  55. package/examples/ros-mobile-robot/model/catalog/viewpoints/unassigned/views/ros_mobile_robot_overview.sysml +0 -1
  56. package/examples/software-only-medical-device/memo.package.yaml +3 -0
  57. package/examples/software-only-medical-device/model/catalog/software_only_medical_device.sysml +1 -1
  58. package/examples/software-only-medical-device/model/catalog/viewpoints/unassigned/views/software_only_medical_device_overview.sysml +0 -1
  59. package/examples/surgical-closure-workflow/memo.package.yaml +3 -0
  60. package/examples/surgical-closure-workflow/model/catalog/surgical_closure_workflow.sysml +36 -49
  61. package/examples/surgical-closure-workflow/model/catalog/viewpoints/unassigned/views/surgical_closure_workflow_overview.sysml +0 -1
  62. package/examples/surgical-robot/memo.package.yaml +3 -0
  63. package/examples/surgical-robot/model/catalog/viewpoints/unassigned/views/surgical_robot_overview.sysml +0 -1
  64. package/examples/sysml-diagram-samples/memo.package.yaml +2 -0
  65. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/action_flow_view.sysml +2 -3
  66. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/context_view.sysml +1 -2
  67. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/functional_flow_view.sysml +1 -2
  68. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/interconnection_view.sysml +1 -2
  69. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/operational_behaviour_view.sysml +14 -15
  70. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/requirements_view.sysml +1 -2
  71. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/standard_activity_view.sysml +1 -2
  72. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/state_transition_view.sysml +1 -2
  73. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/tree_view.sysml +1 -2
  74. package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/use_case_view.sysml +1 -2
  75. package/examples/temperature-alarm/memo.package.yaml +3 -0
  76. package/examples/temperature-alarm/model/catalog/temperature_alarm.sysml +4 -8
  77. package/examples/temperature-alarm/model/catalog/viewpoints/unassigned/views/temperature_alarm_overview.sysml +0 -1
  78. package/examples/ui-screen-regions/memo.package.yaml +3 -0
  79. package/examples/ui-screen-regions/model/catalog/viewpoints/functional/views/ui_functional_tree.sysml +1 -2
  80. package/examples/ui-screen-regions/model/catalog/viewpoints/requirements/views/ui_requirements_trace.sysml +1 -2
  81. package/examples/ui-screen-regions/model/catalog/viewpoints/risk/views/ui_risk_chain.sysml +1 -2
  82. package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/main_screen_layout.sysml +1 -2
  83. package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/settings_screen_layout.sysml +1 -2
  84. package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/ui_region_trace.sysml +1 -2
  85. package/extensions/aadl/memo.package.yaml +1 -1
  86. package/extensions/cloud/memo.package.yaml +1 -1
  87. package/extensions/container/memo.package.yaml +1 -1
  88. package/extensions/container/src/container_extension.sysml +2 -2
  89. package/extensions/messaging/memo.package.yaml +1 -1
  90. package/extensions/ros/memo.package.yaml +1 -1
  91. package/methodologies/default/memo.package.yaml +1 -1
  92. package/methodologies/gpca/memo.package.yaml +1 -1
  93. package/ontology/memo.package.yaml +1 -1
  94. package/package.json +1 -1
  95. package/profile/memo.package.yaml +1 -1
  96. package/src/architecture/functional/behavior/memo_behavior.sysml +4 -4
  97. package/src/architecture/functional/functions/memo_functions.sysml +6 -6
  98. package/src/architecture/implementation/hardware/common/memo_hardware_common.sysml +2 -2
  99. package/src/architecture/implementation/software/structure/memo_software_structure.sysml +7 -7
  100. package/src/architecture/implementation/ui/memo_ui.sysml +8 -8
  101. package/src/architecture/logical/interfaces/memo_interfaces.sysml +1 -1
  102. package/src/architecture/logical/structure/memo_logical_structure.sysml +5 -5
  103. package/src/architecture/operational/activities/memo_activities.sysml +19 -28
  104. package/src/architecture/operational/context/actors/memo_actors.sysml +5 -4
  105. package/src/architecture/operational/context/stakeholders/memo_stakeholders.sysml +7 -7
  106. package/src/architecture/operational/context/use_context/memo_use_context.sysml +2 -3
  107. package/src/architecture/operational/scenarios/memo_scenarios.sysml +18 -100
  108. package/src/architecture/operational/structure/memo_operational.sysml +42 -13
  109. package/src/architecture/operational/use_cases/memo_use_cases.sysml +0 -1
  110. package/src/architecture/operational/workflows/memo_workflows.sysml +20 -22
  111. package/src/architecture/realization/deployment/memo_deployment.sysml +10 -10
  112. package/src/architecture/realization/physical/memo_physical_architecture.sysml +2 -2
  113. package/src/artifacts/templates/dhf/system/sad.md +3 -3
  114. package/src/assurance/cybersecurity/memo_cybersecurity.sysml +2 -2
  115. package/src/assurance/human_factors/memo_human_factors.sysml +2 -2
  116. package/src/assurance/requirements/memo_requirements.sysml +2 -18
  117. package/src/assurance/safety_risk/analysis/memo_fmea.sysml +1 -1
  118. package/src/assurance/safety_risk/memo_risk.sysml +12 -0
  119. package/src/assurance/verification_validation/memo_assurance.sysml +1 -1
  120. package/src/core/common/memo_common.sysml +9 -5
  121. package/src/core/relationships/memo_relationships.sysml +8 -8
  122. package/src/methodology/workflow/memo_workflow.sysml +5 -5
  123. package/src/rules/closure/closure_rules.sysml +20 -20
  124. package/src/rules/crosslayer/cross_layer_rules.sysml +2 -2
  125. package/src/rules/ontology/ontology_invariants.sysml +40 -40
  126. package/src/rules/quantitative/quantitative_rules.sysml +2 -2
  127. package/src/viewpoints/catalog/memo_viewpoint_catalog.sysml +29 -29
  128. package/src/viewpoints/clinical/clinical_viewpoint.sysml +1 -2
  129. package/src/viewpoints/context/context_viewpoint.sysml +1 -2
  130. package/src/viewpoints/context/views/system_context_view/system_context_view.sysml +1 -2
  131. package/src/viewpoints/cybersecurity/cybersecurity_viewpoint.sysml +2 -4
  132. package/src/viewpoints/definitions/memo_viewpoint_definitions.sysml +46 -4
  133. package/src/viewpoints/functional/functional_viewpoint.sysml +2 -3
  134. package/src/viewpoints/functional/views/function_allocation_view/function_allocation_view.sysml +1 -2
  135. package/src/viewpoints/functional/views/system_functional_tree_view/system_functional_tree_view.sysml +1 -2
  136. package/src/viewpoints/logical/logical_viewpoint.sysml +1 -2
  137. package/src/viewpoints/logical/views/logical_architecture_view/logical_architecture_view.sysml +1 -2
  138. package/src/viewpoints/operational/operational_viewpoint.sysml +2 -3
  139. package/src/viewpoints/operational/views/use_case_view/use_case_view.sysml +2 -3
  140. package/src/viewpoints/physical/physical_viewpoint.sysml +1 -2
  141. package/src/viewpoints/physical/views/network_topology_view/network_topology_view.sysml +1 -2
  142. package/src/viewpoints/physical/views/physical_bom_view/physical_bom_view.sysml +1 -2
  143. package/src/viewpoints/requirements/requirements_viewpoint.sysml +1 -2
  144. package/src/viewpoints/requirements/views/requirements_traceability_view/requirements_traceability_view.sysml +1 -2
  145. package/src/viewpoints/risk/risk_viewpoint.sysml +1 -2
  146. package/src/viewpoints/risk/views/risk_chain_view/risk_chain_view.sysml +1 -2
  147. package/src/viewpoints/software/software_viewpoint.sysml +1 -2
  148. package/src/viewpoints/software/views/software_architecture_view/software_architecture_view.sysml +1 -2
  149. package/src/viewpoints/ui_layout/ui_layout_viewpoint.sysml +1 -2
  150. package/src/viewpoints/usability/usability_viewpoint.sysml +1 -2
  151. package/src/viewpoints/verification/verification_viewpoint.sysml +1 -2
  152. package/src/viewpoints/verification/views/verification_coverage_view/verification_coverage_view.sysml +1 -2
  153. package/templates/connected-device/memo.package.yaml +2 -0
  154. package/templates/default/memo.package.yaml +2 -0
  155. package/templates/infusion-pump/memo.package.yaml +2 -0
  156. package/templates/monitoring-device/memo.package.yaml +2 -0
  157. package/templates/samd/memo.package.yaml +2 -0
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-FUN-103";
20
20
  attribute :>> name = "GPCA_FunctionBrowserView";
21
- attribute :>> title = "GPCA Function Browser";
22
21
  attribute :>> shortDescription = "Membership tree over the functions layer: logical functions, flows, and the exchange item definitions, grouped by kind.";
23
22
  attribute :>> description = "Browser view (SysML v2 browser view kind) exposing the functions-layer membership hierarchy as a first-class view: the eleven logical functions, the logical flows connecting them, and the data/control definitions they exchange — with kind icons, expand/collapse, and filtering.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
27
26
  attribute :>> dataSourceDescription = "GPCA logical functions, flows, and exchange item definitions";
28
27
  attribute :>> autoPopulate = true;
29
28
  attribute :>> queryDescription = "Include the functions layer's functions, flows, and exchange item definitions.";
30
- attribute :>> documentUsage = ("SDD");
31
29
  part :>> selectionQuery {
32
30
  attribute :>> id = "QRY-FUN-103";
33
31
  attribute :>> name = "GPCA_FunctionBrowserQuery";
@@ -36,6 +34,6 @@ package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_
36
34
  attribute :>> selectionExpression = "product == 'GPCA'";
37
35
  attribute :>> rationaleText = "Auto-populate the function browser from the functions layer.";
38
36
  }
39
- part :>> viewpointDefinition = functionalViewpoint;
37
+ ref :>> viewpointDefinition = functionalViewpoint;
40
38
  }
41
39
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_vi
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-BHV-003";
20
20
  attribute :>> name = "GPCA_InfusionDeliveryActionFlowView";
21
- attribute :>> title = "GPCA Infusion Delivery Action Flow";
22
21
  attribute :>> shortDescription = "The 20 ms execution-step pipeline from sensor acquisition through alarm evaluation and dose limiting to pump actuation and event logging.";
23
22
  attribute :>> description = "Action flow over the infusionDeliveryFlow composite action: typed action steps with in/out parameters, item flows carrying the DD/CD exchange items, succession ordering from start to done, and swimlane allocation onto the logical architecture (sensors, alarm, infusion manager, pump motor, logging).";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_vi
28
27
  attribute :>> dataSourceDescription = "GPCA infusion delivery composite action, item flows, and successions";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include the nested action usages of the infusion delivery flow with their flows and successions.";
31
- attribute :>> documentUsage = ("SDD");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-BHV-103";
34
32
  attribute :>> name = "GPCA_ActionFlowQuery";
@@ -36,6 +34,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_vi
36
34
  attribute :>> selectionExpression = "product == 'GPCA'";
37
35
  attribute :>> rationaleText = "Auto-populate the action flow view from the behavior layer's action usages.";
38
36
  }
39
- part :>> viewpointDefinition = logicalArchitectureViewpoint;
37
+ ref :>> viewpointDefinition = logicalArchitectureViewpoint;
40
38
  }
41
39
  }
@@ -11,7 +11,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_d
11
11
  expose memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view::*;
12
12
  attribute :>> id = "DOC-005";
13
13
  attribute :>> name = "ArchitectureDescriptionView";
14
- attribute :>> title = "GPCA System Architecture Description View";
15
14
  attribute :>> shortDescription = "ISO/IEC/IEEE 42010 architecture description across all layers.";
16
15
  attribute :>> description = "Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description.";
17
16
  attribute :>> version = "0.1";
@@ -19,11 +18,9 @@ package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_d
19
18
  attribute :>> viewKind = DocumentViewKind::architectureDescription;
20
19
  attribute :>> generationRule = "Include all architecture layers, functional chains, interfaces, and the physical BOM with cross-layer allocations";
21
20
  attribute :>> marketScope = "generic";
22
- attribute :>> documentUsage = ("Architecture Description", "DHF");
23
- attribute :>> sectionIdentifier = "AD";
24
- part vpLogicalArchitecture :> viewpointDefinition = logicalArchitectureViewpoint;
25
- part vpSoftware :> viewpointDefinition = softwareViewpoint;
26
- part vpPhysical :> viewpointDefinition = physicalViewpoint;
21
+ ref vpLogicalArchitecture :> viewpointDefinition = logicalArchitectureViewpoint;
22
+ ref vpSoftware :> viewpointDefinition = softwareViewpoint;
23
+ ref vpPhysical :> viewpointDefinition = physicalViewpoint;
27
24
  part :>> selectionQuery {
28
25
  attribute :>> id = "QRY-DOC-005";
29
26
  attribute :>> name = "architectureDescriptionViewQuery";
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_intercon
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-LOG-003";
20
20
  attribute :>> name = "GPCA_DeviceInterconnectView";
21
- attribute :>> title = "GPCA Device Interconnect View";
22
21
  attribute :>> shortDescription = "AADL device-level interconnection: GPCA_HW_Sensors, GPCA_SW, and GPCA_HW_Actuators with their declared boundary features.";
23
22
  attribute :>> description = "Source-faithful interconnection view of GPCA_Device.Impl: exactly the three AADL subcomponents (GPCA_HW_Sensors, GPCA_SW, GPCA_HW_Actuators), the device and subsystem boundary ports, and the twelve declared port connections. MEMO physical-design additions such as the controller board, power sources, enclosure, and individual sensors/actuators are intentionally excluded because the published AADL v2.0 model does not declare them as GPCA_Device.Impl subcomponents. Drill into GPCA_SW to inspect its eight subcomponents and 42 internal connections; use the connection-density control to switch between bundled summary and full fidelity.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_intercon
28
27
  attribute :>> dataSourceDescription = "GPCA hardware assemblies, software system, software components, boundary ports, and the flow/bind/Composes topology";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include hardware assemblies, the software system with its components and boundary ports, and the exchange topology between them.";
31
- attribute :>> documentUsage = ("SDD", "Architecture Description", "QMSR");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-LOG-003";
34
32
  attribute :>> name = "GPCA_DeviceInterconnectQuery";
@@ -38,6 +36,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_intercon
38
36
  attribute :>> selectionExpression = "product == 'GPCA'";
39
37
  attribute :>> rationaleText = "Render the device interconnect: parts with boundary ports as nodes, AADL connections as typed connectors, composition as nesting.";
40
38
  }
41
- part :>> viewpointDefinition = logicalArchitectureViewpoint;
39
+ ref :>> viewpointDefinition = logicalArchitectureViewpoint;
42
40
  }
43
41
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-LOG-001";
20
20
  attribute :>> name = "GPCA_LogicalArchitectureView";
21
- attribute :>> title = "GPCA Logical Architecture View";
22
21
  attribute :>> shortDescription = "Logical decomposition of the GPCA system.";
23
22
  attribute :>> description = "Product-specific logical architecture view that references the default logical architecture viewpoint and is intended for design description and architecture communication.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
28
27
  attribute :>> dataSourceDescription = "GPCA architecture and interface model elements";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include GPCA logical components and key interfaces relevant to therapy control.";
31
- attribute :>> documentUsage = ("SDD", "Architecture Description", "QMSR");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-LOG-001";
34
32
  attribute :>> name = "GPCA_LogicalArchitectureQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
37
35
  attribute :>> selectionExpression = "product == 'GPCA' and concern contains therapy control";
38
36
  attribute :>> rationaleText = "Auto-populate the GPCA logical architecture view from the core product model.";
39
37
  }
40
- part :>> viewpointDefinition = logicalArchitectureViewpoint;
38
+ ref :>> viewpointDefinition = logicalArchitectureViewpoint;
41
39
  }
42
40
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-BHV-001";
20
20
  attribute :>> name = "GPCA_ModeStateView";
21
- attribute :>> title = "GPCA Top-Level Mode State View";
22
21
  attribute :>> shortDescription = "The CriSys Fig 4.1 mode hierarchy (OFF, ON, IDLE, THERAPY, PAUSED, ACTIVE, BASAL, SQUARE_BOLUS, PATIENT_BOLUS) and all guarded transitions.";
23
22
  attribute :>> description = "Hierarchical state diagram per CriSys §4.1 Fig 4.1: OFF and ON at top level, IDLE and THERAPY under ON, PAUSED (KVO delivery) and ACTIVE under THERAPY, and BASAL / SQUARE_BOLUS (auto-scheduled) / PATIENT_BOLUS under ACTIVE — with the REQ 4-47 transitions, Inhibited_* macro guards, and same-step-critical markings.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
28
27
  attribute :>> dataSourceDescription = "GPCA behavior machine, mode states, and transitions";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include the mode machine, the Fig 4.1 mode tree (Composes edges), transitions, and safety properties.";
31
- attribute :>> documentUsage = ("SDD", "RMF");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-BHV-101";
34
32
  attribute :>> name = "GPCA_ModeStateQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
37
35
  attribute :>> selectionExpression = "product == 'GPCA'";
38
36
  attribute :>> rationaleText = "Auto-populate the mode state view from the behavior layer.";
39
37
  }
40
- part :>> viewpointDefinition = logicalArchitectureViewpoint;
38
+ ref :>> viewpointDefinition = logicalArchitectureViewpoint;
41
39
  }
42
40
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-LOG-002";
20
20
  attribute :>> name = "GPCA_SystemDecompositionView";
21
- attribute :>> title = "GPCA System Decomposition View";
22
21
  attribute :>> shortDescription = "Nested containment of the GPCA device: hardware assemblies and the software system.";
23
22
  attribute :>> description = "General-kind membership structure of the GPCA device per the AADL GPCA_Device.Impl decomposition: sensor and actuator assemblies with their subcomponents, supporting hardware, and the GPCA software system with its eight AADL subcomponents. Rendered through the KK-2 General view template in containment mode (nested blocks with expand/collapse; the tree mode shows the same hierarchy as a decomposition tree).";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -29,7 +28,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
29
28
  attribute :>> dataSourceDescription = "GPCA hardware assemblies, software system, and software components with their Composes hierarchy";
30
29
  attribute :>> autoPopulate = true;
31
30
  attribute :>> queryDescription = "Include hardware assemblies, the software system, and software components; the Composes topology supplies the nesting.";
32
- attribute :>> documentUsage = ("SDD", "Architecture Description");
33
31
  part :>> selectionQuery {
34
32
  attribute :>> id = "QRY-LOG-002";
35
33
  attribute :>> name = "GPCA_SystemDecompositionQuery";
@@ -39,6 +37,6 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
39
37
  attribute :>> selectionExpression = "product == 'GPCA'";
40
38
  attribute :>> rationaleText = "Populate the decomposition from the device structure; composition edges drive the containment nesting.";
41
39
  }
42
- part :>> viewpointDefinition = logicalArchitectureViewpoint;
40
+ ref :>> viewpointDefinition = logicalArchitectureViewpoint;
43
41
  }
44
42
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenari
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-BHV-002";
20
20
  attribute :>> name = "GPCA_ScenarioSequenceView";
21
- attribute :>> title = "GPCA Scenario Sequence View";
22
21
  attribute :>> shortDescription = "Key therapy and alarm scenarios rendered as sequences over the functional chains.";
23
22
  attribute :>> outputKind = (ViewOutputKind::diagram);
24
23
  attribute :>> presentationKind = (PresentationKind::activityDiagram);
@@ -27,15 +26,14 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenari
27
26
  attribute :>> dataSourceDescription = "GPCA system scenarios, functional chains, and chain steps";
28
27
  attribute :>> autoPopulate = true;
29
28
  attribute :>> queryDescription = "Include system scenarios with the functional chains and steps that realize them.";
30
- attribute :>> documentUsage = ("SDD", "VV");
31
29
  part :>> selectionQuery {
32
30
  attribute :>> id = "QRY-BHV-102";
33
31
  attribute :>> name = "GPCA_ScenarioSequenceQuery";
34
- attribute :>> includeElementKinds = ("MemoScenario[scenarioKind=functional]", "MemoScenario[scenarioKind=operative]", "FunctionalFlow", "FunctionalFlowStep");
32
+ attribute :>> includeElementKinds = ("OperativeScenario[scenarioKind=functional]", "OperativeScenario[scenarioKind=operative]", "FunctionalFlow", "FunctionalFlowStep");
35
33
  attribute :>> includeLayers = ("operational", "system");
36
34
  attribute :>> selectionExpression = "product == 'GPCA'";
37
35
  attribute :>> rationaleText = "Auto-populate scenario sequences from the system layer.";
38
36
  }
39
- part :>> viewpointDefinition = operationalViewpoint;
37
+ ref :>> viewpointDefinition = operationalViewpoint;
40
38
  }
41
39
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-OPS-101";
20
20
  attribute :>> name = "GPCA_UseCaseView";
21
- attribute :>> title = "GPCA Use Case View";
22
21
  attribute :>> shortDescription = "Actors connected to the patient-controlled analgesia use case.";
23
22
  attribute :>> description = "Connects the nurse, patient, prescriber, and pharmacist to the patient-controlled analgesia use case.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
28
27
  attribute :>> dataSourceDescription = "GPCA use case and participating context actors";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include actors, use cases, and their participation relationships.";
31
- attribute :>> documentUsage = ("Usability Engineering File", "Architecture Description");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-OPS-101";
34
32
  attribute :>> name = "GPCA_UseCaseQuery";
@@ -38,6 +36,6 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
38
36
  attribute :>> selectionExpression = "product == 'GPCA'";
39
37
  attribute :>> rationaleText = "Auto-populate the GPCA use case view from the operational layer.";
40
38
  }
41
- part :>> viewpointDefinition = operationalViewpoint;
39
+ ref :>> viewpointDefinition = operationalViewpoint;
42
40
  }
43
41
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-PHY-101";
20
20
  attribute :>> name = "GPCA_PhysicalBomView";
21
- attribute :>> title = "GPCA Physical Architecture and BOM View";
22
21
  attribute :>> shortDescription = "Hardware assemblies, processing node, physical ports, and part numbers.";
23
22
  attribute :>> outputKind = (ViewOutputKind::table);
24
23
  attribute :>> presentationKind = (PresentationKind::blockDiagram);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
27
26
  attribute :>> dataSourceDescription = "GPCA hardware assemblies, processing node, and physical ports";
28
27
  attribute :>> autoPopulate = true;
29
28
  attribute :>> queryDescription = "Include hardware assemblies with part numbers, the MCU node, and external ports.";
30
- attribute :>> documentUsage = ("Architecture Description", "DHF");
31
29
  part :>> selectionQuery {
32
30
  attribute :>> id = "QRY-PHY-101";
33
31
  attribute :>> name = "GPCA_PhysicalBomQuery";
@@ -36,6 +34,6 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
36
34
  attribute :>> selectionExpression = "product == 'GPCA'";
37
35
  attribute :>> rationaleText = "Auto-populate the physical BOM from the hardware and physical layers.";
38
36
  }
39
- part :>> viewpointDefinition = physicalViewpoint;
37
+ ref :>> viewpointDefinition = physicalViewpoint;
40
38
  }
41
39
  }
@@ -11,7 +11,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index
11
11
  expose memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view::*;
12
12
  attribute :>> id = "DOC-007";
13
13
  attribute :>> name = "DesignHistoryFileIndexView";
14
- attribute :>> title = "GPCA Design History File Index View";
15
14
  attribute :>> shortDescription = "Index of design inputs, outputs, reviews, and V&V records for the DHF.";
16
15
  attribute :>> description = "Collects the document-backed views (requirements, architecture, SDD, RMF, VV, usability, cybersecurity) into the design history file index required by 21 CFR 820.30(j).";
17
16
  attribute :>> version = "0.1";
@@ -19,11 +18,9 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index
19
18
  attribute :>> viewKind = DocumentViewKind::DHF;
20
19
  attribute :>> generationRule = "Index every document-backed view with version and lifecycle state";
21
20
  attribute :>> marketScope = "generic";
22
- attribute :>> documentUsage = ("DHF");
23
- attribute :>> sectionIdentifier = "DHF";
24
- part vpRequirements :> viewpointDefinition = requirementsViewpoint;
25
- part vpRisk :> viewpointDefinition = riskViewpoint;
26
- part vpVerification :> viewpointDefinition = verificationViewpoint;
21
+ ref vpRequirements :> viewpointDefinition = requirementsViewpoint;
22
+ ref vpRisk :> viewpointDefinition = riskViewpoint;
23
+ ref vpVerification :> viewpointDefinition = verificationViewpoint;
27
24
  part :>> selectionQuery {
28
25
  attribute :>> id = "QRY-DOC-007";
29
26
  attribute :>> name = "dhfIndexViewQuery";
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-REQ-101";
20
20
  attribute :>> name = "GPCA_RequirementsTraceabilityView";
21
- attribute :>> title = "GPCA Requirements Traceability View";
22
21
  attribute :>> shortDescription = "Needs to system/software/hardware requirements to satisfying components and verification.";
23
22
  attribute :>> outputKind = (ViewOutputKind::matrix);
24
23
  attribute :>> presentationKind = (PresentationKind::traceMatrix);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
27
26
  attribute :>> dataSourceDescription = "GPCA requirements with DerivesFrom, SatisfiedBy, and VerifiedBy links";
28
27
  attribute :>> autoPopulate = true;
29
28
  attribute :>> queryDescription = "Include all needs and requirements with derivation, satisfaction, and verification links.";
30
- attribute :>> documentUsage = ("Requirements Traceability Matrix", "DHF", "QMSR");
31
29
  part :>> selectionQuery {
32
30
  attribute :>> id = "QRY-REQ-101";
33
31
  attribute :>> name = "GPCA_RequirementsTraceQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
37
35
  attribute :>> selectionExpression = "product == 'GPCA'";
38
36
  attribute :>> rationaleText = "Full derivation-to-verification traceability for design reviews.";
39
37
  }
40
- part :>> viewpointDefinition = requirementsViewpoint;
38
+ ref :>> viewpointDefinition = requirementsViewpoint;
41
39
  }
42
40
  }
@@ -12,7 +12,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_v
12
12
  expose ftaOverdose;
13
13
  attribute :>> id = "DOC-009";
14
14
  attribute :>> name = "HazardAnalysisReportView";
15
- attribute :>> title = "GPCA Hazard Analysis Report View";
16
15
  attribute :>> shortDescription = "Hazard analysis report aligned to the UMN CriSys GPCA hazard tables.";
17
16
  attribute :>> description = "Aggregates the five hazard chains, the FMEA worksheet, and the overdose fault tree with their controls and verification pointers.";
18
17
  attribute :>> version = "0.1";
@@ -20,9 +19,7 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_v
20
19
  attribute :>> viewKind = DocumentViewKind::RMF;
21
20
  attribute :>> generationRule = "Include hazards, sequences of events, situations, harms, FMEA rows, fault tree, and controls";
22
21
  attribute :>> marketScope = "generic";
23
- attribute :>> documentUsage = ("Hazard Analysis Report", "RMF");
24
- attribute :>> sectionIdentifier = "HAZ";
25
- part :>> viewpointDefinition = riskViewpoint;
22
+ ref :>> viewpointDefinition = riskViewpoint;
26
23
  part :>> selectionQuery {
27
24
  attribute :>> id = "QRY-DOC-003";
28
25
  attribute :>> name = "hazardAnalysisViewQuery";
@@ -11,7 +11,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
11
11
  expose evidenceLockout;
12
12
  attribute :>> id = "DOC-001";
13
13
  attribute :>> name = "RiskManagementFileView";
14
- attribute :>> title = "GPCA Risk Management File View";
15
14
  attribute :>> shortDescription = "Document-backed risk view for GPCA.";
16
15
  attribute :>> description = "Aggregates the risk chain, controls, verification, residual risk, and cybersecurity links needed for the GPCA risk management file.";
17
16
  attribute :>> version = "0.2";
@@ -19,9 +18,7 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
19
18
  attribute :>> viewKind = DocumentViewKind::RMF;
20
19
  attribute :>> generationRule = "Include risk chain, controls, verification, residual risk, and cybersecurity traceability";
21
20
  attribute :>> marketScope = "generic";
22
- attribute :>> documentUsage = ("RMF", "QMSR");
23
- attribute :>> sectionIdentifier = "RMF";
24
- part :>> viewpointDefinition = riskViewpoint;
21
+ ref :>> viewpointDefinition = riskViewpoint;
25
22
  part :>> selectionQuery {
26
23
  attribute :>> id = "QRY-DOC-001";
27
24
  attribute :>> name = "rmfViewQuery";
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-RISK-102";
20
20
  attribute :>> name = "GPCA_FmeaView";
21
- attribute :>> title = "GPCA FMEA and Fault Tree View";
22
21
  attribute :>> shortDescription = "Failure modes with causes, effects, detection, RPN, and the overdose fault tree.";
23
22
  attribute :>> outputKind = (ViewOutputKind::table);
24
23
  attribute :>> presentationKind = (PresentationKind::riskTable);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
27
26
  attribute :>> dataSourceDescription = "GPCA FMEA worksheet, failure modes, fault tree events, gates, and cut sets";
28
27
  attribute :>> autoPopulate = true;
29
28
  attribute :>> queryDescription = "Include FMEA worksheet rows and the overdose fault tree structure.";
30
- attribute :>> documentUsage = ("FMEA", "RMF");
31
29
  part :>> selectionQuery {
32
30
  attribute :>> id = "QRY-RISK-102";
33
31
  attribute :>> name = "GPCA_FmeaQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
37
35
  attribute :>> selectionExpression = "product == 'GPCA'";
38
36
  attribute :>> rationaleText = "Auto-populate the FMEA/FTA view from the analysis layer.";
39
37
  }
40
- part :>> viewpointDefinition = riskViewpoint;
38
+ ref :>> viewpointDefinition = riskViewpoint;
41
39
  }
42
40
  }
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-RISK-101";
20
20
  attribute :>> name = "GPCA_RiskChainView";
21
- attribute :>> title = "GPCA Risk Mitigation Chain View";
22
21
  attribute :>> shortDescription = "All seven hazard causal trees from categorized cause through harm with controls and residual risk.";
23
22
  attribute :>> description = "Opioid over-infusion, under-infusion, air embolism, misprogramming, free-flow, reverse-delivery, and VTBI over-infusion causal trees (GIIP cause-source structure): categorized causes converging on each hazard, sequences of events, hazardous situations, harms, risk estimates, controls, and residual evaluations.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
28
27
  attribute :>> dataSourceDescription = "GPCA risk layer and TracesRisk/MitigatesHazard links";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include hazards, sequences, situations, harms, risks before/after, controls, and residual evaluation.";
31
- attribute :>> documentUsage = ("RMF", "Hazard Analysis Report", "QMSR");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-RISK-101";
34
32
  attribute :>> name = "GPCA_RiskChainQuery";
@@ -39,6 +37,6 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
39
37
  attribute :>> selectionExpression = "product == 'GPCA'";
40
38
  attribute :>> rationaleText = "Auto-populate the risk chain diagram from the risk layer.";
41
39
  }
42
- part :>> viewpointDefinition = riskViewpoint;
40
+ ref :>> viewpointDefinition = riskViewpoint;
43
41
  }
44
42
  }
@@ -9,7 +9,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
9
9
  expose memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view::*;
10
10
  attribute :>> id = "DOC-004";
11
11
  attribute :>> name = "SoftwareDesignDescriptionView";
12
- attribute :>> title = "GPCA Software Design Description View";
13
12
  attribute :>> shortDescription = "IEC 62304 software design description for the GPCA software system.";
14
13
  attribute :>> description = "Aggregates the software system, its six components with safety classes and scheduling attributes, mode machine and transitions, interfaces, and function allocations for the SDD.";
15
14
  attribute :>> version = "0.1";
@@ -17,9 +16,7 @@ package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
17
16
  attribute :>> viewKind = DocumentViewKind::SDD;
18
17
  attribute :>> generationRule = "Include software structure, behavior machine with transitions, software interfaces, allocations, and timing constraints";
19
18
  attribute :>> marketScope = "generic";
20
- attribute :>> documentUsage = ("SDD", "QMSR");
21
- attribute :>> sectionIdentifier = "SDD";
22
- part :>> viewpointDefinition = softwareViewpoint;
19
+ ref :>> viewpointDefinition = softwareViewpoint;
23
20
  part :>> selectionQuery {
24
21
  attribute :>> id = "QRY-DOC-004";
25
22
  attribute :>> name = "sddViewQuery";
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-SW-101";
20
20
  attribute :>> name = "GPCA_SoftwareArchitectureView";
21
- attribute :>> title = "GPCA Software Architecture View";
22
21
  attribute :>> shortDescription = "The eight AADL GPCA_SW.Impl subcomponents, top-level ports, and the full inter-component connection topology.";
23
22
  attribute :>> description = "Top_Level_Mode, System_Status, Alarm, Config, Infusion_Manager, System_Monitor, Logging, and OutputBus inside the GPCA_Software system, wired per GPCA_SW.Impl with the seven top-level ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT). Connections are synchronous with AADL immediate port semantics.";
24
23
  attribute :>> outputKind = (ViewOutputKind::diagram);
@@ -28,7 +27,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
28
27
  attribute :>> dataSourceDescription = "GPCA software structure, top-level ports, and the GPCA_SW.Impl connection set (CE-101..CE-142)";
29
28
  attribute :>> autoPopulate = true;
30
29
  attribute :>> queryDescription = "Include the software system, its eight components, its boundary ports, and the flow and delegation topology between them.";
31
- attribute :>> documentUsage = ("SDD", "QMSR");
32
30
  part :>> selectionQuery {
33
31
  attribute :>> id = "QRY-SW-101";
34
32
  attribute :>> name = "GPCA_SoftwareArchitectureQuery";
@@ -38,6 +36,6 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
38
36
  attribute :>> selectionExpression = "product == 'GPCA'";
39
37
  attribute :>> rationaleText = "Render the real GPCA_SW.Impl topology: components and boundary ports as nodes, AADL connections as edges.";
40
38
  }
41
- part :>> viewpointDefinition = softwareViewpoint;
39
+ ref :>> viewpointDefinition = softwareViewpoint;
42
40
  }
43
41
  }
@@ -12,19 +12,16 @@ package memo_examples_gpca_pump_viewpoints_usability_views_document_usability_vi
12
12
  expose evidenceUsability;
13
13
  attribute :>> id = "DOC-008";
14
14
  attribute :>> name = "UsabilityEngineeringFileView";
15
- attribute :>> title = "GPCA Usability Engineering File View";
16
15
  attribute :>> shortDescription = "IEC 62366-1 usability engineering file content for GPCA.";
17
16
  attribute :>> description = "Aggregates intended use, use contexts, actors, foreseeable use errors, related risk chains, usability requirements, and the summative usability validation case.";
18
17
  attribute :>> version = "0.1";
19
18
  attribute :>> lifecycleState = LifecycleStateKind::development;
20
19
  attribute :>> marketScope = "generic";
21
- attribute :>> documentUsage = ("Usability Engineering File", "DHF");
22
- attribute :>> sectionIdentifier = "UEF";
23
- part :>> viewpointDefinition = usabilityViewpoint;
20
+ ref :>> viewpointDefinition = usabilityViewpoint;
24
21
  part :>> selectionQuery {
25
22
  attribute :>> id = "QRY-DOC-002";
26
23
  attribute :>> name = "usabilityViewQuery";
27
- attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "MemoScenario[scenarioKind=operative]", "IntendedUse", "ReasonablyForeseeableMisuse");
24
+ attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "OperativeScenario[scenarioKind=operative]", "IntendedUse", "ReasonablyForeseeableMisuse");
28
25
  attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "InteractsWith");
29
26
  attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
30
27
  }
@@ -11,7 +11,6 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
11
11
  expose evidenceSafetyAlarmSuite;
12
12
  attribute :>> id = "DOC-006";
13
13
  attribute :>> name = "VerificationValidationView";
14
- attribute :>> title = "GPCA Verification and Validation View";
15
14
  attribute :>> shortDescription = "V&V plan and coverage for requirements and risk controls.";
16
15
  attribute :>> description = "Aggregates verification cases, validation cases, test artifacts, and evidence with their coverage of requirements, risk controls, behavior properties, and timing constraints.";
17
16
  attribute :>> version = "0.1";
@@ -19,9 +18,7 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
19
18
  attribute :>> viewKind = DocumentViewKind::VV;
20
19
  attribute :>> generationRule = "Include all VerifiedBy, Validates, and ProducesEvidence chains with status";
21
20
  attribute :>> marketScope = "generic";
22
- attribute :>> documentUsage = ("VV", "DHF", "QMSR");
23
- attribute :>> sectionIdentifier = "VV";
24
- part :>> viewpointDefinition = verificationViewpoint;
21
+ ref :>> viewpointDefinition = verificationViewpoint;
25
22
  part :>> selectionQuery {
26
23
  attribute :>> id = "QRY-DOC-006";
27
24
  attribute :>> name = "vvViewQuery";
@@ -18,7 +18,6 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
18
18
  attribute depth = 2;
19
19
  attribute :>> id = "VIEW-VER-101";
20
20
  attribute :>> name = "GPCA_VerificationCoverageView";
21
- attribute :>> title = "GPCA Verification and Validation Coverage View";
22
21
  attribute :>> shortDescription = "Requirements and risk controls against verification cases, validation cases, and evidence.";
23
22
  attribute :>> outputKind = (ViewOutputKind::matrix);
24
23
  attribute :>> presentationKind = (PresentationKind::traceMatrix);
@@ -27,7 +26,6 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
27
26
  attribute :>> dataSourceDescription = "VerifiedBy, Validates, and ProducesEvidence links in the GPCA model";
28
27
  attribute :>> autoPopulate = true;
29
28
  attribute :>> queryDescription = "Include every requirement and risk control with its verification/validation status and produced evidence.";
30
- attribute :>> documentUsage = ("VV", "DHF", "QMSR");
31
29
  part :>> selectionQuery {
32
30
  attribute :>> id = "QRY-VER-101";
33
31
  attribute :>> name = "GPCA_VerificationCoverageQuery";
@@ -37,6 +35,6 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
37
35
  attribute :>> selectionExpression = "product == 'GPCA'";
38
36
  attribute :>> rationaleText = "Coverage gaps surface as requirements or controls without linked cases or evidence.";
39
37
  }
40
- part :>> viewpointDefinition = verificationViewpoint;
38
+ ref :>> viewpointDefinition = verificationViewpoint;
41
39
  }
42
40
  }
@@ -0,0 +1,3 @@
1
+ name: ivd-laboratory-system
2
+ entrypoint: model/catalog/project.sysml
3
+ include: [model]
@@ -51,7 +51,7 @@ package memo_examples_ivd_laboratory_system {
51
51
  }
52
52
 
53
53
  // Operating activity for the analyzer.
54
- action actRunPanel : OperationalActivity {
54
+ action actRunPanel : OperativeAction {
55
55
  attribute :>> id = "IVD-ACT-001"; attribute :>> name = "RunChemistryPanel";
56
56
  attribute :>> criticality = CriticalityKind::high;
57
57
  }
@@ -2,5 +2,5 @@ package memo_examples_ivd_laboratory_system_viewpoints_unassigned_views_ivd_labo
2
2
  private import memo_examples_ivd_laboratory_system::*;
3
3
  private import memo_viewpoints_definitions::*;
4
4
  private import memo_core_enumerations::*;
5
- view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> title = "IVD Laboratory System Overview"; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
5
+ view ivdLaboratorySystemOverview : MemoDiagramView { expose memo_examples_ivd_laboratory_system::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
6
6
  }
@@ -0,0 +1,3 @@
1
+ name: manual-surgical-instrument
2
+ entrypoint: model/catalog/project.sysml
3
+ include: [model]
@@ -35,7 +35,7 @@ package memo_examples_manual_surgical_instrument {
35
35
 
36
36
  // A task may be traced to the architecture later when the project has a
37
37
  // specific allocation or interaction claim to make.
38
- action taskPlaceSutures : UserTask {
38
+ action taskPlaceSutures : OperativeAction {
39
39
  attribute :>> id = "MSI-TASK-001";
40
40
  attribute :>> name = "PlaceSutures";
41
41
  attribute :>> taskGoal = "place interrupted sutures";
@@ -2,5 +2,5 @@ package memo_examples_manual_surgical_instrument_viewpoints_unassigned_views_man
2
2
  private import memo_examples_manual_surgical_instrument::*;
3
3
  private import memo_viewpoints_definitions::*;
4
4
  private import memo_core_enumerations::*;
5
- view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> title = "Manual Surgical Instrument Overview"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
5
+ view manualSurgicalInstrumentOverview : MemoDiagramView { expose memo_examples_manual_surgical_instrument::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
6
6
  }
@@ -0,0 +1,3 @@
1
+ name: multidimensional-layers
2
+ entrypoint: model/catalog/project.sysml
3
+ include: [model]
@@ -6,7 +6,6 @@ package memo_examples_multidimensional_layers_viewpoints_unassigned_views_multid
6
6
  view multidimensionalLayersOverview : MemoDiagramView {
7
7
  expose memo_examples_multidimensional_layers::*;
8
8
  attribute depth = 2;
9
- attribute :>> title = "Multidimensional Layers Overview";
10
9
  attribute :>> viewKind = DiagramViewKind::general;
11
10
  attribute :>> diagramType = "bdd";
12
11
  }
@@ -0,0 +1,3 @@
1
+ name: nested-architecture-dsm
2
+ entrypoint: model/catalog/project.sysml
3
+ include: [model]
@@ -0,0 +1,3 @@
1
+ name: reusable-instrument
2
+ entrypoint: model/catalog/project.sysml
3
+ include: [model]