arcadia 3;
project reporting_story "Repeated reporting" id "00000000-0000-4000-8000-000000000003" {
    oa_actor vessel "Vessel" id "00000000-0000-4000-8000-000000000301" {}
    oa_entity center "Center" id "00000000-0000-4000-8000-000000000302" {}
    oa_activity report "Report distress" id "00000000-0000-4000-8000-000000000303" {}
    oa_activity assess "Assess distress" id "00000000-0000-4000-8000-000000000304" {}
    allocation reporting "Reporting" id "00000000-0000-4000-8000-000000000305" { source @vessel; target @report; }
    allocation assessment "Assessment" id "00000000-0000-4000-8000-000000000306" { source @center; target @assess; }
    oa_exchange_item report_data "Report" id "00000000-0000-4000-8000-000000000307" {}
    interaction report_message "Report" id "00000000-0000-4000-8000-000000000308" { source @report; target @assess; items [@report_data]; }
    interaction acknowledgement "Acknowledgement" id "00000000-0000-4000-8000-000000000309" { source @assess; target @report; }
    oa_scenario reports "Repeated reports" id "00000000-0000-4000-8000-000000000310" { viewpoint OperationalActivity; steps [@initial_report, @accepted, @update_report]; }
    oa_lifeline reporter_line "Reporter" id "00000000-0000-4000-8000-000000000311" { parent @reports; represented @report; }
    oa_lifeline assessor_line "Assessor" id "00000000-0000-4000-8000-000000000312" { parent @reports; represented @assess; }
    oa_occurrence initial_report "Initial report" id "00000000-0000-4000-8000-000000000313" {
        parent @reports;
        body { Exchange { exchange @report_message; sender @reporter_line; receiver @assessor_line; message_kind Call; reply_to none; values []; }; };
    }
    oa_occurrence accepted "Report accepted" id "00000000-0000-4000-8000-000000000314" {
        parent @reports;
        body { Exchange { exchange @acknowledgement; sender @assessor_line; receiver @reporter_line; message_kind Reply; reply_to @initial_report; values []; }; };
    }
    oa_occurrence update_report "Updated report" id "00000000-0000-4000-8000-000000000315" {
        parent @reports;
        precondition "A more recent position is available.";
        body { Exchange { exchange @report_message; sender @reporter_line; receiver @assessor_line; message_kind Asynchronous; reply_to none; values []; }; };
    }
}