| 面向移动云服务系统的形式化语义描述方法 |
| |
| 引用本文： | 侯金奎,张玉艳.面向移动云服务系统的形式化语义描述方法[J].计算机应用研究,2016,33(2). |
| |
| 作者姓名： | 侯金奎 张玉艳 |
| |
| 作者单位： | 潍坊学院 计算机工程学院,潍坊学院 计算机工程学院 |
| |
| 基金项目： | 山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039)；山东省科技发展计划项目(2011YD01042, 2011YD01043)。 |
| |
| 摘 要： | 针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于Agent的移动云服务系统建立了一种形式化语义描述模型。Agent作为范畴理论中的对象结点,Agent之间的交互和依赖关系作为态射,将整个云服务系统描述为一个类型范畴图表。在此基础上,对Agent交互与协作、架构设计与精化、Agent迁移、Agent可替代性以及应用请求的可满足性等进行了分析和讨论。该形式化模型增强了系统架构的语义描述能力,有助于对移动云服务系统的规约进行分析和验证。
|
| 关 键 词： | 移动云服务 Agent 形式化描述 语义验证 范畴理论 |
| 收稿时间： | 1/9/2015 12:00:00 AM |
| 修稿时间： | 2015/12/28 0:00:00 |
Formal Semantic Model for Mobile Cloud Service System |
| |
| HOU Jin-kui and ZHANG Yu-yan.Formal Semantic Model for Mobile Cloud Service System[J].Application Research of Computers,2016,33(2). |
| |
| Authors: | HOU Jin-kui and ZHANG Yu-yan |
| |
| Affiliation: | School of Computer Engineering,Weifang University,Weifang;China,School of Computer Engineering,Weifang University,Weifang;China |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
