28 lines
2.3 KiB
Plaintext
28 lines
2.3 KiB
Plaintext
arcadia 3;
|
|
project reporting_system "Reporting system" id "00000000-0000-4000-8000-000000000002" {
|
|
sa_system center "Rescue system" id "00000000-0000-4000-8000-000000000201" {
|
|
sa_port center_in "Center input" id "00000000-0000-4000-8000-000000000211" { contract { Component { kind Flow; orientation In; }; }; }
|
|
}
|
|
sa_actor vessel "Vessel service" id "00000000-0000-4000-8000-000000000202" {
|
|
sa_port vessel_out "Vessel output" id "00000000-0000-4000-8000-000000000210" { contract { Component { kind Flow; orientation Out; }; }; }
|
|
}
|
|
sa_function manage "Manage reporting" id "00000000-0000-4000-8000-000000000203" {
|
|
sa_function send_report "Transmit report" id "00000000-0000-4000-8000-000000000204" {
|
|
output report_out "Report output" id "00000000-0000-4000-8000-000000000208" items [@report_data];
|
|
}
|
|
sa_function assess "Assess report" id "00000000-0000-4000-8000-000000000205" {
|
|
input report_in "Report input" id "00000000-0000-4000-8000-000000000209" items [@report_data];
|
|
}
|
|
}
|
|
sa_exchange_item report_data "Report" id "00000000-0000-4000-8000-000000000206" {
|
|
sa_data_field latitude "Latitude" id "00000000-0000-4000-8000-000000000207" { type_ref Real; unit "degrees north"; }
|
|
}
|
|
allocation vessel_transmits "Vessel transmits" id "00000000-0000-4000-8000-000000000212" { source @vessel; target @send_report; }
|
|
allocation center_assesses "Center assesses" id "00000000-0000-4000-8000-000000000213" { source @center; target @assess; }
|
|
functional_exchange report_flow "Report flow" id "00000000-0000-4000-8000-000000000214" from @report_out to @report_in items [@report_data];
|
|
boundary_exchange reporting_connection "Reporting connection" id "00000000-0000-4000-8000-000000000215" { source @vessel_out; target @center_in; oriented true; items [@report_data]; }
|
|
port_allocation transmit_endpoint "Transmit endpoint" id "00000000-0000-4000-8000-000000000216" { source @vessel_out; target @report_out; }
|
|
port_allocation receive_endpoint "Receive endpoint" id "00000000-0000-4000-8000-000000000217" { source @center_in; target @report_in; }
|
|
exchange_allocation reports_carried "Reports carried" id "00000000-0000-4000-8000-000000000218" { source @reporting_connection; target @report_flow; }
|
|
}
|