检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

BPMN 2.0编排的形式语义和分析

软件学报 2018年第4期29卷 1094-1114页

作者：代飞赵文卓杨云莫启李彤周华西南林业大学大数据与人工智能工程学院云南昆明650091 云南大学软件学院云南昆明650091 云南省软件工程重点实验室云南昆明650091

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的... 详细信息

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.

关键词：业务流程建模标注2.0 编排 Petri网形式语义语义分析

形式语义、最小命题、模块性 ——浅析博格的语义最小论

在线全文

学校读者我要写书评

暂无评论

形式语义、最小命题、模块性 ——浅析...

作者：李妙婷华中科技大学

学位级别：硕士

传统形式语义学致力于摒弃不精确的自然语言,运用逻辑工具建立一套理想化的人工语言。根据形式语义学家的观点,语言的意义即字面意义,它恪守语义组合原则,由词汇意义和句法结构组成。但是语境论者对大量的案例进行了分析和讨论,指出意... 详细信息

传统形式语义学致力于摒弃不精确的自然语言,运用逻辑工具建立一套理想化的人工语言。根据形式语义学家的观点,语言的意义即字面意义,它恪守语义组合原则,由词汇意义和句法结构组成。但是语境论者对大量的案例进行了分析和讨论,指出意义的确定依赖于语境,传统形式语义学似乎已经穷途末路。艾玛·博格从认知科学的视角对形式语义学进行了辩护。博格所提倡的语义最小论是一种语言字面意义理论。语义最小论遵循形式语义学路径,认为语义内容由词汇内容和句法结构产生的最小命题穷尽,语境影响的只有说者所言说的内容。基于福多的认知模块图景,博格认为字面意义和交流意义属于不同的认知加工过程,理应作出明确区分并以此捍卫形式语义基石。巧合的是,作为激进语境论的关联论者同样以模块论为基础论证人类交际的实现依赖于语境。本文旨在通过对最小论与模块论之间的关系的梳理,对博格的语义最小论给出一个全面的分析。通过厘清以关联论为代表的语境论对最小论的批评与博格的回应,笔者认为,尽管博格的语义最小论还有一些亟待解决的问题,但不失为传统语义学突破困境的一条新出路。文章分为五个部分:第一部分介绍本文的研究背景以及国内外的主要研究成果;第二部分介绍博格的语义最小论;第三部分介绍模块论,并阐明模块论与语义最小论之间的关系;第四部分分析语境论对博格语义最小论的批评以及博格的回应。第五部分为总结。

关键词：形式语义语义最小论最小命题心理模块语境

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

UML状态机的形式语义

软件学报 2002年第12期13卷 2244-2250页

作者：蒋慧谢希仁林东解放军理工大学计算机系江苏南京210007 国防大学战略教研室北京100091

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形... 详细信息

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明,为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义.此方法既是对一些经典Statechart形式化方法的综合,又针对UML状态机的特点作了创新,使状态项能够动态地描述任意时刻UML状态机的配置树,简化LTS的标记,同时,结构化的语义规则更为形式化验证奠定了基础.

关键词： UML 状态机形式语义面向对象建模语言

复合抽象数据类型结构化规约的形式语义及其模型

在线全文

学校读者我要写书评

暂无评论

计算机科学 1998年第3期25卷 8-12,F004页

作者：蔡家楣浙江工业大学信息工程学院杭州310014

本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ECC扩展构造逻辑和函数式语言两种方式下的模型。

关键词：抽象数据类型构造型说明法形式语义数据结构

在线全文

学校读者我要写书评

暂无评论

谈“只”与“连”的形式语义

中国语文 2004年第2期 99-111页

作者：蔡维天台湾新竹清华大学语言所

汉语中"只"与"连"一向都被认为是带有焦点的结构。然而当我们用 Kiss(1998)和徐烈炯(2002)提出的焦点判准来做测试的时候,却发现它们之间有不对称的现象:"只"字句能通过并列结构测试和否定结构测试;而"连"字句则不能。本文拟以 Horn(19... 详细信息

汉语中"只"与"连"一向都被认为是带有焦点的结构。然而当我们用 Kiss(1998)和徐烈炯(2002)提出的焦点判准来做测试的时候,却发现它们之间有不对称的现象:"只"字句能通过并列结构测试和否定结构测试;而"连"字句则不能。本文拟以 Horn(1969)对英语中only 和 even 的语义分析为出发点,来解决这个不对称的问题。就"只"字句而言,其预设为基本命题;其断言则为其基本命题之否定,并以焦点词组之补集为其范域。相较之下,"连"字句的断言才是基本命题;其预设则含有焦点词组之补集。这个差异正是不对称现象的来源。本文的研究不仅解决了"连"字句属对比焦点还是话题焦点的争议,也对强势量化词和疑问副词在"只"字句中的孤岛效应提出了合理解释。这样看来,语用的研究确实需要和句法、语义结合起来,来自语义、语用方面的材料不仅使形式分析更具有深度,也使我们对语言事实的观察更为周全。

关键词： “只”字句 “连”字句语法形式语义汉语

在线全文

学校读者我要写书评

暂无评论

Agent组织结构设计的一种形式语义

软件学报 2002年第3期13卷 447-452页

作者：张伟石纯一清华大学计算机科学与技术系中国科学院计算技术研究所智能信息处理开放实验室北京100080

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象... 详细信息

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.

关键词： MAS Agent 组织结构形式语义 π演算抽象机人工智能

在线全文

学校读者我要写书评

暂无评论

一种基于共代数的面向对象形式语义

计算机科学 2011年第8期38卷 142-146页

作者：余珊珊李师贤苏锦钿中山大学信息科学与技术学院广州510275 华南理工大学计算机科学与工程学院广州510640

针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成... 详细信息

针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。

关键词：面向对象方法形式语义共代数方法强Monads

在线全文

学校读者我要写书评

暂无评论

多Agent系统的模型和形式语义

计算机科学 2001年第6期28卷 76-80页

作者：张伟徐晋晖石纯一清华大学计算机系北京100084

1 引言自90年代以来,关于Agent和多Agent系统逐渐引起重视并开成AI研究的热点.由于Agent表达能力强,市场求解机制以及把推理格局引伸到思维状态,因此适用于动态开放环境的问题求解[1].Agent和多Agent系统最初是作为一种分布式计算模型... 详细信息

1 引言自90年代以来,关于Agent和多Agent系统逐渐引起重视并开成AI研究的热点.由于Agent表达能力强,市场求解机制以及把推理格局引伸到思维状态,因此适用于动态开放环境的问题求解[1].Agent和多Agent系统最初是作为一种分布式计算模型提出来的,旨在控制分布式计算的复杂性,克服人机界面的局限性,以及适应实际问题的开放性和分布性的要求.

关键词：多Agent系统人工智能计算模型形式语义

在线全文

学校读者我要写书评

暂无评论

OWL-S的形式语义

计算机科学 2005年第7期32卷 5-7,16页

作者：蒋运承史忠植广西师范大学数学与计算机科学学院桂林541004 中国科学院计算技术研究所北京100080

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在 Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了 OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形... 详细信息

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在 Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了 OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形式语义,为语义Web服务提供了合理的理论基础。

关键词：形式语义 OWL Web服务 web服务语义Web 研究现状理论基础服务提供