面向移动云服务系统的形式化语义描述方法

• 作者: 侯金奎 张玉艳
• 来源期刊: 计算机应用研究
• 关键词: 移动云服务 agent 形式化描述 语义验证 范畴理论
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 软件技术研究
• 页码范围: 467-472
• 页数: 6页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.02.035

摘要

针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于agent的移动云服务系统建立了一种形式化语义描述模型.该方法中,将agent描述为范畴理论中的对象节点,agent之间的交互和依赖关系作为态射,将整个云服务系统描述为一个类型范畴图表.在此基础上,对agent交互与协作、架构设计与精化、agent迁移、agent可替代性以及应用请求的可满足性等进行了分析和讨论.该形式化模型增强了系统架构的语义描述能力,有助于对移动云服务系统的规约进行分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉艳	潍坊学院计算机工程学院	9	71	3.0	8.0
2	侯金奎	潍坊学院计算机工程学院	21	116	4.0	10.0