Algebraic Method for Describing and Analyzing the Architecture of MAS Based Autonomous Mobile Robot