Modifications sémantiques
Modification de l’entrelacement des threads
sém small-step ? avance jusqu’à mort ou suspension du thread
send_current(ObjL1, OThId1) &
exec_activity(ObjL1, ClVarL1, OThId1, ObjId1 |- Clr :> ObjL1_1, ClVarL1_1, ThStatus1_1)
ObjL1, ClVarL1, OThId1, ObjId1 |- ThStatus1, Clr -> ObjL1_1, ClVarL1_1, ThStatus1_1;
provided not_eq(ThStatus1, suspended(_));
Construction de la structure contenant les APDUs
find_Apdu_attribute(identifier "commandApdu" |- ObjL1, AttrL1 -> AttrL2)
(ObjL1, OThId1, object(_, identifier "CAD", AttrL1, _, _, _, _), clr(_, _, _, _, inst_l[Inst1.InstL1])) ;
provided not_eq(Inst1, i_block(inst_l[], _));
update_apduL(apdu(OThId1, AttrL2) -> ApduL) &
emit_tree("apdu", ApduL);