10.3969/j.issn.2095-2783.2010.02.006
SetPi-演算及其对本体演化的建模
对Pi-演算进行语法扩展,提出了一种新的演算:SetPi-演算,在Pi-演算原有语义的基础上引入了"集合"的思想,从而解决了Pi-演算无法添加进程的弊端.详细给出SetPi-演算的形式化表示方法及其语义,刻画了SetPi-演算的结构同余规则和归约规则等,并进一步对SetPi-演算的描述能力进行了界定和分析,最后将SetPi-演算应用于本体演化领域,描述本体演化的基本变更操作,实现了其形式化建模.
形式化、Pi-演算、本体演化、建模
5
TP301(计算技术、计算机技术)
国家自然科学基金60603031,60873044;高等学校博士学科点专项科研基金20060183044
2010-04-26(万方平台首次上网日期,不代表论文的发表时间)
共8页
112-119