钱军 李京 冯玉琳 魏峻 黄涛

断连 公理化 组件 对象演算 组件关系 形式方法 对象语义描述 缓存验证算法 有效动作 cache 移动计算 位置 数据收集 回调 特性推理 卷 移动性 断连操作 概率图 移动组件系统模型

中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所对象技术中心 中国科学院软件研究所计算机科学重点实验室 中国科学院软件研究所软件工程技术研究开发... 中国科学院软件研究所软件工程技术中心北京