DOI: 10.3724/SP.J.1087.2013.03423

Journal of Computer Applications (计算机应用) 2013/33:12 PP.3423-3427

Formal semantics of Agent-based distributed computing model

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

ReleaseDate:2014-07-21 16:59:16