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

摘要： 为解决分布式系统构建过程中系统组合和语义验证等方面的问题，基于范畴理论和进程代数，为基于Agent的分布式系统模型提出了一种形式化的语义描述框架。范畴图表用于描述整个系统的结构模型，态射用来表示系统各组成部分之间的交互和协作机制。在此基础上，对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨。应用研究表明，该框架适用于分布式系统模型的描述和构建，有助于分析系统分解和组合的正确性。

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