SetPi-演算及其对本体演化的建模-中国科技论文在线.PDF

第5卷 第2期 112 中国科技论文在线 Sciencepaper Online 2010 年 2 月 SetPi-演算及其对本体演化的建模 刘 磊，范 茸，张 睿，吕 帅，张义飞 （吉林大学计算机科学与技术学院，长春 130012 ） 摘 要：对Pi-演算进行语法扩展，提出了一种新的演算：SetPi-演算，在Pi-演算原有语义的基础上引入了“集合”的 思想，从而解决了Pi-演算无法添加进程的弊端。详细给出SetPi-演算的形式化表示方法及其语义，刻画了SetPi-演算的 结构同余规则和归约规则等，并进一步对SetPi-演算的描述能力进行了界定和分析；最后将SetPi-演算应用于本体演化 领域，描述本体演化的基本变更操作，实现了其形式化建模。 关键词：形式化；Pi-演算；本体演化；建模 中图分类号：TP301 文献标志码：A 文章编号：1673－7180(2010)02 －0112 －8 SetPi-calculus and modeling method for ontology evolution Liu Lei ，Fan Rong ，Zhang Rui ，Lu Shuai ，Zhang Yifei (College of Computer Science and Technology, Jilin University, Changchun 130012, China) Abstract: This paper presented a new calculus: SetPi-Calculus with the idea of “Set” based on the original semantics of Pi-calculus, to solve the problem of adding a process in Pi-Calculus. We gave the details of formalization and semantic explanation, described the properties of structure congruence, reduced rules of SetPi-calculus and analyzed its expressive power. Finally, SetPi-calculus was applied to the field of ontology evolution, to describe its basic change operations and achieved a formal model. Key words: formalization ；Pi-calculus ；ontology evolution ；modeling 随着网络和移动通信的快速发展，出现了很多以适 播等难题[4] ，但 Pi-演算仅能描述消息的传播过程， 应通信建模为目的的形式化描述工具，其中被广为使用 而对于本体演化过程中的新增概念和属性等变化却 的工具之一就是 Pi-演算。Pi-演算可用于描述结构动态 无法描述，即使使用 Pi-演算现有的语义模拟，也不 演变的系统，通过对建立模型的推演验证模型的正确 能使本体演化模型形成一个封闭的系统。因此，为了 性，因此大量用于Web 服务组合等移动通信领域[1-2]。 服务于更多应用领域的建模，扩展 Pi-演算使其拥有 Pi-演算能够对既有的协议框架进行建模，可以 添加进程的能力是非常必要的。 描述进程间通过通道进行的同步通信、建立新通道、 形式化描述方法常用于建立实际模型，如 复制进程的非确定性行为[3] ，但对于结构中动态增加