sorokin.oleg.edu/ARCADIA-Studio
1
0
Fork 0
Code Issues 37 Pull Requests 2 Packages Projects Releases 9 Wiki Activity

Align the teaching source and language contract with compact defaults

Browse Source
This commit is contained in:
sorokin.oleg.edu
2026-09-13 06:46:08 -07:00
parent d7c065991d
commit e624d5b9c4
31 changed files with 163 additions and 546 deletions
Download Patch File Download Diff File Expand all files Collapse all files
examples/release1/sa/behavior/process_sa_assessment_procedure.arcadia
-7
View File
@@ -1,6 +1,4 @@
sa_functional_chain sa_assessment_procedure "Assess an alarm procedure" id "acd5a018-f559-5298-a40d-1cf6e1353e74" {
description "";
parent none;
steps [@sa_assessment_action];
}
@@ -8,17 +6,12 @@ sa_occurrence sa_assessment_action "Assess pressure alarm" id "bae5b192-5b8e-51c
body {
Action {
action @sa_assess;
lifeline none;
};
};
description "";
parent @sa_assessment_procedure;
postcondition "";
precondition "";
}
chain_involvement sa_assessment_delivery "Chain involvement: Assess an alarm" id "a6d5a6be-fa6e-5fa0-a309-08e87ba40c57" {
description "";
source @sa_assessment_procedure;
target @sa_triage;
}
examples/release1/sa/behavior/process_sa_field_procedure.arcadia
-26
View File
@@ -1,6 +1,4 @@
sa_functional_chain sa_field_procedure "Field repair procedure" id "93eb6479-54e9-59cb-ac7b-16912347bfc0" {
description "";
parent none;
steps [@sa_request_step, @sa_repair_step, @sa_report_step];
}
@@ -8,59 +6,35 @@ sa_occurrence sa_repair_step "Repair the valve" id "0f195fea-3493-5ebd-966d-da9e
body {
Action {
action @sa_repair;
lifeline none;
};
};
description "";
parent @sa_field_procedure;
postcondition "";
precondition "";
}
sa_occurrence sa_report_step "Report the measured result" id "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac" {
body {
Exchange {
exchange @sa_repair_report;
message_kind Asynchronous;
receiver none;
reply_to none;
sender none;
values [];
};
};
description "";
parent @sa_field_procedure;
postcondition "";
precondition "";
}
sa_occurrence sa_request_step "Request the field repair" id "40d94322-baa2-5c81-b261-ff47cdc33782" {
body {
Exchange {
exchange @sa_repair_request;
message_kind Asynchronous;
receiver none;
reply_to none;
sender none;
values [];
};
};
description "";
parent @sa_field_procedure;
postcondition "";
precondition "";
}
sequence_link sa_repair_then_report "Sequence link: Report the measured result" id "7fb30b1d-195c-5f0e-a19c-a536f519a899" {
description "";
guard "";
source @sa_repair_step;
target @sa_report_step;
}
sequence_link sa_request_then_repair "Sequence link: Repair the valve" id "6a6d968f-26d6-5dbb-b721-5a27d362779a" {
description "";
guard "";
source @sa_request_step;
target @sa_repair_step;
}
examples/release1/sa/behavior/process_sa_response.arcadia
-33
View File
@@ -1,6 +1,4 @@
sa_functional_chain sa_response "Handle a pressure alarm" id "5139ce73-56fd-5875-ba3a-e569fc890231" {
description "";
parent none;
steps [@sa_assess_step, @sa_decision, @sa_reset_step, @sa_use_field, @sa_merge, @sa_confirm_step];
}
@@ -10,23 +8,16 @@ sa_occurrence sa_assess_step "Assess the alarm" id "9024243c-ccc1-5edb-8477-2aa1
sequence @sa_assessment_procedure;
};
};
description "";
parent @sa_response;
postcondition "";
precondition "";
}
sa_occurrence sa_confirm_step "Confirm safe pressure" id "47bec4f9-d6d0-5ed1-adca-fa0d960dc416" {
body {
Action {
action @sa_confirm;
lifeline none;
};
};
description "";
parent @sa_response;
postcondition "";
precondition "";
}
sa_occurrence sa_decision "Can a remote reset safely recover pressure?" id "30c8fad9-a49b-5692-9542-3148e76afd7b" {
@@ -35,10 +26,7 @@ sa_occurrence sa_decision "Can a remote reset safely recover pressure?" id "30c8
kind Choice;
};
};
description "";
parent @sa_response;
postcondition "";
precondition "";
}
sa_occurrence sa_merge "Recovery path completed" id "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07" {
@@ -47,23 +35,16 @@ sa_occurrence sa_merge "Recovery path completed" id "4ed0dd9d-c9e0-5652-aedf-5f0
kind Merge;
};
};
description "";
parent @sa_response;
postcondition "";
precondition "";
}
sa_occurrence sa_reset_step "Try the authorized remote reset" id "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6" {
body {
Action {
action @sa_reset;
lifeline none;
};
};
description "";
parent @sa_response;
postcondition "";
precondition "";
}
sa_occurrence sa_use_field "Use the field repair procedure" id "d5e61c5d-510b-5091-a878-da46f3a9e152" {
@@ -72,56 +53,42 @@ sa_occurrence sa_use_field "Use the field repair procedure" id "d5e61c5d-510b-50
sequence @sa_field_procedure;
};
};
description "";
parent @sa_response;
postcondition "";
precondition "";
}
sequence_link sa_assess_then_decide "Continue" id "9d4a131f-36ad-5125-b21f-c3dd033b8c82" {
description "";
guard "";
source @sa_assess_step;
target @sa_decision;
}
sequence_link sa_field_path "else" id "1bbd5957-1173-51d8-97e3-ba4f084227ae" {
description "";
guard "else";
source @sa_decision;
target @sa_use_field;
}
sequence_link sa_remote_path "remote reset is authorized" id "d8b6710a-e713-5979-934f-e5ca7d155bb4" {
description "";
guard "remote reset is authorized";
source @sa_decision;
target @sa_reset_step;
}
sequence_link sa_confirm_path "Continue" id "1e738f27-a3a1-526d-b330-6384088b9689" {
description "";
guard "";
source @sa_merge;
target @sa_confirm_step;
}
sequence_link sa_remote_merge "Continue" id "e5279265-8eac-52e8-98dc-571b20475e1f" {
description "";
guard "";
source @sa_reset_step;
target @sa_merge;
}
chain_involvement sa_response_delivery "Chain involvement: Restore a safe supply" id "66efc484-53c7-51a3-89e9-422429344b38" {
description "";
source @sa_response;
target @sa_restore;
}
sequence_link sa_field_merge "Continue" id "0f6ac3fb-4ad6-581e-ad14-336472072d5e" {
description "";
guard "";
source @sa_use_field;
target @sa_merge;
}
examples/release1/sa/behavior/scenario_sa_conversation.arcadia
-13
View File
@@ -1,7 +1,5 @@
sa_scenario sa_conversation "Repair request and measured reply" id "730b27ca-b039-5a3b-8dc6-03418f9061b3" {
context @sa_restore;
description "";
parent none;
postcondition "The controller has received the measured pressure after repair";
precondition "A pressure alarm has been assessed";
steps [@sa_call, @sa_reply];
@@ -14,23 +12,17 @@ sa_occurrence sa_call "Request valve repair" id "8bab4783-a098-5984-9e36-493957c
exchange @sa_contact;
message_kind Call;
receiver @sa_responder;
reply_to none;
sender @sa_caller;
values [{
expression "420.0";
field @sa_pressure_parameter;
path [];
}];
};
};
description "";
parent @sa_conversation;
postcondition "";
precondition "";
}
sa_lifeline sa_caller "Controller" id "98c61788-2fee-51f4-8cf9-de48e8c70e9e" {
description "";
parent @sa_conversation;
represented @sa_control;
}
@@ -46,18 +38,13 @@ sa_occurrence sa_reply "Return pressure after repair" id "4e1c0a56-ce80-5f13-a93
values [{
expression "320.0";
field @sa_pressure_parameter;
path [];
}];
};
};
description "";
parent @sa_conversation;
postcondition "";
precondition "";
}
sa_lifeline sa_responder "Technician" id "6249b54a-e396-5338-82b9-89266c55670d" {
description "";
parent @sa_conversation;
represented @sa_technician;
}
examples/release1/sa/behavior/scenario_sa_full_scenario.arcadia
-7
View File
@@ -1,7 +1,5 @@
sa_scenario sa_full_scenario "Restore supply through field repair" id "f746a1cd-ff9f-55c0-b325-01c03d2f4fae" {
context @sa_restore;
description "";
parent none;
postcondition "The controller has received the measured pressure after repair";
precondition "A pressure alarm has been assessed";
steps [@sa_use_conversation];
@@ -9,13 +7,11 @@ sa_scenario sa_full_scenario "Restore supply through field repair" id "f746a1cd-
}
sa_lifeline sa_outer_controller "Controller" id "1edfcf9e-9bfa-51f1-80d5-62b8fd8bb023" {
description "";
parent @sa_full_scenario;
represented @sa_control;
}
sa_lifeline sa_outer_technician "Technician" id "155e4fe4-9e3b-5f4e-b886-28abcc3f086b" {
description "";
parent @sa_full_scenario;
represented @sa_technician;
}
@@ -33,9 +29,6 @@ sa_occurrence sa_use_conversation "Use the reviewed repair conversation" id "1c9
scenario @sa_conversation;
};
};
description "";
parent @sa_full_scenario;
postcondition "";
precondition "";
}
examples/release1/sa/behavior/state_machine_sa_monitor.arcadia
-37
View File
@@ -1,80 +1,43 @@
sa_state_machine sa_monitor "Pressure supervision" id "132b3f28-3f88-5327-9868-8c8b645ed412" {
description "";
parent @sa_control;
}
sa_region sa_monitor_region "Supervision cycle" id "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c" {
description "";
parent @sa_monitor;
}
sa_initial sa_monitor_initial "Start" id "57eb5348-14d8-560e-996a-8dbf993243e2" {
description "";
do_activity "";
entry "";
exit "";
kind Initial;
parent @sa_monitor_region;
}
sa_state sa_monitoring "Monitoring" id "8af21f9b-c21e-5aae-af0d-0958840f6655" {
description "";
do_activity "";
entry "";
exit "";
kind State;
parent @sa_monitor_region;
}
sa_state sa_waiting "Awaiting repair" id "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37" {
description "";
do_activity "";
entry "";
exit "";
kind State;
parent @sa_monitor_region;
}
state_transition sa_start_monitoring "State transition: Monitoring" id "47730532-0372-5cc5-9d6d-0b8953aebdd8" {
description "";
effect "";
effects [];
guard "";
source @sa_monitor_initial;
target @sa_monitoring;
transition_kind External;
trigger "";
triggers [];
}
state_transition sa_alarm_transition "State transition: Awaiting repair" id "13c3bfa4-9254-5ab2-b96f-f65f402adf81" {
description "";
effect "";
effects [];
guard "";
source @sa_monitoring;
target @sa_waiting;
transition_kind External;
trigger "";
triggers [@sa_high_pressure];
}
state_action sa_assess_on_entry "Assess when repair is needed" id "a887f96a-37cb-5891-8070-011fa276e5b5" {
description "";
phase Entry;
source @sa_waiting;
target @sa_assess;
}
state_transition sa_normal_transition "State transition: Monitoring" id "6e2c1b47-764c-577a-b325-ff66dd2a2768" {
description "";
effect "";
effects [];
guard "repair confirmed and pressure is safe";
source @sa_waiting;
target @sa_monitoring;
transition_kind External;
trigger "";
triggers [];
}
examples/release1/sa/capabilities.arcadia
-8
View File
@@ -1,26 +1,18 @@
sa_mission sa_mission "Maintain safe water supply" id "5ad034b1-084d-5273-9e70-971671766132" {
description "";
parent none;
}
sa_capability sa_restore "Restore a safe supply" id "81259051-370a-512d-a3b5-6420a6f933b6" {
description "";
parent none;
}
sa_capability sa_triage "Assess an alarm" id "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f" {
description "";
parent none;
}
mission_capability sa_mission_delivery "Mission capability: Restore a safe supply" id "a0902e0f-3d18-576a-9aca-975a136dfdd7" {
description "";
source @sa_mission;
target @sa_restore;
}
capability_include sa_include_triage "Capability include: Assess an alarm" id "f3fe7690-734a-5877-8b57-a6599a4033c4" {
description "";
source @sa_restore;
target @sa_triage;
}
examples/release1/sa/functions/function_sa_audit_thresholds.arcadia
-1
View File
@@ -1,5 +1,4 @@
sa_function sa_audit_thresholds "Audit pressure thresholds" id "4149a872-3440-59de-9879-8981e78d27ab" {
description "Deliberately unfinished: assigned to the service, but no behavior context yet. Model checks should expose this one work_without_behavior_context warning.";
parent none;
}
examples/release1/sa/functions/function_sa_restore_work.arcadia
-17
View File
@@ -1,10 +1,7 @@
sa_function sa_restore_work "Restore safe pressure" id "58867e7d-916e-5ebc-9e4c-8dbed1314be3" {
description "";
parent none;
}
sa_function sa_assess "Assess pressure alarm" id "dddae020-a444-5d48-acc8-139d2696a672" {
description "";
parent @sa_restore_work;
}
@@ -14,13 +11,10 @@ sa_port sa_repair_request_out "Request field repair output" id "24a6850e-b819-57
outgoing_items [@sa_repair_operation];
};
};
description "";
legacy none;
parent @sa_assess;
}
sa_function sa_confirm "Confirm safe pressure" id "d75eb3fa-a27d-52d5-8782-8b342b3865f6" {
description "";
parent @sa_restore_work;
}
@@ -30,13 +24,10 @@ sa_port sa_repair_report_in "Report repair result input" id "391af7c4-b07d-53a7-
incoming_items [@sa_repair_operation];
};
};
description "";
legacy none;
parent @sa_confirm;
}
sa_function sa_repair "Repair valve in the field" id "9497e10f-04c4-5586-8738-2464a6f00bd4" {
description "";
parent @sa_restore_work;
}
@@ -46,8 +37,6 @@ sa_port sa_repair_report_out "Report repair result output" id "994faed7-dbc8-5b9
outgoing_items [@sa_repair_operation];
};
};
description "";
legacy none;
parent @sa_repair;
}
@@ -57,24 +46,19 @@ sa_port sa_repair_request_in "Request field repair input" id "d2113fb0-a531-54ef
incoming_items [@sa_repair_operation];
};
};
description "";
legacy none;
parent @sa_repair;
}
sa_function sa_reset "Reset valve remotely" id "09342ccb-044b-5483-ac58-87dc3cf7831c" {
description "";
parent @sa_restore_work;
}
capability_involvement sa_assessment_support "Capability involvement: Assess an alarm" id "93eaad8d-83b7-5980-b9bb-86c9e3f31da4" {
description "";
source @sa_assess;
target @sa_triage;
}
functional_exchange sa_repair_request "Request field repair" id "93474111-f23e-56c1-b61b-b7c2396b91bd" {
description "";
items [@sa_repair_operation];
source @sa_assess;
source_port @sa_repair_request_out;
@@ -83,7 +67,6 @@ functional_exchange sa_repair_request "Request field repair" id "93474111-f23e-5
}
functional_exchange sa_repair_report "Report repair result" id "684eadc3-e670-5779-a60f-bbc9a5bfb062" {
description "";
items [@sa_repair_operation];
source @sa_repair;
source_port @sa_repair_report_out;
examples/release1/sa/model.arcadia
-7
View File
@@ -1,8 +1,6 @@
sa_exchange_category sa_contact_category "Field contact" id "781cbe75-410f-5cc5-aeb8-a43491f77b99" {
description "";
exchanges [@sa_contact];
family "Participant";
parent none;
}
sa_event sa_high_pressure "Pressure alarm detected" id "01490fa8-2f01-5ac8-9722-d55d45414379" {
@@ -11,14 +9,9 @@ sa_event sa_high_pressure "Pressure alarm detected" id "01490fa8-2f01-5ac8-9722-
expression "measured_pressure > operating_limit";
};
};
description "";
parent none;
}
sa_exchange_category sa_repair_traffic "Repair work exchanges" id "a9a47e48-100c-57a8-95f0-7fe24da94f94" {
description "";
exchanges [@sa_repair_request, @sa_repair_report];
family "Work";
parent none;
}
examples/release1/sa/participants.arcadia
-21
View File
@@ -1,6 +1,4 @@
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" {
@@ -11,13 +9,10 @@ sa_port sa_control_port "Repair service client" id "98d411e7-7c65-5c3f-b543-8bf0
};
};
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" {
@@ -28,36 +23,30 @@ sa_port sa_technician_port "Repair service provider" id "e6d69cbd-99d7-596b-bbe3
};
};
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;
@@ -65,61 +54,51 @@ boundary_exchange sa_contact "Technician service conversation" id "63009b5f-539e
}
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;
}
examples/release1/sa/types.arcadia
-18
View File
@@ -1,48 +1,30 @@
sa_data_type sa_pressure "Measured pressure" id "87d0a95b-af1b-5352-b753-e4c6533671a5" {
default none;
definition {
Real {
maximum 600.0;
minimum 0.0;
};
};
description "";
parent none;
unit "kPa";
}
sa_interface sa_repair_interface "Valve repair service" id "a4b8942e-a975-5f88-ad14-8f38c345baac" {
description "";
parent none;
supertype none;
}
sa_exchange_item sa_repair_operation "Valve repair" id "a962fc5e-3ab0-5296-8b0d-fd84633f9218" {
description "";
kind Information;
mechanism Operation;
parent none;
supertype none;
}
sa_data_field sa_pressure_parameter "Pressure before / after repair" id "bb12ba5d-aab5-5a1b-99de-c767f5365b57" {
default none;
description "";
direction InOut;
maximum 1;
minimum 1;
parent @sa_repair_operation;
storage Value;
type_ref {
Named @sa_pressure;
};
unit "";
}
interface_item_allocation sa_repair_interface_item "Repair operation contract" id "f074e041-23cf-54ad-af9c-f171e30621e7" {
acquisition Accept;
description "";
order 0;
source @sa_repair_interface;
target @sa_repair_operation;
transmission Synchronous;