Email Record: Algebraic formalization of smart systems :