14 / 23
78
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3
sequentPlr(encapsulation, ending, plr(put(lp1(expectation),
lp2(expectation)), receive(p1l(completed), p2l (completed))),
terminating).
sequentPp1r(p1preparation, p1ready, pp1r(p1put(p1l1
(opened)), p1receive(lp11(invitation))), p1invited).
sequentPp1r(p1notification, p1accepted,
pp1r(p1put(p1l1(invited)), p1receive(lp11(quest))),
p1controlled).
sequentPp1r(p1complition, p1implemented,
pp1r(p1put(p1l1(agreed)), p1receive(lp11(expectation))),
p1ended).
sequentPp1r(p1cessation, p1terminated,
pp1r(p1put(p1l1(completed)), p1receive(lp11(closed))),
p1closed).
sequentRp1p(p1information, p1controlled,
rp1p(p1receive(lp11(quest)), p1put(p1l1(agreed))),
p1implemented).
sequentRp1p(p1encapsulation, p1ended,
rp1p(p1receive(lp11(expectation)), p1put(p1l1 (completed))),
p1terminated).
sequentRp1p(p1reaction, p1invited,
rp1p(p1receive(lp11(invitation)), p1put(p1l1(invited))),
p1accepted).
sequentPp2r(p2preparation, p2ready, pp2r(p2put(p2l2(opened)),
p2receive(lp22(invitation))), p2invited).
sequentPp2r(p2notification, p2accepted,
pp2r(p2put(p2l2(invited)), p2receive(lp22(quest))),
p2controlled).
sequentPp2r(p2complition, p2implemented,
pp2r(p2put(p2l2(agreed)), p2receive(lp22(expectation))),
p2ended).
sequentPp2r(p2cessation, p2terminated,
pp2r(p2put(p2l2(completed)), p2receive(lp22(closed))),
p2closed).
sequentRp2p(p2reaction, p2invited,
rp2p(p2receive(lp22(invitation)), p2put(p2l2(invited))),
p2accepted).
sequentRp2p(p2information, p2controlled,
rp2p(p2receive(lp22(quest)), p2put(p2l2(agreed))),
p2implemented).
sequentRp2p(p2encapsulation, p2ended,
rp2p(p2receive(lp22(expectation)), p2put(p2l2(completed))),
p2terminated).
execute(XL11,XP111,XP221,XL12,XP112,XP222):-
sequentRlp(XL11, S1L11, rlp(receive(p1l(M1L11), p2l(M1L21)),
put(lp1(M2L11), lp2(M2L21))), S2L11),
sequentPp1r(XP111, S1P11, pp1r(p1put(p1l1(M1L11)),
p1receive(lp11(M2L11))), S2P11),
sequentPp2r(XP221, S1P21, pp2r(p2put(p2l2(M1L21)),
p2receive(lp22(M2L21))), S2P21),
sequentPlr(XL12, S1L12, plr(put(lp1(M1L12), lp2(M1L22)),