Algebraic specification in action door