276 lines
8.4 KiB
Plaintext
276 lines
8.4 KiB
Plaintext
arcadia 6;
|
|
project mission "Two operations, one interface" id "52060906-0000-4000-8000-000000000001" {
|
|
description "";
|
|
|
|
sa_actor operation_probe_10 "Operator console" id "52060906-0000-4000-8000-00000000000a" {
|
|
description "";
|
|
parent none;
|
|
}
|
|
|
|
sa_system operation_probe_11 "Valve service" id "52060906-0000-4000-8000-00000000000b" {
|
|
description "";
|
|
parent none;
|
|
}
|
|
|
|
sa_port operation_probe_12 "Service socket" id "52060906-0000-4000-8000-00000000000c" {
|
|
contract {
|
|
Component {
|
|
kind Standard;
|
|
orientation Unset;
|
|
};
|
|
};
|
|
description "";
|
|
legacy none;
|
|
parent @operation_probe_10;
|
|
}
|
|
|
|
sa_port operation_probe_13 "Service socket" id "52060906-0000-4000-8000-00000000000d" {
|
|
contract {
|
|
Component {
|
|
kind Standard;
|
|
orientation Unset;
|
|
};
|
|
};
|
|
description "";
|
|
legacy none;
|
|
parent @operation_probe_11;
|
|
}
|
|
|
|
sa_exchange_item operation_probe_20 "Reset" id "52060906-0000-4000-8000-000000000014" {
|
|
description "";
|
|
kind Information;
|
|
mechanism Operation;
|
|
parent none;
|
|
supertype none;
|
|
}
|
|
|
|
sa_exchange_item operation_probe_21 "ReadStatus" id "52060906-0000-4000-8000-000000000015" {
|
|
description "";
|
|
kind Information;
|
|
mechanism Operation;
|
|
parent none;
|
|
supertype none;
|
|
}
|
|
|
|
sa_interface operation_probe_22 "Valve commands" id "52060906-0000-4000-8000-000000000016" {
|
|
description "";
|
|
parent none;
|
|
supertype none;
|
|
}
|
|
|
|
sa_scenario operation_probe_40 "Reset then read status" id "52060906-0000-4000-8000-000000000028" {
|
|
context none;
|
|
description "";
|
|
parent none;
|
|
postcondition "";
|
|
precondition "";
|
|
steps [@operation_probe_43, @operation_probe_44];
|
|
viewpoint BoundaryInterface;
|
|
}
|
|
|
|
sa_lifeline operation_probe_41 "Service participant" id "52060906-0000-4000-8000-000000000029" {
|
|
description "";
|
|
parent @operation_probe_40;
|
|
represented @operation_probe_10;
|
|
}
|
|
|
|
sa_lifeline operation_probe_42 "Service participant" id "52060906-0000-4000-8000-00000000002a" {
|
|
description "";
|
|
parent @operation_probe_40;
|
|
represented @operation_probe_11;
|
|
}
|
|
|
|
sa_occurrence operation_probe_43 "Call Reset" id "52060906-0000-4000-8000-00000000002b" {
|
|
body {
|
|
Exchange {
|
|
exchange @operation_probe_80;
|
|
message_kind Call;
|
|
receiver @operation_probe_42;
|
|
reply_to none;
|
|
sender @operation_probe_41;
|
|
values [];
|
|
};
|
|
};
|
|
description "";
|
|
parent @operation_probe_40;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
sa_occurrence operation_probe_44 "Call ReadStatus" id "52060906-0000-4000-8000-00000000002c" {
|
|
body {
|
|
Exchange {
|
|
exchange @operation_probe_81;
|
|
message_kind Call;
|
|
receiver @operation_probe_42;
|
|
reply_to none;
|
|
sender @operation_probe_41;
|
|
values [];
|
|
};
|
|
};
|
|
description "";
|
|
parent @operation_probe_40;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
sa_function operation_probe_50 "Issue service request" id "52060906-0000-4000-8000-000000000032" {
|
|
description "";
|
|
parent none;
|
|
}
|
|
|
|
sa_function operation_probe_51 "Execute service request" id "52060906-0000-4000-8000-000000000033" {
|
|
description "";
|
|
parent none;
|
|
}
|
|
|
|
sa_port operation_probe_70 "Operation output" id "52060906-0000-4000-8000-000000000046" {
|
|
contract {
|
|
FunctionOutput {
|
|
outgoing_items [@operation_probe_20];
|
|
};
|
|
};
|
|
description "";
|
|
legacy none;
|
|
parent @operation_probe_50;
|
|
}
|
|
|
|
sa_port operation_probe_71 "Operation input" id "52060906-0000-4000-8000-000000000047" {
|
|
contract {
|
|
FunctionInput {
|
|
incoming_items [@operation_probe_20];
|
|
};
|
|
};
|
|
description "";
|
|
legacy none;
|
|
parent @operation_probe_51;
|
|
}
|
|
|
|
sa_port operation_probe_72 "Operation output" id "52060906-0000-4000-8000-000000000048" {
|
|
contract {
|
|
FunctionOutput {
|
|
outgoing_items [@operation_probe_21];
|
|
};
|
|
};
|
|
description "";
|
|
legacy none;
|
|
parent @operation_probe_50;
|
|
}
|
|
|
|
sa_port operation_probe_73 "Operation input" id "52060906-0000-4000-8000-000000000049" {
|
|
contract {
|
|
FunctionInput {
|
|
incoming_items [@operation_probe_21];
|
|
};
|
|
};
|
|
description "";
|
|
legacy none;
|
|
parent @operation_probe_51;
|
|
}
|
|
|
|
interface_item_allocation operation_probe_30 "InterfaceItemAllocation 30" id "52060906-0000-4000-8000-00000000001e" {
|
|
acquisition Unspecified;
|
|
description "";
|
|
order 0;
|
|
source @operation_probe_22;
|
|
target @operation_probe_20;
|
|
transmission Synchronous;
|
|
}
|
|
|
|
interface_item_allocation operation_probe_31 "InterfaceItemAllocation 31" id "52060906-0000-4000-8000-00000000001f" {
|
|
acquisition Unspecified;
|
|
description "";
|
|
order 0;
|
|
source @operation_probe_22;
|
|
target @operation_probe_21;
|
|
transmission Synchronous;
|
|
}
|
|
|
|
interface_requirement operation_probe_32 "InterfaceRequirement 32" id "52060906-0000-4000-8000-000000000020" {
|
|
description "";
|
|
source @operation_probe_12;
|
|
target @operation_probe_22;
|
|
}
|
|
|
|
interface_provision operation_probe_33 "InterfaceProvision 33" id "52060906-0000-4000-8000-000000000021" {
|
|
description "";
|
|
source @operation_probe_13;
|
|
target @operation_probe_22;
|
|
}
|
|
|
|
boundary_exchange operation_probe_34 "BoundaryExchange 34" id "52060906-0000-4000-8000-000000000022" {
|
|
description "";
|
|
items [@operation_probe_20, @operation_probe_21];
|
|
oriented false;
|
|
source @operation_probe_12;
|
|
target @operation_probe_13;
|
|
}
|
|
|
|
allocation operation_probe_60 "Allocation 60" id "52060906-0000-4000-8000-00000000003c" {
|
|
description "";
|
|
source @operation_probe_10;
|
|
target @operation_probe_50;
|
|
}
|
|
|
|
allocation operation_probe_61 "Allocation 61" id "52060906-0000-4000-8000-00000000003d" {
|
|
description "";
|
|
source @operation_probe_11;
|
|
target @operation_probe_51;
|
|
}
|
|
|
|
functional_exchange operation_probe_80 "FunctionalExchange 80" id "52060906-0000-4000-8000-000000000050" {
|
|
description "";
|
|
items [@operation_probe_20];
|
|
source @operation_probe_50;
|
|
source_port @operation_probe_70;
|
|
target @operation_probe_51;
|
|
target_port @operation_probe_71;
|
|
}
|
|
|
|
functional_exchange operation_probe_81 "FunctionalExchange 81" id "52060906-0000-4000-8000-000000000051" {
|
|
description "";
|
|
items [@operation_probe_21];
|
|
source @operation_probe_50;
|
|
source_port @operation_probe_72;
|
|
target @operation_probe_51;
|
|
target_port @operation_probe_73;
|
|
}
|
|
|
|
port_allocation operation_probe_90 "PortAllocation 90" id "52060906-0000-4000-8000-00000000005a" {
|
|
description "";
|
|
source @operation_probe_12;
|
|
target @operation_probe_70;
|
|
}
|
|
|
|
port_allocation operation_probe_91 "PortAllocation 91" id "52060906-0000-4000-8000-00000000005b" {
|
|
description "";
|
|
source @operation_probe_13;
|
|
target @operation_probe_71;
|
|
}
|
|
|
|
port_allocation operation_probe_92 "PortAllocation 92" id "52060906-0000-4000-8000-00000000005c" {
|
|
description "";
|
|
source @operation_probe_12;
|
|
target @operation_probe_72;
|
|
}
|
|
|
|
port_allocation operation_probe_93 "PortAllocation 93" id "52060906-0000-4000-8000-00000000005d" {
|
|
description "";
|
|
source @operation_probe_13;
|
|
target @operation_probe_73;
|
|
}
|
|
|
|
exchange_allocation operation_probe_100 "ExchangeAllocation 100" id "52060906-0000-4000-8000-000000000064" {
|
|
description "";
|
|
source @operation_probe_34;
|
|
target @operation_probe_80;
|
|
}
|
|
|
|
exchange_allocation operation_probe_101 "ExchangeAllocation 101" id "52060906-0000-4000-8000-000000000065" {
|
|
description "";
|
|
source @operation_probe_34;
|
|
target @operation_probe_81;
|
|
}
|
|
|
|
}
|