Formal Description Approach for Agent-Based Mobile Computing

Aiming at the problems of architecture design and semantic feature verification during the construction of mobile cloud computing system, a formal semantic description model for agent-based mobile cloud computing system was proposed on the basis of typed category theory. Agent was depicted as the object node in category theory, and the interaction and dependency between agents are used as morphisms. The whole cloud service system is described as a typed category diagram. On this basis, agent interaction and cooperation, and architecture design and refinement, as well as agent migration and agent substitutability and application request satisfiability, were all analyzed and discussed. Application research shows that the formal description approach enhances the semantic description ability of the system architecture, and helps to analyze and verify the specifications of mobile cloud service system.