An algebraic definition of attributed transformations