基于Agent的分布式模型形式化语义描述

摘要：

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

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

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：山东省优秀中青年科学家科研奖励基金资助项目BS2011DX039;山东省科技发展计划项目2011YD01042,2011YD01043

在线出版日期：2014-01-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：3423-3427,3440