sa_system sa_control "Pressure coordination service" id "435bf87c-73fd-5e4d-978a-4c471bc9eaf0" {
    description "";
    parent none;
}

sa_port sa_control_port "Repair service client" id "98d411e7-7c65-5c3f-b543-8bf0f2522ea2" {
    contract {
        Component {
            kind Standard;
            orientation Unset;
        };
    };
    description "Explicitly chosen Standard component port for the repair service.";
    legacy none;
    parent @sa_control;
}

sa_actor sa_technician "Field technician" id "c05b9422-b9da-5de5-b21d-07ad23bd2b8a" {
    description "";
    parent none;
}

sa_port sa_technician_port "Repair service provider" id "e6d69cbd-99d7-596b-bbe3-dada6118a600" {
    contract {
        Component {
            kind Standard;
            orientation Unset;
        };
    };
    description "Explicitly chosen Standard component port for the repair service.";
    legacy none;
    parent @sa_technician;
}

allocation sa_assess_allocation "Allocation: Assess pressure alarm" id "9b9356d7-2db2-5a94-a47e-ea892cf02afe" {
    description "";
    source @sa_control;
    target @sa_assess;
}

allocation sa_audit_allocation "Allocation: Audit pressure thresholds" id "1b245065-7242-5d81-8472-aaeb932054c9" {
    description "";
    source @sa_control;
    target @sa_audit_thresholds;
}

allocation sa_confirm_allocation "Allocation: Confirm safe pressure" id "b76bf8de-2fa4-563f-a540-dd30f30e6c49" {
    description "";
    source @sa_control;
    target @sa_confirm;
}

interface_requirement sa_client_requires "Interface requirement: Valve repair service" id "4f85337b-f6eb-533c-a45a-9a5d1d9567ca" {
    description "";
    source @sa_control_port;
    target @sa_repair_interface;
}

boundary_exchange sa_contact "Technician service conversation" id "63009b5f-539e-5914-b630-ec6b7fefb4d5" {
    description "";
    items [@sa_repair_operation];
    oriented false;
    source @sa_control_port;
    target @sa_technician_port;
}

exchange_allocation sa_report_carriage "Exchange allocation: Report repair result" id "ff9897b3-a23a-5994-a5b3-99a5b4d34ceb" {
    description "";
    source @sa_contact;
    target @sa_repair_report;
}

exchange_allocation sa_request_carriage "Exchange allocation: Request field repair" id "4c4c4851-5a3d-5bb9-94df-b19f9cf39819" {
    description "";
    source @sa_contact;
    target @sa_repair_request;
}

port_allocation sa_port_report_in "Port allocation: Report repair result input" id "568c5c01-de21-52a2-83bd-afdddc158085" {
    description "";
    source @sa_control_port;
    target @sa_repair_report_in;
}

port_allocation sa_port_request_out "Port allocation: Request field repair output" id "55ec4dbf-bd17-5b0c-b3a3-95b2194aa8b9" {
    description "";
    source @sa_control_port;
    target @sa_repair_request_out;
}

mission_involvement sa_mission_participant "Mission involvement: Maintain safe water supply" id "1c1e5634-ba8c-591f-b143-90a27cdc6cd2" {
    description "";
    source @sa_control;
    target @sa_mission;
}

allocation sa_reset_allocation "Allocation: Reset valve remotely" id "3cc9ab52-2b00-57fd-8709-aabc75e5d3e3" {
    description "";
    source @sa_control;
    target @sa_reset;
}

allocation sa_repair_allocation "Allocation: Repair valve in the field" id "725f2e1b-aa2c-5615-9b1f-28da178168fa" {
    description "";
    source @sa_technician;
    target @sa_repair;
}

port_allocation sa_port_report_out "Port allocation: Report repair result output" id "e53b7a40-e8a3-5b3f-826d-c2b5c164a84a" {
    description "";
    source @sa_technician_port;
    target @sa_repair_report_out;
}

port_allocation sa_port_request_in "Port allocation: Request field repair input" id "09eaa992-4cdf-5ea3-b748-f10fd74b8cba" {
    description "";
    source @sa_technician_port;
    target @sa_repair_request_in;
}

interface_provision sa_provider_provides "Interface provision: Valve repair service" id "55f89fbf-aa3c-5ae1-95ef-ac676f9c1ada" {
    description "";
    source @sa_technician_port;
    target @sa_repair_interface;
}