SetPi-演算及其对本体演化的建模

• 作者: 刘磊 吕帅 张义飞 张睿 范茸
• 来源期刊: 中国科技论文在线
• 学科: 工学
• 关键词: 形式化 Pi-演算 本体演化 建模
• 年，卷（期）: 2010,（2）
• 页码范围: 112-119
• 页数: 8页
• 分类号: TP301
• 字数: 7419字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-2783.2010.02.006

摘要

对Pi-演算进行语法扩展,提出了一种新的演算:SetPi-演算,在Pi-演算原有语义的基础上引入了"集合"的思想,从而解决了Pi-演算无法添加进程的弊端.详细给出SetPi-演算的形式化表示方法及其语义,刻画了SetPi-演算的结构同余规则和归约规则等,并进一步对SetPi-演算的描述能力进行了界定和分析,最后将SetPi-演算应用于本体演化领域,描述本体演化的基本变更操作,实现了其形式化建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张睿	吉林大学计算机科学与技术学院	29	71	4.0	6.0
2	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
3	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
4	范茸	吉林大学计算机科学与技术学院	1	2	1.0	1.0
5	张义飞	吉林大学计算机科学与技术学院	1	2	1.0	1.0