期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
偶图及其应用研究综述 被引量:1
1
作者 许东 王晶晶 李静 《软件学报》 EI CSCD 北大核心 2016年第2期195-208,共14页
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-... 偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广. 展开更多
关键词 偶图 范畴论 偶图范畴 偶图反应系统 偶图应用
下载PDF
Seal演算的偶图语义 被引量:2
2
作者 金龙飞 刘磊 《计算机学报》 EI CSCD 北大核心 2008年第3期522-528,共7页
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一... 偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础. 展开更多
关键词 SEAL演算 偶图 偶图反应系统 结构对应 操作对应
下载PDF
大数据管理的偶图模型 被引量:1
3
作者 许东 李静 《小型微型计算机系统》 CSCD 北大核心 2016年第2期312-315,共4页
大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化... 大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化建模工具,而且其图形化表达非常直观.本文采用偶图以及偶图反应系统相关理论,并结合大数据生命周期思想,建立大数据管理的偶图模型.然后,用偶图模型重写开源分布式文件系统Fast DFS和MapReduce编程模型,并用带演算的MapReduce偶图模型改进交互数据处理效率低的弱点.两个案例表明提出的大数据管理形式化方法的有效性. 展开更多
关键词 大数据管理 偶图 偶图反应系统 数据生命周期
下载PDF
基于Bigraph的面向方面动态软件体系结构演化研究 被引量:6
4
作者 汪玲 戎玫 +1 位作者 张广泉 王昇 《计算机科学》 CSCD 北大核心 2010年第9期137-140,共4页
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很... 随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。 展开更多
关键词 bigraph bigraph反应系统 AODSA 动态演化
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部