计算机应用研究2016，Vol.33Issue(2)：467-472,6.DOI:10.3969/j.issn.1001-3695.2016.02.035
面向移动云服务系统的形式化语义描述方法
Formal semantic model for mobile cloud service system
摘要
关键词
移动云服务/agent/形式化描述/语义验证/范畴理论Key words
mobile cloud service/agent/formal description/semantic verification/category theory分类
信息技术与安全科学引用本文复制引用
侯金奎,张玉艳..面向移动云服务系统的形式化语义描述方法[J].计算机应用研究,2016,33(2):467-472,6.基金项目
山东省优秀中青年科学家科研奖励基金计划资助项目(BS2011DX039) （BS2011DX039）
山东省科技发展计划资助项目(2011YD01042,2011YD01043) （2011YD01042,2011YD01043）
山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013) （2013）
