Transaction formalism protocol tool in infrastructure management. Issue 2 (3rd April 2017)