22 lines
2.5 KiB
Plaintext
22 lines
2.5 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_actor vessel "Vessel service" id "00000000-0000-4000-8000-000000000202" {}
|
|
sa_function manage "Manage reporting" id "00000000-0000-4000-8000-000000000203" {}
|
|
sa_function send_report "Transmit report" id "00000000-0000-4000-8000-000000000204" { parent @manage; }
|
|
sa_function assess "Assess report" id "00000000-0000-4000-8000-000000000205" { parent @manage; }
|
|
sa_exchange_item report_data "Report" id "00000000-0000-4000-8000-000000000206" {}
|
|
sa_data_field latitude "Latitude" id "00000000-0000-4000-8000-000000000207" { parent @report_data; type_ref Real; unit "degrees north"; }
|
|
sa_port report_out "Report output" id "00000000-0000-4000-8000-000000000208" { parent @send_report; contract { FunctionOutput { outgoing_items [@report_data]; }; }; }
|
|
sa_port report_in "Report input" id "00000000-0000-4000-8000-000000000209" { parent @assess; contract { FunctionInput { incoming_items [@report_data]; }; }; }
|
|
sa_port vessel_out "Vessel output" id "00000000-0000-4000-8000-000000000210" { parent @vessel; contract { Component { kind Flow; orientation Out; }; }; }
|
|
sa_port center_in "Center input" id "00000000-0000-4000-8000-000000000211" { parent @center; contract { Component { kind Flow; orientation In; }; }; }
|
|
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" { source @send_report; target @assess; source_port @report_out; target_port @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; }
|
|
}
|