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

• 作者: 侯金奎 王磊
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 分布式系统 系统组合 形式化语义 范畴理论 Agent
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 2013年全国开放式分布与并行计算学术年会(DPCS 2013)
• 页码范围: 3423-3427,3440
• 页数: 6页
• 分类号: TP311
• 字数: 7900字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2013.12.3423

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王磊	潍坊学院计算机工程学院	15	35	4.0	4.0
2	侯金奎	潍坊学院计算机工程学院	21	116	4.0	10.0