指称语义

作品数：45被引量：49H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：石跃祥袁华强刘玥波丁志义李小青更多>>
相关机构：华东师范大学清华大学兰州大学南京大学更多>>
相关期刊：《科技资讯》《湖南社会科学》《工程数学学报》《微电子学与计算机》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML顺序图形式化语义的研究综述被引量：6
《计算机科学》2017年第2期17-30,64,共15页郭艳燕 张楠 童向荣 
国家自然科学基金项目(61403329;61502410;61572418);山东省自然科学基金项目(ZR2015PF010;ZR2013FQ020;ZR2014FL009;ZR2014FQ016);山东省高等学校科技计划项目(J15LN09;J14LN23)资助
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析...
关键词：统一建模语言UML 形式化方法 顺序图 组合交互片段 指称语义 操作语义 
CLT树型指称语义的研究
《电子世界》2016年第6期137-139,共3页邓鹏辉 张晋津 
国家自然科学基金11426136;60973045;江苏省高校自然科学基金13KJB520012
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing(CLT)语义,service must-testing(SVR)语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的...
关键词：进程代数 并发行为 must-testing语义 指称语义 标准型 
Tabular表达式的指称语义研究被引量：2
《软件学报》2014年第6期1212-1224,共13页张鹏 刘磊 刘华虓 金英 
国家自然科学基金(61300049);教育部新世纪优秀人才支持计划(NCET-10-0436);教育部高等学校博士学科点专项科研基金(20120061120059);中国博士后科学基金(2011M500612);吉林省重点科技攻关项目(20130206052GX);吉林省自然科学基金(20101509);吉林省青年科研基金(20140520069JH)
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义...
关键词：Tabular表达式 指称语义 软件说明文档 
XML树模式查询的描述语言及形式语义被引量：3
《计算机科学与探索》2013年第5期431-441,共11页廖湖声 李小青 
北京市自然科学基金No.41220111~~
作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方...
关键词：可扩展标记语言(XML) 树模式 XML树模式描述语言(XTPL) 指称语义 树模式提取 
命令式模糊程序语言的语义被引量：1
《计算机学报》2013年第4期862-869,共8页吴恒洋 
上海市高可信计算重点实验室项目(51X14017);浙江省教育厅科研项目(Y201223001)资助~~
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研...
关键词：模糊程序语言 命令式语言 指称语义 最弱(线性)前置条件语义 模糊逻辑 
基于指称语义的UML序列图的语义分析
《赤峰学院学报（自然科学版）》2012年第23期33-35,共3页刘玥波 
统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法...
关键词：UML序列图 指称语义 语义分析 
施语者话语含义及语用分析的哲学思辨被引量：2
《湖南社会科学》2012年第3期188-190,共3页熊欣 
2011年度湖南省高等学校科学研究项目部分研究成果(编号:11C0896)
话语是特定的社会语用环境中人与人之间从事沟通的具体言语行为,及一定的施语者与受语者之间在特定语用环境中展开沟通和交流的言语活动。包括施语者、受语者、文本、语境等诸多要素。话语内容由词或句(或者说名称)构成。话语始终出自...
关键词：话语语用分析 哲学 话语含义 语用效度 指称语义 
基于指称语义的UML序列图的形式化分析被引量：2
《吉林建筑工程学院学报》2011年第2期87-89,共3页刘玥波 
吉林建筑工程学院城建学院科学技术研究项目(2009第112号)
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列...
关键词：形式化 UML序列图 指称语义 
谈形式语义学
《科技资讯》2010年第34期170-170,共1页陈月霞 
形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。
关键词：形式语义学 操作语义 指称语义 代数语义 公理语义 
补偿通信顺序进程的扩展及失败发散语义
《计算机工程与科学》2010年第3期89-95,110,共8页陈振邦 王戟 齐治昌 
国家973计划资助项目(2005CB321802);自然科学基金资助项目(90612009;60803042)
补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩...
关键词：补偿通信顺序进程 指称语义 失败发散语义 代数规则 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部