首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 109 毫秒
1.
乔宏  曹健 《上海交通大学学报》2007,41(10):1617-1617
目前对网格工作流模型的描述侧重于形式化的定义出任务之间的相互关系以及各个任务的属性的语法描述,为了便于知识获取和重用,提供一个网格工作流知识的形式化语义描述框架显得尤为重要.针对网格工作流的描述方法提出了一个新的视角:运用知识表达技术提供一个网格工作流的语义模型和查询机制,并将面向对象的继承思想引入到网格工作流表达的语义框架中,该框架是可扩充、可配置的,用户可以对新的类别定义新的语义框架,并可基于该继承结构的语义框架,进行有层次的工作流的查询.  相似文献   

2.
UML 顺序图的一种形式化描述方法   总被引:1,自引:1,他引:1  
统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。  相似文献   

3.
面向对象建模语言AML的代数语义   总被引:4,自引:0,他引:4  
AML语言是一种基于Ada的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论AML语言中与Ada95中有明显不同的成份的语义,即类程序包,结构程序包的代数语义。  相似文献   

4.
传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。  相似文献   

5.
GAMMA和UNITY都是面向问题描述的程序设计语言.UNITY开发了一种公理语义规范语言,即UNITY逻辑,描述和推导程序的特性.这一规范语言也可以很自然地移植到GAMMA模型上去.基于上述语义规范,给出一个将UNITY程序变换成GAMMA程序的保语义等价性的程序变换方法,从而证明了GAMMA模型的描述能力强于UNITY模型  相似文献   

6.
类型系统的构造、实现及其在程序设计语言中的应用   总被引:3,自引:0,他引:3  
类型系统是一种设计和研究程序设计语言的形式化方法和工具,既可在语言设计之初构造,便于严格、准确、正确地设计实现语言;也可在语言实现后构造,为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现,通过基于图重写的函数式语言SClean的类型系统,提出一种实用的类型系统的构造和实现方法。  相似文献   

7.
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。  相似文献   

8.
着重讨论一种描述专用语言的工具文本语言TL ,它是一种形式化的描述语言 ,用文本语言TL可以严格地刻划所描述的专用语言的全信息 ,包括语法、语义等 .  相似文献   

9.
UML状态图的形式化   总被引:5,自引:0,他引:5  
为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点,UML是一种被推荐的面向对象建模语言,Z是一种广泛使用的形式化规约语言.适合用来精确表示模型的语法和语义,本文利用DFA描述了UML状态机的语法,并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述.  相似文献   

10.
由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.  相似文献   

11.
This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.  相似文献   

12.
并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。  相似文献   

13.
针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.  相似文献   

14.
电子目录中包含了丰富的语义关联产品,本文提出了一个电子目录的本体模型:在一个概念性的模型中描绘电子目录的语义信息,并因此构建正式的发音本体。用一种增强的实体关联方法来表示模型构造的基本集,为每步构建提出了相应的描述逻辑代表。  相似文献   

15.
在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat—until循环语句的操作语义,然后详细推导出了其指称语义,并在此基础上详细证明了它们二者之间的语义等价性.  相似文献   

16.
从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.  相似文献   

17.
阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。  相似文献   

18.
基于色彩描述的图像情感语义查询   总被引:1,自引:0,他引:1  
针对图像视觉特征、中间层语义和高层情感语义之间的语义鸿沟,以色彩为代表,提出了图像情感语义查询的框架.在该框架下,利用图像色彩分割结果,通过定义描述色彩语义的自然语言词汇,设计了基于模糊隶属函数的图像色彩语义描述方法,并在此基础上定义了一种查询语言,将人类对图像内容理解的经验与图像色彩语义描述联系起来,实现了图像高层情感语义的查询.实验结果表明,该方法为图像语义研究提供了一种可行的、有效的、可扩展的解决方案.  相似文献   

19.
针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号