għandu jkun hemm proċessi għarrikonċiljazzjoni formali bejn ilmudell u ssitemi tassorsi taddata sabiex jiġi verifikat bmod kontinwu li ttermini u lispeċifikazzjonijiet tattransazzjoni qed ikunu riflessi flepe bmod korrett jew millinqas bmod konservattiv