“…We omit its details out of this paper. Here are given main definitions: TNCES ={P,T,F,mo,yv,CN,EN,DC}(1) [1] {Cin ,Ein,Cout,Eot, Bc, Be, Cs, Dt} (2) [1] DC = {DR,DL,D0} (3) [1] TNCES,omposite = {M, CminP, Cm0Ut,Eninp,Emn0,Ic, Je} (4) [5] Figure 1 demonstrates the approach:. Tp is the function that translates UML diagrams to the TNCES [7].…”