74 lines
2.1 KiB
Plaintext
74 lines
2.1 KiB
Plaintext
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];
|
|
viewpoint BoundaryInterface;
|
|
}
|
|
|
|
sa_occurrence sa_call "Request valve repair" id "8bab4783-a098-5984-9e36-493957caf26c" {
|
|
body {
|
|
Exchange {
|
|
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;
|
|
}
|
|
|
|
sa_occurrence sa_reply "Return pressure after repair" id "4e1c0a56-ce80-5f13-a93a-6956de54880c" {
|
|
body {
|
|
Exchange {
|
|
exchange @sa_contact;
|
|
message_kind Reply;
|
|
receiver @sa_caller;
|
|
reply_to @sa_call;
|
|
sender @sa_responder;
|
|
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;
|
|
}
|
|
|
|
artifact repair_test_evidence "Repair conversation acceptance notes" id "f5922bf7-05d8-590f-86e9-1d09f37f4fa6" {
|
|
description "A local teaching artifact, not proof of a real valve's safety.";
|
|
fragment "acceptance";
|
|
owner @sa_conversation;
|
|
relation Verifies;
|
|
revision "lesson-1";
|
|
uri "evidence/repair-check.md";
|
|
}
|
|
|