29 lines
2.3 KiB
Plaintext
29 lines
2.3 KiB
Plaintext
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 []; }; };
|
|
}
|
|
}
|