Formal Semantic Model for Mobile Cloud Service System

The paper proposes a semantic retrieval model for mobile learning resources based on ontology. The model includes three modules: word segmentation of retrieval information, semantic expansion, and semantic retrieval. We describe the agent as an object node in the category theory, the interaction and dependency between the agents as a morphism, and the entire cloud service system as a type category graph. The case study shows that the framework cannot only support the modeling and analysis of the service system at the abstract level, but also support the service composition by mapping the abstract model to the realization technology, which can analyze the correctness of the requirement decomposition and service composition well. It can be used to guide the description and construction of the service system.