关键词: 分布式系统, 系统组合, 形式化语义, 范畴理论, Agent

Abstract: 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.

Key words: distributed computing system, system composition, formal semantics, category theory, Agent