Journal of Computer Applications (计算机应用) 2013/33:12 PP.3423-3427
To resolve the problems of system composition and semantic verification in the construction process of distributed computing model, a semantic description framework for Agent-based distributed computing system was proposed based on category theory and process algebra. The structural semantics of the system model was described within category diagrams, and the relations between components were formally described by morphisms. On this basis, the semantic properties that should be preserved during the process of system modeling, refinement and migration were further analyzed and discussed. The application research shows that the proposed framework can not only be used for distributed system modeling, but also be used for the correctness analysis of system decomposition and composition.