arcadia 3;
project mission "Coastal rescue — operational need to system behavior" id "45a02a77-01e7-4701-ad3b-56087158684f" {
    description "A worked OA/SA example. Compare allocation and functional decomposition views; inspect traces, repeated scenario messages, interface contracts, degraded modes, and external engineering artifacts.";

    sa_function transmit_distress_report "Transmit distress report" id "0c9c3870-bf68-461f-8b3a-b568b0e34ac1" {
        description "";
        parent @manage_distress_response;
    }

    sa_exchange_item backup_electrical_energy "Backup electrical energy" id "0f0579ec-92fc-43b2-b9d8-fcdd2cbbce35" {
        description "";
        kind Energy;
        parent none;
    }

    sa_mission support_timely_rescue_decisions "Support timely rescue decisions" id "113259b9-e7b6-4bff-9a63-846961e96923" {
        description "";
        parent none;
    }

    sa_exchange_item digital_distress_report "Digital distress report" id "152b3502-d8f2-41cf-91f6-223e82c64fcf" {
        description "";
        kind Information;
        parent none;
    }

    sa_constraint response_time_budget "Response time budget" id "256f869a-b293-456a-8ba9-f003db9e6015" {
        constrained [@classify_incident_and_alert_operator, @validated_distress_report];
        description "";
        expression "incident_alert_latency <= 120 s";
        parent none;
    }

    sa_lifeline vessel_service_lifeline "Vessel service lifeline" id "25e084c9-9ff7-4fd3-9a80-79fcf4ff9d61" {
        description "";
        parent @repeated_distress_reports;
        represented @vessel_communication_service;
    }

    oa_actor vessel_in_distress "Vessel in distress" id "2c5594c8-f26f-4b09-9a2e-0cf62b713384" {
        description "";
        parent none;
    }

    sa_region reporting_quality_region "Reporting quality region" id "2faf0a88-a28d-4b46-9b65-b99ff313b108" {
        description "";
        parent @reporting_operation_modes;
    }

    oa_occurrence distress_received "Distress received" id "356877c5-9a9f-497d-868c-ff85d83ceb68" {
        body {
            Exchange {
                exchange @distress_signal;
                message_kind Asynchronous;
                receiver none;
                reply_to none;
                sender none;
                values [];
            };
        };
        description "";
        parent @distress_to_response;
        postcondition "";
        precondition "";
    }

    sa_port system_reporting_input "System reporting input" id "380b840a-1443-4c47-8c11-d0fd067e2154" {
        contract {
            Component {
                kind Flow;
                orientation In;
            };
        };
        description "";
        legacy none;
        parent @rescue_coordination_system;
    }

    sa_functional_chain digital_distress_handling "Digital distress handling" id "420188b6-6bb2-42c4-95b3-38a40147b8fe" {
        description "";
        parent none;
        steps [@report_handled];
    }

    sa_occurrence report_handled "Report handled" id "42db911d-7db8-44ae-b3b9-3b9d3db9545c" {
        body {
            Exchange {
                exchange @validated_distress_report;
                message_kind Asynchronous;
                receiver none;
                reply_to none;
                sender none;
                values [];
            };
        };
        description "";
        parent @digital_distress_handling;
        postcondition "";
        precondition "";
    }

    sa_lifeline coordination_system_lifeline "Coordination system lifeline" id "46d07365-a1c7-41a9-b5f7-22cc1e70522d" {
        description "";
        parent @repeated_distress_reports;
        represented @rescue_coordination_system;
    }

    sa_event report_timeout "Report timeout" id "5019f5d4-0859-4e28-ba12-f6e1cbe45fe9" {
        body {
            Time {
                expression "30 s";
                kind After;
            };
        };
        description "";
        parent none;
    }

    oa_activity report_distress "Report distress" id "54fbd34c-3ca3-47c6-a96d-6c889d73b70e" {
        description "";
        parent @respond_to_distress;
    }

    sa_mode degraded_reporting "Degraded reporting" id "5a845f98-431b-41a4-9607-916ffadd3da7" {
        description "";
        do_activity "";
        entry "";
        exit "";
        kind Mode;
        parent @reporting_quality_region;
    }

    sa_capability coordinate_rescue_response "Coordinate rescue response" id "5e818ac8-4aa7-46b3-8751-7984a0389194" {
        description "";
        parent none;
    }

    sa_function manage_distress_response "Manage distress response" id "65c6e7cf-64b3-4e04-8523-f9a8b5835882" {
        description "";
        parent none;
    }

    sa_interface distress_reporting_interface "Distress reporting interface" id "6605333b-d0b5-4367-bdeb-44198273e365" {
        description "";
        items [@digital_distress_report];
        parent none;
    }

    sa_port report_function_output "Report function output" id "66b2f0ca-c6d1-4ee4-b96e-1f4e90096851" {
        contract {
            FunctionOutput {
                outgoing_items [@digital_distress_report];
            };
        };
        description "";
        legacy none;
        parent @transmit_distress_report;
    }

    oa_capability protect_life_at_sea "Protect life at sea" id "6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d" {
        description "";
        parent none;
    }

    sa_port vessel_reporting_output "Vessel reporting output" id "78c16282-535f-4574-ad94-fefcd72f731d" {
        contract {
            Component {
                kind Flow;
                orientation Out;
            };
        };
        description "";
        legacy none;
        parent @vessel_communication_service;
    }

    sa_port assessment_function_input "Assessment function input" id "7c4ff89b-1988-4634-a20f-a664d65079fa" {
        contract {
            FunctionInput {
                incoming_items [@digital_distress_report];
            };
        };
        description "";
        legacy none;
        parent @classify_incident_and_alert_operator;
    }

    oa_exchange_item distress_report "Distress report" id "86c6a437-5af6-4ff8-b330-afeae686059f" {
        description "";
        kind Information;
        parent none;
    }

    sa_function classify_incident_and_alert_operator "Classify incident and alert operator" id "8757bd90-5dde-415f-8a89-8a288fd05694" {
        description "";
        parent @manage_distress_response;
    }

    sa_occurrence updated_distress_report "Updated distress report" id "876e0213-ce4f-4eb7-9be2-931e0c24946e" {
        body {
            Exchange {
                exchange @validated_distress_report;
                message_kind Asynchronous;
                receiver @coordination_system_lifeline;
                reply_to none;
                sender @vessel_service_lifeline;
                values [];
            };
        };
        description "";
        parent @repeated_distress_reports;
        postcondition "The incident position is refreshed without creating a second incident.";
        precondition "The vessel has more recent position information.";
    }

    oa_activity respond_to_distress "Respond to distress" id "8bc4aa00-0c47-400d-8c65-6d0487e4f396" {
        description "";
        parent none;
    }

    sa_mode normal_reporting "Normal reporting" id "909668ee-4291-4f30-8f6c-565dd546262e" {
        description "";
        do_activity "";
        entry "";
        exit "";
        kind Mode;
        parent @reporting_quality_region;
    }

    sa_initial start_reporting "Start reporting" id "9c46cd19-0c19-4c37-bf15-ec2bb782094d" {
        description "";
        do_activity "";
        entry "";
        exit "";
        kind Initial;
        parent @reporting_quality_region;
    }

    sa_data_field reported_latitude "Reported latitude" id "a8c37723-4fd0-4cab-9ef0-8a6e5ca6921c" {
        description "";
        maximum 1;
        minimum 1;
        parent @digital_distress_report;
        type_ref Real;
        unit "degrees north";
    }

    oa_role incident_coordinator "Incident coordinator" id "af6edd7f-19b5-426c-a43d-18c7508f8023" {
        description "";
        parent none;
    }

    sa_occurrence initial_distress_report "Initial distress report" id "b5d62359-b919-4a34-96ce-826f5f214e72" {
        body {
            Exchange {
                exchange @validated_distress_report;
                message_kind Asynchronous;
                receiver @coordination_system_lifeline;
                reply_to none;
                sender @vessel_service_lifeline;
                values [];
            };
        };
        description "";
        parent @repeated_distress_reports;
        postcondition "";
        precondition "";
    }

    oa_entity rescue_coordination "Rescue coordination" id "c0046ffd-908b-46a4-a694-f481b823695c" {
        description "";
        parent none;
    }

    oa_process distress_to_response "Distress to response" id "c54a6981-1e3e-49a1-9346-f494bfdb4456" {
        description "";
        parent none;
        steps [@distress_received];
    }

    sa_system rescue_coordination_system "Rescue coordination system" id "cab2cdd9-7092-400f-8057-2e38a721c2c1" {
        description "";
        parent none;
    }

    sa_exchange_item rescue_supply_package "Rescue supply package" id "ce5e5fa5-11c5-43a7-8595-c845fb4899ab" {
        description "";
        kind Material;
        parent none;
    }

    oa_activity assess_incident "Assess incident" id "ce7acfdb-54a8-4b42-ba74-3abce196e8a9" {
        description "";
        parent @respond_to_distress;
    }

    sa_scenario repeated_distress_reports "Repeated distress reports" id "df3b77d3-f897-415b-8e4a-f5944134820a" {
        context @coordinate_rescue_response;
        description "";
        parent none;
        postcondition "The operator has a classified incident with the latest vessel report.";
        precondition "A vessel has detected an emergency and the reporting service is available.";
        steps [@initial_distress_report, @updated_distress_report];
        viewpoint BoundaryInterface;
    }

    sa_actor vessel_communication_service "Vessel communication service" id "e306fcc7-c700-41db-9aba-ca07de0aa127" {
        description "";
        parent none;
    }

    sa_state_machine reporting_operation_modes "Reporting operation modes" id "f3c91fe8-c5bd-490a-9760-5de67a97a846" {
        description "";
        parent @rescue_coordination_system;
    }

    sa_event validated_report_received "Validated report received" id "fbac66e9-4107-4afe-bcf5-9760ecb69664" {
        body {
            Signal {
                items [@digital_distress_report];
            };
        };
        description "";
        parent none;
    }

    allocation assesses_incident "Assesses incident" id "06f0a317-0555-472a-b7d4-2dee483ccaab" {
        description "";
        source @rescue_coordination;
        target @assess_incident;
    }

    chain_involvement functional_chain_support "Functional chain support" id "07032dcd-db06-4d8b-bdb0-3ca8c01d2733" {
        description "";
        source @digital_distress_handling;
        target @coordinate_rescue_response;
    }

    availability assessment_in_normal_mode "Assessment in normal mode" id "0c62044a-d832-4e1d-8266-7b32f091f08b" {
        description "";
        source @classify_incident_and_alert_operator;
        target @normal_reporting;
    }

    interface_provision reporting_service_provided "Reporting service provided" id "15b1a6ea-a7bc-4805-b2fa-1b5c4d3ad084" {
        description "";
        source @vessel_reporting_output;
        target @distress_reporting_interface;
    }

    interaction distress_signal "Distress signal" id "16e0673c-5a65-42db-af3b-58679227029f" {
        description "";
        items [@distress_report];
        source @report_distress;
        target @assess_incident;
    }

    state_transition signal_degraded "Signal degraded" id "3aebb5ca-3a9a-4ca5-bab5-3baeba68f561" {
        description "";
        effect "Flag the incident and request an operator review.";
        effects [];
        guard "seconds_since_last_report > 30";
        source @normal_reporting;
        target @degraded_reporting;
        transition_kind External;
        trigger "report_timeout";
        triggers [@report_timeout];
    }

    chain_involvement operational_realization "Operational realization" id "452a6f7a-6fe2-49e8-abea-aa9883fd762a" {
        description "";
        source @distress_to_response;
        target @protect_life_at_sea;
    }

    allocation system_assessment "System assessment" id "4f480d43-2484-49f2-8741-0e5c7f833dbc" {
        description "";
        source @rescue_coordination_system;
        target @classify_incident_and_alert_operator;
    }

    capability_involvement operational_contribution "Operational contribution" id "6ecf7019-5193-4710-948d-fcca47708faf" {
        description "";
        source @assess_incident;
        target @protect_life_at_sea;
    }

    functional_exchange validated_distress_report "Validated distress report" id "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421" {
        description "";
        items [@digital_distress_report];
        source @transmit_distress_report;
        source_port @report_function_output;
        target @classify_incident_and_alert_operator;
        target_port @assessment_function_input;
    }

    state_transition signal_restored "Signal restored" id "7b876e43-d4bf-44cf-997e-d956f28818ec" {
        description "";
        effect "Clear the degraded-reporting alert.";
        effects [];
        guard "position_is_current";
        source @degraded_reporting;
        target @normal_reporting;
        transition_kind External;
        trigger "validated_report_received";
        triggers [@validated_report_received];
    }

    role_realization fulfils_coordinator_role "Fulfils coordinator role" id "83592215-ffc2-4e80-91b4-fb989176c67f" {
        description "";
        source @rescue_coordination;
        target @incident_coordinator;
    }

    interface_requirement reporting_service_required "Reporting service required" id "864033df-f8e5-481f-9661-b38c3c9764ed" {
        description "";
        source @system_reporting_input;
        target @distress_reporting_interface;
    }

    role_assignment coordinates_assessment "Coordinates assessment" id "9891794f-e800-415e-8498-e0e1860ee0c0" {
        description "";
        source @incident_coordinator;
        target @assess_incident;
    }

    state_transition initialize_reporting "Initialize reporting" id "9b034b17-20b0-4a80-834b-6e95c39e44ca" {
        description "";
        effect "";
        effects [];
        guard "";
        source @start_reporting;
        target @normal_reporting;
        transition_kind External;
        trigger "";
        triggers [];
    }

    mission_capability mission_capability "Mission capability" id "9d7d564e-29d1-437d-a02e-64c7332ba923" {
        description "";
        source @support_timely_rescue_decisions;
        target @coordinate_rescue_response;
    }

    availability assessment_in_degraded_mode "Assessment in degraded mode" id "ac58b68c-ea57-4782-9ef4-579e200c71c7" {
        description "";
        source @classify_incident_and_alert_operator;
        target @degraded_reporting;
    }

    allocation reports_distress "Reports distress" id "b2cfa28b-6d15-4464-b702-de157fd55be4" {
        description "";
        source @vessel_in_distress;
        target @report_distress;
    }

    allocation vessel_transmission "Vessel transmission" id "b79dccb4-d9b5-455c-b0b1-511d9feaf5dd" {
        description "";
        source @vessel_communication_service;
        target @transmit_distress_report;
    }

    port_allocation system_input_represents_assessment_input "System input represents assessment input" id "c852c984-7dac-403f-902e-d77ad192274f" {
        description "";
        source @system_reporting_input;
        target @assessment_function_input;
    }

    port_allocation vessel_output_represents_report_output "Vessel output represents report output" id "c8f068e3-c515-4808-8778-3caea3fd41b2" {
        description "";
        source @vessel_reporting_output;
        target @report_function_output;
    }

    boundary_exchange distress_reporting_connection "Distress reporting connection" id "d07e6595-fa9f-4d5a-9a81-232efef13543" {
        description "";
        items [@digital_distress_report];
        oriented true;
        source @vessel_reporting_output;
        target @system_reporting_input;
    }

    capability_involvement system_capability_support "System capability support" id "e60368d9-0c40-4a87-b35f-013d94769c75" {
        description "";
        source @classify_incident_and_alert_operator;
        target @coordinate_rescue_response;
    }

    state_action review_on_degraded_entry "Review on degraded entry" id "e8d7de52-aee7-4e64-b199-7ede071f1768" {
        description "";
        phase Entry;
        source @degraded_reporting;
        target @classify_incident_and_alert_operator;
    }

    exchange_allocation report_carried_by_connection "Report carried by connection" id "f04b7764-bb00-43b2-830c-a16779160ac8" {
        description "";
        source @distress_reporting_connection;
        target @validated_distress_report;
    }

    diagram oa_activity_dataflow "OA activity dataflow" id "487c064d-df33-45f2-b4b7-6dd68d7b601f" {
        description "A focused projection of the shared engineering model.";
        layer Oa;
        projection FunctionalDataflow;
    }

    node view_respond_to_distress id "0af393eb-a113-45ec-b179-8b1e6f907c52" {
        collapsed false;
        diagram @oa_activity_dataflow;
        element @respond_to_distress;
        position {
            x 60.0;
            y 60.0;
        };
        size {
            height 292.0;
            width 272.0;
        };
    }

    node view_report_distress_4a3bb9d8 id "4a3bb9d8-535e-40a8-83d3-26f7dc399e9b" {
        collapsed false;
        diagram @oa_activity_dataflow;
        element @report_distress;
        position {
            x 84.0;
            y 124.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    node view_assess_incident_70b7c633 id "70b7c633-a707-40b8-9f4b-4baa6cf024aa" {
        collapsed false;
        diagram @oa_activity_dataflow;
        element @assess_incident;
        position {
            x 84.0;
            y 234.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    diagram oa_capabilities_and_participants "OA capabilities and participants" id "69cf1cb5-0fb5-48ab-8fe9-80fdc98f69d0" {
        description "A focused projection of the shared engineering model.";
        layer Oa;
        projection Capabilities;
    }

    node view_incident_coordinator id "4ce969de-e06e-4ec8-843b-f85c833cba6b" {
        collapsed false;
        diagram @oa_capabilities_and_participants;
        element @incident_coordinator;
        position {
            x 60.0;
            y 60.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    node view_vessel_in_distress_92b08d7b id "92b08d7b-a167-4dde-ab4e-9321f58b9a08" {
        collapsed false;
        diagram @oa_capabilities_and_participants;
        element @vessel_in_distress;
        position {
            x 1452.0;
            y 60.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    node view_protect_life_at_sea id "a09e1461-cb35-423e-b992-4a7a12b9a6f0" {
        collapsed false;
        diagram @oa_capabilities_and_participants;
        element @protect_life_at_sea;
        position {
            x 524.0;
            y 60.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    node view_rescue_coordination_a63f11cd id "a63f11cd-ce82-4351-b233-1411f018c905" {
        collapsed false;
        diagram @oa_capabilities_and_participants;
        element @rescue_coordination;
        position {
            x 988.0;
            y 60.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    diagram sa_missions_and_capabilities "SA missions and capabilities" id "c7bb132a-9407-4ceb-8251-e167a569238a" {
        description "A focused projection of the shared engineering model.";
        layer Sa;
        projection Capabilities;
    }

    node view_coordinate_rescue_response id "8352e9eb-3252-49cf-8317-3cd969589075" {
        collapsed false;
        diagram @sa_missions_and_capabilities;
        element @coordinate_rescue_response;
        position {
            x 988.0;
            y 60.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    node view_rescue_coordination_system_9fb6fb1c id "9fb6fb1c-0cfb-44b5-ac56-cf017545df38" {
        collapsed false;
        diagram @sa_missions_and_capabilities;
        element @rescue_coordination_system;
        position {
            x 60.0;
            y 60.0;
        };
        size {
            height 132.0;
            width 224.0;
        };
    }

    node view_vessel_communication_service_af957562 id "af957562-e053-4a07-8bca-54df5f7768ce" {
        collapsed false;
        diagram @sa_missions_and_capabilities;
        element @vessel_communication_service;
        position {
            x 1452.0;
            y 60.0;
        };
        size {
            height 132.0;
            width 224.0;
        };
    }

    node view_support_timely_rescue_decisions id "ceec2164-6bb2-4e5d-94ca-18c809acb923" {
        collapsed false;
        diagram @sa_missions_and_capabilities;
        element @support_timely_rescue_decisions;
        position {
            x 524.0;
            y 60.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    diagram oa_participants_and_activities "OA participants and activities" id "e3bd09b9-73c7-45ad-8ac4-be579d19a5f8" {
        description "A focused projection of the shared engineering model.";
        layer Oa;
        projection Allocation;
    }

    node view_vessel_in_distress id "23485451-a296-4f85-a40e-1afd38522116" {
        collapsed false;
        diagram @oa_participants_and_activities;
        element @vessel_in_distress;
        position {
            x 60.0;
            y 60.0;
        };
        size {
            height 182.0;
            width 272.0;
        };
    }

    node view_rescue_coordination id "359b4876-8e15-4bfa-98b8-a235a610c0a6" {
        collapsed false;
        diagram @oa_participants_and_activities;
        element @rescue_coordination;
        position {
            x 572.0;
            y 60.0;
        };
        size {
            height 182.0;
            width 272.0;
        };
    }

    node view_assess_incident id "60eca1ee-d26a-428f-a6fc-226d5439490e" {
        collapsed false;
        diagram @oa_participants_and_activities;
        element @assess_incident;
        position {
            x 596.0;
            y 124.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    node view_report_distress id "9c571359-2f43-4115-9031-abebd1054cd4" {
        collapsed false;
        diagram @oa_participants_and_activities;
        element @report_distress;
        position {
            x 84.0;
            y 124.0;
        };
        size {
            height 94.0;
            width 224.0;
        };
    }

    diagram sa_functional_decomposition "SA functional decomposition" id "ede2d670-d535-4d63-b29c-5ac6dc1e5d38" {
        description "A focused projection of the shared engineering model.";
        layer Sa;
        projection FunctionalDataflow;
    }

    node view_classify_incident_and_alert_operator_3b47631b id "3b47631b-d5c4-4e26-8c74-463eccdedeb6" {
        collapsed false;
        diagram @sa_functional_decomposition;
        element @classify_incident_and_alert_operator;
        position {
            x 84.0;
            y 124.0;
        };
        size {
            height 132.0;
            width 224.0;
        };
    }

    node view_transmit_distress_report_7128f663 id "7128f663-9ea4-443e-b1ef-e8b8b36ee357" {
        collapsed false;
        diagram @sa_functional_decomposition;
        element @transmit_distress_report;
        position {
            x 84.0;
            y 272.0;
        };
        size {
            height 132.0;
            width 224.0;
        };
    }

    node view_manage_distress_response id "f28401a3-065c-4151-b038-3fe988d31cb0" {
        collapsed false;
        diagram @sa_functional_decomposition;
        element @manage_distress_response;
        position {
            x 60.0;
            y 60.0;
        };
        size {
            height 368.0;
            width 272.0;
        };
    }

    diagram sa_system_boundary_and_functions "SA system boundary and functions" id "fd85af7e-9e83-4d50-99ab-5011e9cc609b" {
        description "A focused projection of the shared engineering model.";
        layer Sa;
        projection Allocation;
    }

    node view_rescue_coordination_system id "6dd484e0-f31e-40d3-aeba-229cb3332f2e" {
        collapsed false;
        diagram @sa_system_boundary_and_functions;
        element @rescue_coordination_system;
        position {
            x 572.0;
            y 60.0;
        };
        size {
            height 248.0;
            width 272.0;
        };
    }

    node view_transmit_distress_report id "88facd4d-9950-46b0-ac6c-efc1a5cb0596" {
        collapsed false;
        diagram @sa_system_boundary_and_functions;
        element @transmit_distress_report;
        position {
            x 84.0;
            y 124.0;
        };
        size {
            height 132.0;
            width 224.0;
        };
    }

    node view_classify_incident_and_alert_operator id "c70e2312-de7a-4b39-b338-4820118639b1" {
        collapsed false;
        diagram @sa_system_boundary_and_functions;
        element @classify_incident_and_alert_operator;
        position {
            x 596.0;
            y 124.0;
        };
        size {
            height 132.0;
            width 224.0;
        };
    }

    node view_vessel_communication_service id "f37c26f3-e3d9-4331-adea-a90fb23fd296" {
        collapsed false;
        diagram @sa_system_boundary_and_functions;
        element @vessel_communication_service;
        position {
            x 60.0;
            y 60.0;
        };
        size {
            height 248.0;
            width 272.0;
        };
    }

    artifact console_enclosure_cad "Console enclosure CAD" id "32768571-ed20-4b8a-b34d-8412d18c0e61" {
        description "Illustrative external engineering reference; opening a model does not fetch it.";
        fragment none;
        owner @rescue_coordination_system;
        relation References;
        revision "B.3";
        uri "cad://rescue-console/enclosure.step";
    }

    artifact response_implementation "Response implementation" id "d775a2d5-7155-41e1-a879-4b032fc3873d" {
        description "Illustrative external engineering reference; opening a model does not fetch it.";
        fragment none;
        owner @classify_incident_and_alert_operator;
        relation Implements;
        revision "design-v2";
        uri "git+https://example.org/rescue/control?path=src/response.rs";
    }

    trace trace_assess_incident "Assess incident ↔ Classify incident and alert operator" id "612d3954-68ea-4387-b273-eba7a434702f" {
        baseline {
            oa {
                description "";
                name "Assess incident";
            };
            sa {
                description "";
                name "Classify incident and alert operator";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Refinement;
        oa @assess_incident;
        sa @classify_incident_and_alert_operator;
    }

    trace trace_distress_signal "Distress signal ↔ Validated distress report" id "6479420f-5fff-4ee5-84b6-7cfba97eb123" {
        baseline {
            oa {
                description "";
                name "Distress signal";
            };
            sa {
                description "";
                name "Validated distress report";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Exchange;
        oa @distress_signal;
        sa @validated_distress_report;
    }

    trace trace_protect_life_at_sea "Protect life at sea ↔ Coordinate rescue response" id "6e6670d9-de55-4f69-be58-796520cb5dd2" {
        baseline {
            oa {
                description "";
                name "Protect life at sea";
            };
            sa {
                description "";
                name "Coordinate rescue response";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Capability;
        oa @protect_life_at_sea;
        sa @coordinate_rescue_response;
    }

    trace trace_rescue_coordination "Rescue coordination ↔ Rescue coordination system" id "885a2219-d579-4200-b596-7424a167051e" {
        baseline {
            oa {
                description "";
                name "Rescue coordination";
            };
            sa {
                description "";
                name "Rescue coordination system";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Participant;
        oa @rescue_coordination;
        sa @rescue_coordination_system;
    }

    trace trace_vessel_in_distress "Vessel in distress ↔ Vessel communication service" id "90d8074f-ab93-4342-8f93-31b884f3f1c5" {
        baseline {
            oa {
                description "";
                name "Vessel in distress";
            };
            sa {
                description "";
                name "Vessel communication service";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Participant;
        oa @vessel_in_distress;
        sa @vessel_communication_service;
    }

    trace trace_distress_report "Distress report ↔ Digital distress report" id "94611a1e-eac8-4f4b-9b69-7693988dc873" {
        baseline {
            oa {
                description "";
                name "Distress report";
            };
            sa {
                description "";
                name "Digital distress report";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Item;
        oa @distress_report;
        sa @digital_distress_report;
    }

    trace trace_report_distress "Report distress ↔ Transmit distress report" id "d80aa045-e43f-4219-9119-5781033755df" {
        baseline {
            oa {
                description "";
                name "Report distress";
            };
            sa {
                description "";
                name "Transmit distress report";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Refinement;
        oa @report_distress;
        sa @transmit_distress_report;
    }

    trace trace_respond_to_distress "Respond to distress ↔ Manage distress response" id "dd807576-afec-497a-bc9d-3e7556108408" {
        baseline {
            oa {
                description "";
                name "Respond to distress";
            };
            sa {
                description "";
                name "Manage distress response";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Refinement;
        oa @respond_to_distress;
        sa @manage_distress_response;
    }

    trace trace_distress_to_response "Distress to response ↔ Digital distress handling" id "f7c28b65-b3a5-4fa0-b461-25e323fff823" {
        baseline {
            oa {
                description "";
                name "Distress to response";
            };
            sa {
                description "";
                name "Digital distress handling";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Sequence;
        oa @distress_to_response;
        sa @digital_distress_handling;
    }

    trace trace_distress_received "Distress received ↔ Report handled" id "f921e227-78e5-4487-979a-bdc803c89ff4" {
        baseline {
            oa {
                description "";
                name "Distress received";
            };
            sa {
                description "";
                name "Report handled";
            };
        };
        description "Reviewed OA/SA correspondence in the coastal rescue example.";
        kind Scenario;
        oa @distress_received;
        sa @report_handled;
    }

}