基于扩展CPN的OWL-S过程语义建模及分析方法研究 被引量：4

1

作者 鲍爱华 王晓璇 +2 位作者 文艾 丁科 刘鹏 《计算机科学》 CSCD 北大核心 2011年第4期203-208,共6页

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过... OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_net对基本着色Petri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM_net。同时说明了如何基于PM_net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多

关键词 过程语义 OWL-S 过程模型网 着色PETRI网 本体演化 语义Web

在线阅读 下载PDF 职称材料

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量：4

2

作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多

关键词 WEB服务 语义WEB 过程语义 Web服务本体描述语言 本体演化 过程模型网 着色PETRI网

在线阅读 下载PDF 职称材料

受限的proflog语言及其表推演过程语义 被引量：1

3

作者 陈荣 孙吉贵 姜云飞 《广西师范大学学报（自然科学版）》 CAS 2003年第1期27-33,共7页

Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使... Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程. 展开更多

关键词 表推演 过程语义 非单调性 逻辑程序设计语言 证明论 proflog 扩展规则

在线阅读 下载PDF 职称材料

语义标识的过程模型的可执行性分析

4

作者 龚平 蒋建明 张仕 《小型微型计算机系统》 CSCD 北大核心 2012年第12期2618-2624,共7页

语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型... 语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证. 展开更多

关键词 语义标注过程模型 可执行性 有界模型检查 可满足性求解器

在线阅读 下载PDF 职称材料

比喻——跨范畴的语义映射过程

5

作者 赵升奎 《云南师范大学学报（哲学社会科学版）》 2003年第2期119-121,共3页

当比喻不作为一种纯粹辞格 ,而作为一种思维方式 ,作为一种认知现象时 ,表现出以下三大特点 ,比喻的范畴化过程 ,比喻的概念化过程 ,比喻的双向认同过程 ,整个过程实质上是一种跨范畴的语义映射 ,相似性是这一过程得以进行的关键因素。

关键词 比喻 语义映射过程 相似性 范畴化 概念化 修辞

在线阅读 下载PDF 职称材料

LPS程序的过程语义 被引量：1

6

作者 赵春晓 李磊 《软件学报》 EI CSCD 北大核心 1993年第3期58-60,共3页

为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言。

关键词 LPS语言 过程语义

在线阅读 下载PDF 职称材料

析取封闭世界假设的一种过程语义(英文)

7

作者 王克文 周立柱 冯建华 《软件学报》 EI CSCD 北大核心 2001年第9期1265-1270,共6页

析取信息的表示是一个重要的研究问题 .DCWA(析取封闭假设 )为一般演绎数据库提供了一种谨慎语义 ,并且扩充了标准的良基语义 .同时 DCWA支持争论推理 ,为广义封闭世界假设提供了一种逼近 .基于此 ,提出了DCWA的过程语义 ,并证明了它的... 析取信息的表示是一个重要的研究问题 .DCWA(析取封闭假设 )为一般演绎数据库提供了一种谨慎语义 ,并且扩充了标准的良基语义 .同时 DCWA支持争论推理 ,为广义封闭世界假设提供了一种逼近 .基于此 ,提出了DCWA的过程语义 ,并证明了它的可靠性和完备性 . 展开更多

关键词 演绎数据库 封闭世界假设 过程语义

在线阅读 下载PDF 职称材料

逻辑语言Setlog的证明论和过程性语义

8

作者 黄东斌 李磊 《软件学报》 EI CSCD 北大核心 1997年第A00期143-154,共12页

本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象的逻辑语言Ｓｅｔｌｏｇ。本文给出了Ｓｅｔｌｏｇ语... 本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象的逻辑语言Ｓｅｔｌｏｇ。本文给出了Ｓｅｔｌｏｇ语言的严谨法形式，并讨论了模型论和证明论。 展开更多

关键词 过程性语义 证明论 Setlog语言 逻辑语言

在线阅读 下载PDF 职称材料

基于Hoare逻辑的过程调用的形式化方法 被引量：2

9

作者 雷富兴 张来顺 《计算机工程与设计》 CSCD 北大核心 2011年第1期197-201,共5页

采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这... 采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这个调用的前置条件,根据这些条件形式化求解调用的最强后置条件,也就是调用的语义作用。 展开更多

关键词 HOARE逻辑 过程语义 过程调用语义 前置条件 后置条件

在线阅读 下载PDF 职称材料

Gdel语言延迟声明语句的语义及其实现方法

10

作者 曹炳义 赵致琢 《计算机科学》 CSCD 北大核心 2012年第5期114-116,共3页

Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通... Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。 展开更多

关键词 Gdel语言 延迟计算 进化代数 过程性语义 扩展Warren机

在线阅读 下载PDF 职称材料

基于Simevents的机电自动化生产系统的语义分析与本体建模 被引量：1

11

作者 黄雪梅 《组合机床与自动化加工技术》 北大核心 2015年第2期82-85,共4页

针对应用Simevents开发机电自动化生产控制系统,分析其中支持离散制造运行机制的制造知识语义分析与自动化生产控制领域知识本体建模技术。从生产系统自动化控制领域知识角度,归纳出其中蕴含的核心概念及知识语义,并重点归纳驱动离散制... 针对应用Simevents开发机电自动化生产控制系统,分析其中支持离散制造运行机制的制造知识语义分析与自动化生产控制领域知识本体建模技术。从生产系统自动化控制领域知识角度,归纳出其中蕴含的核心概念及知识语义,并重点归纳驱动离散制造过程的生产事件及各制造核心概念之间作用关系的属性定义。应用Protégé软件建立了符合OWL机制并支持Simevents生产系统控制开发的离散制造控制本体模型。结合Simevents生产控制软件系统,提出了所开发的本体模型与软件系统的集成方法。以固高柔性生产系统实验平台为实例系统对提出的语义本体技术进行验证。 展开更多

关键词 自动化生产系统 制造本体模型 制造过程语义

在线阅读 下载PDF 职称材料

论语言的多层次理论 被引量：1

12

作者 肖平 《东北师大学报（哲学社会科学版）》 CSSCI 1992年第6期85-88,共4页

语言的层次问题不仅是语言学研究中的重要课题,同时也是心理学和神经生理学等学科所关心的一个热点。本文集中探讨了语言层次的划分标准和依据,认为:语言是由意义、语法和语音三个层次构成的;把语言划分为深层结构和表层结构的做法,不... 语言的层次问题不仅是语言学研究中的重要课题,同时也是心理学和神经生理学等学科所关心的一个热点。本文集中探讨了语言层次的划分标准和依据,认为:语言是由意义、语法和语音三个层次构成的;把语言划分为深层结构和表层结构的做法,不益于分析和解释复杂的自然语言现象;语法规则受心理现实因素的制约,同时又具有相对的独立性和稳定性. 展开更多

关键词 表层结构 深层结构 语言学研究 语法规则 心理学家 语言层次 语音层 语言现象 理解过程 语义过程

在线阅读 下载PDF 职称材料