On the Use of Algebras as Semantic Domain of Object Societies