| 基于Agent的分布式模型形式化语义描述 |
| |
| 引用本文： | 侯金奎,王磊.基于Agent的分布式模型形式化语义描述[J].计算机应用,2013,33(12):3423-3427. |
| |
| 作者姓名： | 侯金奎 王磊 |
| |
| 作者单位： | 潍坊学院 计算机工程学院，山东 潍坊 261061 |
| |
| 基金项目： | 山东省优秀中青年科学家科研奖励基金计划项目;山东省科技发展计划项目 |
| |
| 摘 要： | 为解决分布式系统构建过程中系统组合和语义验证等方面的问题，基于范畴理论和进程代数，为基于Agent的分布式系统模型提出了一种形式化的语义描述框架。范畴图表用于描述整个系统的结构模型，态射用来表示系统各组成部分之间的交互和协作机制。在此基础上，对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨。应用研究表明，该框架适用于分布式系统模型的描述和构建，有助于分析系统分解和组合的正确性。
|
| 关 键 词： | 分布式系统 系统组合 形式化语义 范畴理论 Agent |
| 收稿时间： | 2013-07-10 |
Formal semantics of Agent-based distributed computing model |
| |
| HOU Jinkui WANG Lei.Formal semantics of Agent-based distributed computing model[J].journal of Computer Applications,2013,33(12):3423-3427. |
| |
| Authors: | HOU Jinkui WANG Lei |
| |
| Affiliation: | School of Computer Engineering, Weifang University, Weifang Shandong 261061, China |
| |
| Abstract: | |
| |
| Keywords: | distributed computing system system composition formal semantics category theory Agent |
|
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
