- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
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] ,但对于结构中动态增加
您可能关注的文档
- MAX9679A12通道、10位可编程gamma和VCOM基准电压源.PDF
- 委办计画说明书-水利署.doc
- 委托服务计画说明书.doc
- MC9300手持移动数据终端规格表A4.PDF
- MD38PC1可编程多功能扩展卡用户手册-汇川技术.PDF
- 孕产妇死亡率-OHCHR.doc
- MDM57系列DIEV扩展模块使用说明书(详细篇).PDF
- microbit基础课程(makecode版本).PDF
- MicroLogix1100控制器MicroLogix1100控制器内置模拟量输入、以太.doc
- MicroRNA-21对肺成纤维细胞增殖和分化的影响.PDF
- 广州卫生有害生物防制服务资质等级评审准入条件根据广州卫生有害.PDF
- SH38型管板式烘丝机控制系统改进.PDF
- ShortVersion17.ThermalBehaviorofMatter短版17.物质的热-ckw.ppt
- Simio差异化内容概览.PDF
- SIMOTIOND4x5-2PN通过PROFINET扩展连接CU320-2PN.PDF
- 广西北部湾港口物流产业集群发展模式研究-南宁职业技术.PDF
- 广西医科大学绩效考核管理办法(试行).PDF
- SIRPα及其配体CD47在巨噬细胞吞噬过程中的作用.PDF
- SIRT1与成体干细胞衰老-中国药理学通报.PDF
- SK-919BG用户手册-时刻防盗报警.PDF
最近下载
- 2023年山西省运城市河津市城区街道杨家巷村社区工作人员(综合考点共100题)模拟测试练习题含答案.docx VIP
- 精创温控器ECS-180neo说明书用户手册.pdf
- 内蒙古中考物理真题试题(含解析).pdf VIP
- 2023年山西省运城市河津市城区街道吴家关村社区工作人员(综合考点共100题)模拟测试练习题含答案.docx VIP
- 2023年山西省运城市河津市城区街道城关村社区工作人员(综合考点共100题)模拟测试练习题含答案.docx VIP
- 学堂在线《兵棋》题库及答案.docx VIP
- 消防初级实操题库1000题.pdf
- 杭州碧橙数字技术股份有限公司招股说明书.pdf
- 武汉市2025届高中毕业生二月调研考试(二调)英语试卷(含答案解析)+听力音频.docx
- (砌体工程施工验收规范).doc VIP
文档评论(0)